Abstract
Diagnosis of an entire system when known faults are present and diagnosis of particular faults in the system when known faults are present are two diagnosis problems that are relevant to computer systems that are reconfigurable and employ distributed control. These problems are formalized, and a diagnostic model based on a model of Russell and Kime is used to analyze the ability of a system to diagnose all faults and particular faults in the system when some known faults are present. © 1984 IEEE