Diagnosing Multiple Faults in Communicating Finite State Machines
Khaled El‐Fakih, Nina Vladimirovna Yevtushenko, Gregor von Bochmann · Kluwer Academic Publishers eBooks · 2006
In this paper, we propose a method for diagnostic test derivation when the system specification and implementation are given in the form of two communicating finite state machines and at most a single component machine can be faulty. The method enables to decide if it is possible to identify the faulty machine in the system, once faults have been detected in a system implementation. If this is possible, it also provides tests for locating the faulty component machine. Two examples are used to demonstrate the different steps of the method. The method can also be used for locating faults within a machine when the system specification and implementation are given in the form of a single FSM.