Strong diagnosability of regular networks under the comparison model
Diagnosability has played an important role in the reliability of multiprocessor systems. The strongly t-diagnosable system is (t + 1) diagnosable except when all of the neighbors of a node are simultaneously faulty. In this paper, we discuss the in-depth properties of diagnosability for t-regular and t-connected networks under the comparison model. We show that a t-regular and t-connected multiprocessor system with at least 2t + 6 nodes, for t >= 4, is strongly t-diagnosable under the comparison model if the following two conditions hold: (1) the system is triangle free, and (2) there are at most t - 2 common neighbors for each pair of distinct nodes in the system. (c) 2007 Published by Elsevier B.V.
diagnosability strongly t-diagnosable connectivity pmc model comparison inodel t-diagnosuble