Proceedings of ISP RAS

Locating a faulty component of an EFSM composition.

Svetlana Prokopenko.


When a component of a discrete event system is faulty there is a problem how to locate a faulty component. In this paper, we consider the composition of two Extended Finite State Machines and propose an approach for locating a faulty component using preset and adaptive experiments with Finite State Machines.


Extended Finite State Machine; Finite State Machine; l-equivalent; transfer and output faults


Proceedings of the Institute for System Programming, vol. 26, issue 6, 2014, pp. 47-56.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-3

Full text of the paper in pdf Back to the contents of the volume