(t, k)-diagnosable system: A generalization of the PMC models

IEEE Transactions on Computers

Volumn 52, Issue 7, 2003, Pages 971-975

  Araki, Toru ^a   Shibata, Yukio ^a  

^a GUNMA UNIVERSITY   (Japan)

Author keywords

Cartesian product; Diagnosability; Fault diagnosis; One step t diagnosis; PMC model; Sequential t diagnosis

Indexed keywords

COMPUTATIONAL COMPLEXITY; GRAPH THEORY; MATHEMATICAL MODELS; MULTIPROCESSING SYSTEMS; SET THEORY; THEOREM PROVING;

CARTESIAN PRODUCT; DIAGNOSABILITY; FAULT DIAGNOSIS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0041848449     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/tc.2003.1214345     Document Type: Article

References (22)

1. F.P. Preparata, G. Metze, and R.T. Chien, "On the Connection Assignment Problem of Diagnosable Systems," IEEE Trans. Electronic Computers, vol. 16, no. 6, pp. 848-854, Dec. 1967.
2. T. Araki and Y. Shibata, "Diagnosability of Networks Represented by the Cartesian Product," IEICE Trans. Fundamentals, vol. E83-A, no. 3, pp. 465-470, Mar. 2000.
3. J.R. Armstrong and F.G. Gray, "Fault Diagnosis in a Boolean n Cube Array of Microprocessors," IEEE Trans. Computers, vol. 30, pp. 587-596, Aug. 1981.
4. M. Barborak, M. Malek, and A. Dahbura, "The Consensus Problem in Fault-Tolerant Computing," ACM Computing Surveys, vol. 25, no. 2, pp. 171-220, June 1993.
5. K.-Y. Chwa and L. Hakimi, "On Fault Identification in Diagnosable Systems," IEEE Trans. Computers, vol. 30, no. 6, pp. 414-422, June 1981.
6. A. Das, K. Thulasiraman, and V.K. Agarwal, "Diagnosis of t/(t + 1)-Diagnosable Systems," SIAM J. Computing, vol. 23, no. 5, pp. 895-905, May 1994.
7. A.D. Friedman, "A New Measure of Digital System Diagnosis," Proc. 1975 Int'l Symp. Fault-Tolerant Computing, pp. 167-170, June 1975.
8. S.L. Hakimi and A.T. Amin, "Characterization of Connection Assignment of Diagnosable Aystems," IEEE Trans. Computers, vol. 23, no. 1, pp. 86-88, Jan. 1974.
9. H. Fujiwara and K. Kinoshita, "On the Computational Complexity of System Diagnosis," IEEE Trans. Computers, vol. 27, no. 10, pp. 881-885, Oct. 1978.
10. S. Khanna and W.K. Fuchs, "A Linear Time Algorithm for Sequential Diagnosis in Hypercubes," J. Parallel and Distributed Computing, vol. 26, pp. 48-53, 1995.
11. 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.
12. T. Kohda, "A Simple Discriminator for Identifying Faults in Highly Structured Diagnosable Systems," J. Circuits, Systems, and Computers, vol. 4, no. 3, pp. 255-277, Sept. 1994.
13. J.-K. Lee and J.T. Butler, "A Characterization of t/s-Diagnosability and Sequential t-Diagnosability in Designs," IEEE Trans. Computers, vol. 39, no. 10, pp. 1298-1304, Oct. 1990.
14. S. Mallela and G.M. Masson, "Diagnosable Systems for Intermittent Faults," IEEE Trans. Computers, vol. 27, no. 6, pp. 560-566, June 1978.
15. U. Manber, "System Diagnosis with Repair," IEEE Trans. Computers, vol. 29, no. 10, pp. 934-937, Oct. 1980.
16. V. Raghavan and A.R. Tripathi, "Sequential Diagnosability is Co-NP Complete," IEEE Trans. Computers, vol. 40, no. 2, pp. 584-595, Feb. 1991.
17. Y. Shibata and S. Iijima, "Synthesis and Diagnosis Algorithms of Diagnosable Systems on de Bruijn Networks and Kautz Networks," Denshi Joho Tsushin Gakkai Ronbunshi, vol. J75-D-I, no. 12, pp. 1144-1153, Dec. 1992.
18. A.K. Somani, "Sequential Fault Occurrence and Reconfiguration in System Level Diagnosis," IEEE Trans. Computers, vol. 39, no. 12, pp. 1472-1475, Dec. 1990.
19. A.K. Somani, V.K. Agarwal, and D. Avis, "A Generalized Theory for System Level Diagnosis," IEEE Trans. Computers, vol. 36, no. 5, pp. 538-546, May 1987.
20. A.K. Somani and O. Peleg, "On Diagnosability of Large Fault Sets in Regular Topology-Based Computer Systems," IEEE Trans. Computers, vol. 45, no. 8, pp. 892-903, Aug. 1996.
21. J. Xu and S. ze Huang, "Sequentially t-Diagnosable Systems: A Characterization and Its Applications," IEEE Trans. Computers, vol. 44, no. 2, pp. 340-345, Feb. 1995.
22. 1-Diagnosable Systems," IEEE Trans. Computers, vol. 35, no. 7, pp. 639-643, July 1986.