Generalized PMC model for the hybrid diagnosis of multiprocessor systems

Fault diagnosis is important to the design and maintenance of large multiprocessor systems. PMC model is the most famous diagnosis model in the system level diagnosis of multiprocessor systems. Under the PMC model, only node faults are allowed. But in real circumstances, link faults may occur. So based on the PMC model, we propose in this paper a diagnosis model called the generalized PMC(GPMC) model to adapt to the real circumstances. The foundation of GPMC model has been established. And to measure the fault diagnosis capability of multiprocessor systems under the GPMC model, the fault diagnosis capability measuring parameters: $h$-edge restricted diagnosability and $h$-vertex restricted edge diagnosability have been introduced. As an application, the $h$-edge restricted diagnosability and $h$-vertex restricted edge diagnosability of hypercubes are explored.

[1]  Hidekiyo Itakura,et al.  Diagnosabilities in System Level Diagnosis , 1990 .

[2]  周涛,et al.  On Restricted Connectivity and Extra Connectivity of Hypercubes and Folded Hypercubes , 2005 .

[3]  Jie Xu,et al.  Characterization and design of sequentially t-diagnosable systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[4]  A. Sengupta,et al.  Self-diagnosability of multiprocessor systems with hybrid faults: diagnosis by comparison approach , 1993 .

[5]  Zhongxian Wang,et al.  System-level testing assignment for hypercubes with lower fault bounds , 1995, Proceedings International Phoenix Conference on Computers and Communications.

[6]  Judy Stephens,et al.  On Single-Fault Set Diagnosability in the PMC Model , 1993, IEEE Trans. Computers.

[7]  Xiaofan Yang.  A linear time fault diagnosis algorithm for hypercube multiprocessors under the MM* comparison model , 2003, 2003 Test Symposium.

[8]  Jun-Ming Xu,et al.  Edge fault tolerance analysis of a class of interconnection networks , 2006, Appl. Math. Comput..

[9]  Cheng-Kuan Lin,et al.  On the bipanpositionable bipanconnectedness of hypercubes , 2009, Theor. Comput. Sci..

[10]  S. F. Nugent,et al.  The iPSC/2 direct-connect communications technology , 1988, C3P.

[11]  GERNOT METZE,et al.  On the Connection Assignment Problem of Diagnosable Systems , 1967, IEEE Trans. Electron. Comput..

[12]  Sun-Yuan Hsieh,et al.  Diagnosability of Two-Matching Composition Networks , 2008, COCOON.

[13]  Stefano Chessa,et al.  Diagnosability of regular systems , 2002, J. Algorithms.

[14]  Henryk Krawczyk,et al.  On the Diagnosability of Multicomputer Systems with Homogeneous and Incomplete Tests , 1988, IEEE Trans. Computers.

[15]  R. Arlauskas,et al.  iPSC/2 system: a second generation hypercube , 1988, C3P.

[16]  Rudolf Ahlswede,et al.  On diagnosability of large multiprocessor networks , 2008, Discret. Appl. Math..