Diagnosis of Single Transition Faults in Communicating Finite State Machines

In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machines (CFSMs). Such an algorithm localizes the faulty transition in the distributed system once the fault has been detected. It generates, if necessary, additional diagnostic test cases which depend on the observed symptoms and which permit the location of the detected faults. The algorithm guarantees the correct diagnosis of any single transition (output and/or transfer) faults in a system of communicating FSMs. A simple example is used to demonstrate the functioning of the different steps of the proposed diagnostic algorithm.

• Type: Conference
• Year: 1993
• Where: ICDCS
• Authors: Abderrazak Ghedamsi, Gregor von Bochmann, Rachida Dssouli
• Keywords: Additional Diagnostic Test, Diagnostic Algorithm, Distributed And Parallel Computing, Finite State Machines, ICDCS 1993