Issue No. 10 - October (1980 vol. 29)
U. Manber , Department of Computer Science, University of Washington
The model of Preparata et al.  is used for system diagnosis. The problem of characterizing systems which are sequentially diagnosable is considered. A new concept (detection set), which gives a new insight to the structure of these systems, is defined in this paper and utilized to prove two theorems which expand the class of known sequentially diagnosable systems. An algorithm for finding a faulty unit is discussed, and a conjecture is stated which, if true, characterizes those systems. Finally, detection sets are also used in the context of Friedman's model of t/s diagnosability, to extend the repair strategies proposed by Karunanithi and Friedman  for single loop systems to systems whose diagnostic graph is strongly connected.
t/s diagnosability, Diagnosability with repair, digital systems, fault detection, graph model of system diagnosis, multiple faults, self checking
U. Manber, "System Diagnosis with Repair," in IEEE Transactions on Computers, vol. 29, no. , pp. 934-937, 1980.