This Article 
 Bibliographic References 
 Add to: 
Optimal Fault Diagnosis in Comparison Models
June 1992 (vol. 41 no. 6)
pp. 779-786

In comparison models for system-level fault diagnosis, pairs of units are given the same job and results are compared. The result of such a comparison test can be 0 (match) or 1 (mismatch) and diagnosis is based on the collection of test results. Two such models have been studied, among others: the symmetric model of K.Y. Chwa and S.L. Hakimi and the asymmetric model of M. Malek. The worst-case optimal testing algorithms for t-fault detection, sequential t-fault diagnosis, and one-step t-fault diagnosis in both models are presented. Nonadaptive and adaptive testing is discussed and it is shown that the latter often enables one to decrease the number of tests.

[1] F. Barsi, F. Grandoni, and P. Maestrini, "A theory of diagnosability of digital systems,"IEEE Trans. Comput., vol. 25, pp. 585-593, June 1976.
[2] P. M. Blecher, "On a logical problem,"Discrete Math., vol. 43, pp. 107-110, 1983.
[3] J. A. Bondy and U. S. R. Murty,Graph Theory with Applications. New York: American Elsevier, 1976.
[4] K. Y. Chwa and S. L. Hakimi, "Schemes for fault-tolerant computing: A comparison of modularly redundant andt-diagnosable systems,"Inform. Contr., vol. 49, pp. 212-238, 1981.
[5] A. T. Dahbura, "System-level diagnosis: A perspective for the third decade,"Concurrent Computation: Algorithms, Architectures, Technologies. New York: Plenum, 1988.
[6] A. Dahbura, K. K. Sabnani, and L. L. King, "The comparison approach to multiprocessors fault diagnosis,"IEEE Trans. Comput., vol. C-36, pp. 373-378, Mar. 1987.
[7] A. Das, K. B. Lakshmanan, K. Thulasiraman, V. K. Agarwal, "Generalized characterization of diagnosable systems, based on Kohda's theorem," preprint.
[8] S. L. Hakimi and K. Nakajima, "On adaptive system diagnosis,"IEEE Trans. Comput., vol. C-33, pp. 234-240, Mar. 1984.
[9] S. E. Kreutzer and S. L. Hakimi, "Adaptive fault identification in two new diagnostic models," inProc. 21st Annu. Allerton Conf. Comm., Contr. Comput., pp. 353-362, 1983.
[10] M. Malek, "A comparison connection assignment for diagnosis of multiprocessor systems," inProc. 7th Symp. Comput. Architecture, May 1980, pp. 31-35.
[11] K. Nakajima, "A new approach to system diagnosis," inProc. 19th Annu. Allerton Conf. Commun. Contr. Comput., Sept. 1981, pp. 697-706.
[12] A. Pelc, "Undirected graph models for system level fault diagnosis,"IEEE Trans. Comput., vol. 40, pp. 1271-1276, Nov. 1991.
[13] F. P. Preparata, G. Metze and R. T. Chien, "On the connection assignment problem of diagnosable systems,"IEEE Trans. Electron. Comput., vol. 16, pp. 848-854, Dec. 1967.
[14] E. Schmeichel, S. L. Hakimi, M. Otsuka, and G. Sullivan, "On minimizing testing rounds for fault identification," inProc. 28th Int. Symp. Fault-Tolerant Comput., June 1988, pp. 266-271.

Index Terms:
nonadaptive testing; fault diagnosis; comparison models; optimal testing algorithms; fault detection; adaptive testing; fault location; fault tolerant computing; logic testing; multiprocessing systems.
A. Pelc, "Optimal Fault Diagnosis in Comparison Models," IEEE Transactions on Computers, vol. 41, no. 6, pp. 779-786, June 1992, doi:10.1109/12.144631
Usage of this product signifies your acceptance of the Terms of Use.