Necessary and sufficient conditions for t-diagnosability of multiprocessor computer systems for various models of nonreliable testing established using the system graph-theoretical model

Abstract

Consideration was given to the graph-theoretical model of self-diagnosis at the system level under multiple permanent faults. A group of testing models based on complete unreliable tests was analyzed. For the models of this group, the necessary and sufficient conditions for t-diagnosability without repair were established. A critical review of the results obtained in the publications of various authors was given, and the noticed errors concerning the proof of the conditions for t-diagnosability without repair were corrected.