Fault-diagnosis of grid structures

The problem of fault diagnosis in grid-connected systems is considered. A diagnosis algorithm, called DAGS and based on the PMC model, is presented. DAGS provides a diagnosis which is shown to be correct, although possibly incomplete, if the cardinality of the actual fault set is below a bound Tσ, dependent of the actual syndrome σ. A bound T independent of σ is also derived by a worst-case analysis covering the cases of triangular, square, hexagonal and octagonal grids. T is shown to be θ(n2/3), where n is the size of the system, for all the grids considered.

[1]  Edward R. Scheinerman.  Almost Sure Fault Tolerance in Random Graphs , 1987, SIAM J. Comput..

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

[3]  Sampath Rangarajan,et al.  Built-In Testing of Integrated Circuit Wafers , 1990, IEEE Trans. Computers.

[4]  Kaiyuan Huang,et al.  Almost sure diagnosis of almost every good element , 1991, [Proceedings] 1991 International Workshop on Defect and Fault Tolerance on VLSI Systems.

[5]  Sanjeev Khanna,et al.  A Graph Partitioning Approach to Sequential Diagnosis , 1997, IEEE Trans. Computers.

[6]  Vinod K. Agarwal,et al.  Distributed Diagnosis Algorithms for Regular Interconnected Structures , 1992, IEEE Trans. Computers.

[7]  S. Louis Hakimi,et al.  Characterization of Connection Assignment of Diagnosable Systems , 1974, IEEE Transactions on Computers.

[8]  Frank Harary,et al.  Graph Theory , 2016 .

[9]  Fabrizio Grandoni,et al.  A Theory of Diagnosability of Digital Systems , 1976, IEEE Transactions on Computers.

[10]  Stefano Chessa,et al.  Evaluation of a Diagnosis Algorithm for Regular Structures , 2002, IEEE Trans. Computers.

[11]  Gerald M. Masson,et al.  An 0(n2.5) Fault Identification Algorithm for Diagnosable Systems , 1984, IEEE Transactions on Computers.

[12]  Vinod K. Agarwal,et al.  A Diagnosis Algorithm for Constant Degree Structures and Its Application to VLSI Circuit Testing , 1995, IEEE Trans. Parallel Distributed Syst..

[13]  Stefano Chessa,et al.  Diagnosis of regular structures , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[14]  Stefano Chessa,et al.  Correct and Almost Complete Diagnosis of Processor Grids , 2001, IEEE Trans. Computers.

[15]  Douglas M. Blough,et al.  Efficient Diagnosis of Multiprocessor Systems under Probabilistic Models , 1992, IEEE Trans. Computers.