Issue No. 07 - July (1986 vol. 35)
null Che-Liang Yang , Department of Electrical Engineering and Computer Science, The Johns Hopkins University
Consider a classical PMC system composed of n units  where it is assumed that at most t1 of these units are faulty. Such a system is said to be t1/t1-diagnosable  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.
vertex cover sets, Allowable fault sets, fault diagnosis, fault isolation, PMC models, syndrome, t, test assignment
G.M. Masson, R.A. Leonetti, null Che-Liang Yang, "On Fault Isolation and Identification in t<inf>1</inf>/t<inf>1</inf>-Diagnosable Systems", IEEE Transactions on Computers, vol. 35, no. , pp. 639-643, July 1986, doi:10.1109/TC.1986.1676805