Worst-case diagnosis completeness in regular graphs under the PMC model

IEEE Transactions on Computers

Volumn 56, Issue 7, 2007, Pages 917-924

  Caruso, Antonio ^a   Chessa, Stefano ^b   Maestrini, Piero ^b  

^a UNIVERSITY OF SALENTO   (Italy)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Fault diagnosis; Fault tolerance; Graph Theory; Isoperimeter; Parallel architectures; System level diagnosis

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; FAULT TOLERANCE; GRAPH THEORY; GRID COMPUTING; PARALLEL PROCESSING SYSTEMS; TOPOLOGY;

ISOPERIMETER; PARALLEL ARCHITECTURES; SYSTEM-LEVEL DIAGNOSIS;

COMPUTER ARCHITECTURE;

EID: 34547919544     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2007.1052     Document Type: Article

References (26)

1. F.P. Preparata, G. Metze, and R.T. Chien, "On the Connection Assignment Problem of Diagnosable Systems," IEEE Trans. Computers, vol. 16, no. 12, pp. 848-854, Dec. 1967.
2. S.L. Hakimi and A.T. Amin, "Characterization of Connection Assignment of Diagnosable Systems," IEEE Trans. Computers, vol. 23, no. 1, pp. 86-88, Jan. 1974.
3. G. Sullivan, "A Polynomial Time Algorithm for Fault Diagnosability," Proc. 25th Int'l Symp. Foundations of Computer Science (FOCS '84), pp. 148-156, 1984.
4. 2.5) Fault Identification Algorithm for Diagnosable Systems," IEEE Trans. Computers, vol. 33, no. 6, pp. 486-492, June 1984.
5. 3 + E ) Fault Identification Algorithm for Diagnosable Systems," IEEE Trans. Computers, vol. 37, no. 2, pp. 388-397, Feb. 1988.
6. S. Huang, J. Xu, and T. Chen, "Characterization and Design of Sequentially t-Diagnosable Systems," Proc. IEEE 19th Int'l Symp. Fault-Tolerant Computing (FTCS '89), pp. 554-559, 1989.
7. P. Maestrini and C.L. Liu, "On the Sequential Diagnosability of a Class of Digital Systems," Proc. IEEE 11th Int'l Symp. Fault-Tolerant Computing (FTCS '81), pp. 112-115, 1981.
8. V. Raghavan and A. Tripathi, "Sequential Diagnosability Is Co-NP Complete," IEEE Trans. Computers, vol. 40, no. 5, pp. 584-595, May 1991.
9. S. Khanna and W.K. Fuchs, "A Graph Partitioning Approach to Sequential Diagnosis," IEEE Trans. Computers, vol. 46, no. 1, pp. 39-47, Jan. 1997.
10. S. Rangarajan, D. Fussel, and M. Malek, "Built-In Testing of Integrated Circuit Wafers," IEEE Trans. Computers, vol. 39, no. 2, pp. 195-205, Feb. 1990.
11. A. Caruso, L.P. Albini, and P. Maestrini, "A New Diagnosis Algorithm for Regular Interconnected Structures," Proc. First Latin Am. Symp. Dependable Computing (LADC '03), 2003.
12. A. Caruso, S. Chessa, P. Maestrini, and P. Santi, "Diagnosis of Regular Structures," Proc. IEEE Int'l Conf. Dependable Systems and Networks (DSN '00), pp. 213-222, 2000.
13. A. Caruso, S. Chessa, P. Maestrini, and P. Santi, "Fault-Diagnosis of Grid Structures," Theoretical Computer Science, vol. 290 no. 2, pp. 1149-1174, Jan. 2003.
14. A. Caruso, S. Chessa, P. Maestrini, and P. Santi, "Evaluation of a Diagnosis Algorithm for Regular Structures," IEEE Trans. Computers vol. 51, no. 7, pp. 850-865, July 2002.
15. P. Santi, "Evaluation of a Self-Diagnosis Algorithm for Regular Structures," PhD dissertation, Dept. of Computer Science, Univ. of Pisa, Mar. 2000.
16. S. Chessa and P. Maestrini, "Correct and Almost Complete Diagnosis of Processors Grids," IEEE Trans. Computers, vol. 50, no. 10, pp. 1095-1102, Oct. 2001.
17. A. Caruso, S. Chessa, P. Maestrini, and P. Santi, "Diagnosability of Regular Structures," J. Algorithms, vol. 45, pp. 126-143, 2002.
18. E.R. Scheinerman, "Almost Sure Fault Tolerance in Random Graphs," SIAM J. Computing, vol. 16, no. 6, pp. 1124-1134, 1987.
19. D. Blough, G. Sullivan, and G.M. Masson, "Efficient Diagnosis of Multiprocessor System under Probabilistic Models," IEEE Trans. Computers, vol. 41, no. 9, pp. 1126-1136, Sept. 1992.
20. L.E. LaForge, K. Huang, and V.K. Argarwal, "Almost Sure Diagnosis of Almost Every Good Element," IEEE Trans. Computers, vol. 43, no. 3, pp. 295-305, Mar. 1994.
21. P. Maestrini and P. Santi, "Self-Diagnosis of Processor Arrays Using a Comparison Model," Proc. 14th IEEE Symp. Reliable and Distributed Systems (SRDS '95), pp. 218-228, 1995.
22. L.C.P. Albini, S. Chessa, and P. Maestrini, "Diagnosis of Symmetric Graphs under the BGM Model," The Computer J., vol. 47, no. 1, pp. 85-92, 2004.
23. F. Barsi, F. Grandoni, and P. Maestrini, "A Theory of Diagnosability of Digital Systems," IEEE Trans. Computers, vol. 25, no. 6, pp. 585-593, June 1976.
24. A. Caruso, "Diagnosability of Regular Structures," PhD dissertation, Dept. of Computer Science, Univ. of Pisa, Apr. 2003.
25. I. Leader, "Discrete Isoperimetric Inequalities," Proc. AMS Symp. Applied Math., vol. 44, pp. 57-80, 1991.
26. B. Bollobas, Modern Graph Theory. Springer, 1998.