Title :
Comparison diagnosis in large multiprocessor systems
Author :
Fuhrman, Christopher P. ; Nussbaumer, Henri J.
Author_Institution :
Dept. of Comput. Sci., Swiss Federal Inst. of Technol., Lausanne, Switzerland
Abstract :
We present the bounded symmetric comparison (BSC) model for comparison-based system-level diagnosis. It is based on the symmetric comparison model of Chwa and Hakimi but includes a limit on the number of PEs that can produce identical, faulty results that are used in the syndrome of the diagnosis. We contribute a theorem with necessary and sufficient conditions for one-step diagnosability of a system under the BSC model. We show that previous characterizations for one-step diagnosability under the symmetric (Chwa/Hakimi) and asymmetric (Malek) comparison models are in fact special-case characterizations for the BSC model
Keywords :
fault diagnosis; multiprocessing systems; BSC model; asymmetric Malek comparison model; bounded symmetric comparison model; comparison diagnosis; faulty processing element; large multiprocessor system; one-step diagnosability; symmetric Chwa/Hakimi comparison model; Computer industry; Computer science; Fault detection; Fault diagnosis; Internet; Laboratories; Multiprocessing systems; Nuclear magnetic resonance; System testing; Throughput;
Conference_Titel :
Test Symposium, 1996., Proceedings of the Fifth Asian
Conference_Location :
Hsinchu
Print_ISBN :
0-8186-7478-4
DOI :
10.1109/ATS.1996.555166
