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

fYear

1996

Firstpage

244

Lastpage

249

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Test Symposium, 1996., Proceedings of the Fifth Asian

Conference_Location

Hsinchu

ISSN

1085-7735

Print_ISBN

0-8186-7478-4

Type

conf

DOI

10.1109/ATS.1996.555166

Filename

555166