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.
Fulltext:
PDF file (692 kB)
