Title :
On Fault Isolation and Identification in t1/t1-Diagnosable Systems
Author :
Yang, Che-Liang ; Masson, Gerald M. ; Leonetti, Richard A.
Author_Institution :
Department of Electrical Engineering and Computer Science, The Johns Hopkins University
fDate :
7/1/1986 12:00:00 AM
Abstract :
Consider a classical PMC system composed of n units [1] where it is assumed that at most t1 of these units are faulty. Such a system is said to be t1/t1-diagnosable [3] if, given any complete collection of test results, the set of faulty units can be isolated to within a set of at most t1 units. This paper exposes some new, important properties of general t1/t1-diagnosable systems to present an O(n2.5) algorithm by which all the faulty units except at most one can be correctly identified and all the faulty units can be isolated to within a set of t1 or fewer units in which at most one can possibly be fault free.
Keywords :
Allowable fault sets; PMC models; fault diagnosis; fault isolation; syndrome; t; test assignment; vertex cover sets; Assembly; Costs; Distributed computing; Fault diagnosis; Multiprocessing systems; Polynomials; Sufficient conditions; System testing; Allowable fault sets; PMC models; fault diagnosis; fault isolation; syndrome; t; test assignment; vertex cover sets;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1986.1676805
