Issue No. 06 - June (1993 vol. 42)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.277298
<p>R. Gupta and I.V. Ramakrishnan (1987) proposed a general model for fault diagnosis that uniformly handles intermittent faults, masking, and partial testing. In this model, the diagnosability problem is open if asymmetric invalidation is used, although a polynomial time algorithm was once incorrectly claimed. It is shown that the problem is really co-NP complete. An efficient diagnosis algorithm for this model is presented.</p>
asymmetric invalidation; partial tests; fault diagnosis; diagnosability problem; co-NP complete; diagnosis algorithm; computational complexity; logic testing.
V. Raghavan, "On Asymmetric Invalidation with Partial Tests," in IEEE Transactions on Computers, vol. 42, no. , pp. 764-768, 1993.