Title :
Characterization of Connection Assignment of Diagnosable Systems
Author :
Hakimi, S.L. ; Amin, A.T.
Author_Institution :
Departments of Electrical Engineering and Computer Sciences, Northwestern University
Abstract :
Preparata, Metze, and Chien [1] gave necessary conditions for identification of all faulty units in a system S capable of automatic fault diagnosis. We show that these conditions are sufficient if in S no two units test each other. Necessary and sufficient conditions are also obtained for the general case when no such restriction is placed on S.
Keywords :
Automatic diagnosis, digital systems, graph models, multiple faults.; Circuit faults; Delay; Electrons; Equations; Fault diagnosis; Flip-flops; Military computing; Sequential circuits; Sufficient conditions; System testing; Automatic diagnosis, digital systems, graph models, multiple faults.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1974.223782
