Issue No. 02 - February (1997 vol. 46)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.565598
<p><b>Abstract</b>—We consider probabilistic diagnosis in multiprocessor systems. Processors can test one another; fault-free processors give correct test results, while faulty testers are unpredictable. Processors fail independently with constant probability <it>p</it> < 1/2 and the goal is to identify correctly the status of all processors, based on the set of test results. A diagnosis algorithm is <it>globally optimal</it> if it has the highest probability of correctness among all (deterministic) diagnosis algorithms. We give fast globally optimal diagnosis algorithms for a class of test assignments including complete directed graphs and directed acyclic graphs. This is the first time that globally optimal diagnosis is given in a probabilistic model without any assumptions on the behavior of faulty processors.</p>
Random fault, syndrome, system-level diagnosis.
A. Pelc and K. Diks, "Globally Optimal Diagnosis in Systems with Random Faults," in IEEE Transactions on Computers, vol. 46, no. , pp. 200-204, 1997.