Distributed diagnosis for multiprocessor systems using extended local neighborhoods

We show a solution to the characterization, diagnosability, and diagnosis problems with the t-in-L/sub 2/ diagnosability theory for permanently faulty processing elements (PEs). If there are at most t faulty PEs in the local neighborhood set of x, and at most t(m) faulty PEs in the extended-local neighborhood set of x, then we can uniquely diagnose any graph.