This Article 
 Bibliographic References 
 Add to: 
On Asymmetric Invalidation with Partial Tests
June 1993 (vol. 42 no. 6)
pp. 764-768

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.

[1] Franco P. Preparata, Gernot Metze, Robert T. Chien, "On the connection assignment problem of diagnosable systems,"IEEE Trans. Electronic Comput., Vol. EC-16, pp. 848-854, Dec., 1967.
[2] Sivanarayana Mallela, Gerald M. Masson, "Diagnosable systems for intermittent faults,"IEEE Trans. Comput., Vol. C-27, pp. 560-566, June 1978.
[3] John A. McPherson, Charles R. Kime, "A two-level diagnostic model for digital systems,"IEEE Trans. Comput., Vol. C-27, pp. 16-27, Jan., 1979.
[4] Jeffrey D. Russell, Charles R. Kime, "System fault diagnosis: masking, exposure and diagnosability without repair,"IEEE Trans. Comput., Vol. C-24, pp. 1078-1089, Dec., 1975.
[5] F. Barsi, F. Grandoni, and P. Maestrini, "A theory of diagnosability of digital systems,"IEEE Trans. Comput., vol. C-25, pp. 585-593, June 1976.
[6] P. Berman, A. Pelc, "Distributed Probabilistic Fault Diagnosis for Multiprocessor Systems,"20th International Fault-Tolerant Computing Symposium, pp. 340-347, July 1990.
[7] S. Rangarajan and D. Fussell, "Probabilistic diagnosis algorithms tailored to system topology," inProc. 21st Int. Symp. Fault Tolerant Comput., June 1991, pp. 230-237.
[8] D. M. Blough, G. F. Sullivan, and G. M. Masson, "Fault diagnosis for sparsely interconnected multiprocessor systems," inProc. 19th Symp. Fault-Tolerant Comput., June 1989, pp. 62-69.
[9] A. K. Somani and V. K. Agarwal, "Distributed diagnosis algorithms," inProc. FTCS-1989, June 1989, pp. 70-77.
[10] A. T. Dahbura and G. M. Masson, "An O(n2.5) fault identification algorithm for diagnosable systems,"IEEE Trans. Comput., vol. C-33, pp. 486-492, June 1984.
[11] Vijay Raghavan, Anand Tripathi, "Sequential Diagnosability is co-NP Complete,"IEEE Transactions on Computers, Vol. 40, pp. 584-595, May 1991.
[12] A. K. Somani, V. K. Agrawal, and D. Avis, "A generalized theory for system level diagnosis,"IEEE Trans. Comput., vol. C-36, pp. 538-546, May 1987.
[13] G. F. Sullivan, "A polynomial time algorithm for fault diagnosability," inProc. Foundations Comput. Sci., 1984, pp. 148-156.
[14] A. T. Dahbura, "System-level diagnosis: a perspective for the third decade,"Princeton Workshop Algorithms, Architectures, Technol. Issues Models Concurrent Computation, 1987.
[15] A. K. Somani, V. K. Agarwal, "Diagnosis in Hybrid Fault Situations under AIM and a unified t-Characterization Theorem,"Comput. Math. Applic., Vol. 13, pp. 567-576, July 1989.
[16] Rajiv Gupta, I. V. Ramakrishnan, "System-Level Fault Diagnosis in Malicious Environments,"17th International Fault-Tolerant Computing Symposium, Pittsburgh, July 1987.
[17] Rajiv Gupta,Private Communication, March, 1989.
[18] Rajiv Gupta, "System-Level Fault Diagnosis and Reconfiguration,"Ph.D. thesis, SUNY, Stony Brook, August 1987.
[19] Charles R. Kime, Craig S. Holt, John A. McPherson, James E. Smith, "Fault diagnosis of distributed systems,"Compsac, pp. 355-364, 1980.
[20] Gerard G. L. Meyer, Gerald M. Masson, "A Diagnosis Algorithm for the BGM System Level Fault Model,"IEEE Trans. Comput., Vol. C-33, pp. 756-758, Aug., 1984.
[21] Vijay Raghavan, Anand Tripathi, "Improved Diagnosability Algorithms,"IEEE Transactions on Computers, Vol. 40, pp. 143-155, February 1991.
[22] Hideo Fujiwara, Kozo Kinoshita, "On the computational complexity of system diagnosis,"IEEE Trans. Comput., Vol. C-27, pp. 881-885, Oct., 1978.
[23] M. R. Garey, D. S. Johnson, "Computers and Intractibility," San Francisco, CA: Freeman, 1979.
[24] David S. Johnson, "The NP-completeness Column: An Ongoing Guide,"Journal of Algorithms 8, pp. 438-448, Sep., 1987.
[25] J. Narasimhan and K. Nakajima, "An algorithm for determining the fault diagnosability of a system,"IEEE Trans. Comput., vol. C-35, no. 11, pp. 1004-1008, Nov. 1986.

Index Terms:
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," IEEE Transactions on Computers, vol. 42, no. 6, pp. 764-768, June 1993, doi:10.1109/12.277298
Usage of this product signifies your acceptance of the Terms of Use.