This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
October 1980 (vol. 29 no. 10)
pp. 934-937
U. Manber, Department of Computer Science, University of Washington
The model of Preparata et al. [1] 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 [6] for single loop systems to systems whose diagnostic graph is strongly connected.
Index Terms:
t/s diagnosability, Diagnosability with repair, digital systems, fault detection, graph model of system diagnosis, multiple faults, self checking
Citation:
U. Manber, "System Diagnosis with Repair," IEEE Transactions on Computers, vol. 29, no. 10, pp. 934-937, Oct. 1980, doi:10.1109/TC.1980.1675479
Usage of this product signifies your acceptance of the Terms of Use.