A general algorithm for detecting faults under the comparison diagnosis model

We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty processors. In particular, we prove that if the underlying graph forming the interconnection network has connectivity no less than its diagnosability ¿ and can be partitioned into enough connected components of large enough size then given a syndrome of test results under the comparison diagnosis model resulting from some set of faulty nodes of size at most ¿, we can find the actual set of faulty nodes with time complexity O(¿N), where ¿ is the maximal degree of any node of the graph and N is the number of nodes.