Multiple fault diagnosis for finite state machines

Abstract

In this paper, we propose a generalized diagnostic algorithm for the case where more than one fault (output a d o r transfer) may be present in the transitions of a system represented by a deterministic finite state machine (FSM). If existing faults are detected, this algorithm permits the generation of a minimal set of diagnoses, each of which is formed by a set of transitions (with specific types of faults) suspected of being faulty. The occurrence in an implementation, of all the faults of a given diagnosis, allows the explanation of all observed implementation outputs. The algorithm guarantees the correct alagnosis of certain conjigurations of faults (output a d o r transfer) in an implementation, which are characterized by a certain type of independence of the different faults. We also propose an approach for selecting additional test cases, which allows the reduction of the number of possible diagnoses. A simple example is used to demonstrate the different steps of the algorithm

Principles and methods of testing finite state machines-a survey

“…There are heuristic procedures [FM2,GB,GBD] for fault diagnosis. An exact procedure is reported in [LS] that is similar to the modified algorithm in Section 7.1.…”

A DFSM-Based Protocol Conformance Testing and Diagnosing Method

“…Up to now, there have been only limited researches in this area. Ghedamsi et al proposed two methods to provide fault hints through a set of the diagnosis, each of which is formed by a set of transitions that are suspected of being faulty (see Ghedamsi and Bochmann, 1992;Ghedamsi et al, 1993). Vuong and Ko (1990) presented a diagnosis approach which uses considerable additional test sequences to find the FSM model for the implementation under test under some assumptions.…”

On FSM-Based Fault Diagnosis

“…Other contributions consider the case of multiple faults. Procedures for diagnosing multiple faults in FSMs and CFSMs were also reported [8] [9]. These algorithms are not always able to locate the multiple faults of the implementation [9].…”

“…These algorithms are not always able to locate the multiple faults of the implementation [9]. The multiple fault diagnosis method for FSMs only guarantees the correct diagnosis of certain configurations of faults in an implementation, which are characterized by a certain type of independence of the different faults [8].…”