An EFSM-Based Passive Fault Detection Approach

  title={An EFSM-Based Passive Fault Detection Approach},
  author={Hasan Ural and Zhi Xu},
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and determining whether these behaviors relate to faults within the SUT. We propose a new approach for EFSM-based passive fault detection which randomly selects a state in M and checks whether there is a trace in M starting from this state which is compatible with the observed behaviors. If a compatible trace is found… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS