Chapter

Formal Techniques for Networked and Distributed Systems

Volume 69 of the series IFIP International Federation for Information Processing pp 85-100

Diagnosing Multiple Faults in Communicating Finite State Machines

  • Khaled El-FakihAffiliated withSchool of Information Technology and Engineering, University of Ottawa
  • , Nina YevtushenkoAffiliated withTomsk State University
  • , Gregor v. BochmannAffiliated withSchool of Information Technology and Engineering, University of Ottawa

Abstract

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.

Keywords

Diagnostics conformance testing communicating finite state machines