Issue No.11 - November (1991 vol.40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.102832
<p>The author considers two comparison-based diagnosis models previously introduced by K.Y. Chwa et al. (1981) and M. Malek (1980). For each of them, classical t-diagnosability and probabilistic diagnosability based on the maximum likelihood principle are discussed, probabilistic model for comparison testing is introduced. In all considered models, optimal diagnosable systems, i.e., those which use the least possible number of testing links, are designed. These systems have a linear number of links and can be diagnosed in linear time. It is proved, however, that for general systems, both diagnosis and diagnosability problems are NP-hard. The model is used for fault diagnosis of multiprocessor systems.</p>
unidirected graph models; multiprocessor systems; system-level fault diagnosis; comparison-based diagnosis models; classical t-diagnosability; probabilistic diagnosability; maximum likelihood principle; comparison testing; optimal diagnosable systems; NP-hard; fault tolerant computing; graph theory; multiprocessing systems.
A. Pelc, "Undirected Graph Models for System-Level Fault Diagnosis", IEEE Transactions on Computers, vol.40, no. 11, pp. 1271-1276, November 1991, doi:10.1109/12.102832