This Article 
 Bibliographic References 
 Add to: 
Multiprocessor Fault Diagnosis Under Local Constraints
August 1993 (vol. 42 no. 8)
pp. 984-988

The authors study the fault diagnosis of multiprocessor systems when fault constraints in the local domain of each processor are specified. They use the comparison-based model. A multiprocessor system S is t-in-L diagnosable if, given a syndrome, all faulty processors can be uniquely identified provided there are at most t faulty processors in the local domain L(u/sub i/) union (u/sub i/) of every processor, u/sub i/ in S, where L (u/sub i/) denotes the set of processors adjacent to u/sub i/. Certain basic results that lead to efficient conditions for unique diagnosis of a system when certain fault constraints are satisfied in the local domain of each processor in the system are presented. The t-in-L diagnosability of certain regular interconnected systems is examined under the assumption that less than half of the processors in the system are faulty. Diagnosis algorithms for these systems are presented.

[1] F. P. Preparata, G. Metze, and R. T. Chien, "On the connection assignment problem of diagnosable systems,"IEEE Trans. Electr. Compt., vol. EC-16, pp. 848-854, 1967.
[2] S. L. Hakimi and A. Amin, "Characterization of the connection assignment of diagnosable systems,"IEEE Trans. Comput., vol. C-23, pp. 86-88, 1974.
[3] F. Barsi, F. Grandoni, and P. Maestrini, "A theory of diagnosability of digital systems,"IEEE Trans. Comput., vol. C-25, pp. 585-593, 1976.
[4] S. Karunanidhi and A. D. Friedman, "Analysis of digital systems using a new measure of system diagnosis,"IEEE Trans. Comput., vol. C-28, pp. 121-133, 1979.
[5] K. Y. Chwa and S. L. Hakimi, "Schemes for fault-tolerant computing: A comparison of modularly redundant and t-diagnosable systems,"Inform. Contr., vol. 49, pp. 585-593, 1976.
[6] 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.
[7] K. Y. Chwa and S. L. Hakimi, "On fault identification in diagnosable systems,"IEEE Trans. Comput., vol. C-30, pp. 414-422, 1981.
[8] A. T. Dahbura and G. M. Masson, "AnO(n2.5) fault identification algorithm for diagnosable systems,"IEEE Trans. Comput., vol. C-33, pp. 486-492, 1984.
[9] C.-L. Yang, G. M. Masson, and R. A. Leonetti, "On fault identification int1/t1-diagnosable systems,"IEEE Trans. Comput., vol. C-35, pp. 639-643, July 1986.
[10] 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.
[11] D. Fussell and S. Rangarajan, "Probabilistic diagnosis of multiprocessor systems with arbitrary connectivity," inProc. 19th Int. Symp. Fault Tolerant Comput., 1989, pp. 560-565.

Index Terms:
multiprocessor fault diagnosis; local constraints; fault constraints; local domain; comparison-based model; t-in-L diagnosable; regular interconnected systems; fault tolerant computing; multiprocessing systems.
A. Das, K. Thulasiraman, V.K. Agarwal, K.B. Lakshmanan, "Multiprocessor Fault Diagnosis Under Local Constraints," IEEE Transactions on Computers, vol. 42, no. 8, pp. 984-988, Aug. 1993, doi:10.1109/12.238490
Usage of this product signifies your acceptance of the Terms of Use.