Issue No. 09 - September (1981 vol. 30)
C.S. Holt , Department of Electrical and Computer Engineering, University of Wisconsin
This paper is concerned with system diagnosis through analysis of a set of diagnostic test results. It is assumed that a faulty unit may cause one or more tests on a good unit to fail, but may not cause tests on faulty units to pass (asymmetric invalidation). The system model employed is quite general; each test may be invalidated by any one of a set of units, and each test may completely test more than one unit. Conditions for diagnosability with and without repair are determined. Exact methods, as well as simpler approximate methods, are proposed for determining diagnosability and for performing diagnosis. The theory is extended to include diagnosis "by part" (where a part is a set of units). Several illustrative examples are included.
t-readable sets, Asymmetric invalidation, diagnosable digital systems, diagnosis algorithm, diagnosis by part, fault-tolerant computing, graph models
J. Smith and C. Holt, "Diagnosis of Systems with Asymmetric Invalidation," in IEEE Transactions on Computers, vol. 30, no. , pp. 679-690, 1981.