Conditional diagnosability measures for large multiprocessor systems

• Published in: IEEE transactions on computers 2005-02, Vol.54 (2), p.165-175
• Main Authors: Pao-Lien Lai, Tan, J.J.M., Chien-Ping Chang, Lih-Hsing Hsu
• Format: Article
• Language: English
• Subjects: Computer fault tolerance; conditional diagnosability; conditional faulty set; diagnosability; Fault diagnosis; Graph theory; Hypercubes; Index Terms- PMC model; Multiprocessing; strongly t{\hbox{-}}{\rm diagnosable}; t{\hbox{-}}{\rm diagnosable}
• ISSN: 0018-9340; 1557-9956
• DOI: 10.1109/TC.2005.19

Diagnosability has played an important role in the reliability of an interconnection network. The classical problem of fault diagnosis is discussed widely and the diagnosability of many well-known networks have been explored. We introduce a new measure of diagnosability, called conditional diagnosability, by restricting that any faulty set cannot contain all the neighbors of any vertex in the graph. Based on this requirement, the conditional diagnosability of the n-dimensional hypercube is shown to be 4(n - 2) +1, which is about four times as large as the classical diagnosability. Besides, we propose some useful conditions for verifying if a system is t-diagnosable and introduce a new concept, called a strongly t-diagnosable system, under the PMC model. Applying these concepts and conditions, we investigate some t-diagnosable networks which are also strongly t-diagnosable.