This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sequentially t-Diagnosable Systems: A Characterization and Its applications
February 1995 (vol. 44 no. 2)
pp. 340-345

Abstract—In the system-level fault diagnosis area, the fundamental problem of characterizing sequentially t-diagnosable systems in the PMC model has remained open for more than two decades. We resolve this problem by providing a complete characterization of such systems. Our solution to the characterization problem leads to the correct identification of optimal sequentially t-diagnosable D_{\delta,k} systems. Given a set of n units where n = 2t + 1, an optimal D_{\delta,k} system can be constructed with just n(\lfloor(t + 2)/3\rfloor) tests, rather than n(\lfloor t/2\rfloor + 1) tests—a previously misjudged bound. An efficient algorithm for identifying the set of faulty units in a sequentially t-diagnosable D_{\delta,k} system is given along the line of the proposed characterization, which is linear with respect to the number of tests in the system.

Index Terms—Consistent fault sets, $D_{\delta,k}$ systems, fault diagnosis, PMC model, sequentially diagnosable systems, syndrome, test assignment.

[1] F. P. Preparata, G. Metze, and R. T. Chien,“On the connection assignment problem of diagnosable systems,”IEEE Trans. Electron. Comput., vol. EC-16, pp. 848–854, Dec. 1967.
[2] J. D. Russell and C. R. Kime,“System fault diagnosis: Closure and diagnosability with repair,”IEEE Trans. Comput., vol. C-24, pp. 1078–1089, Nov. 1975.
[3] S. N. Maheshwari and S. L. Hakimi,“On models for diagnosable systems and probabilistic fault diagnosis,”IEEE Trans. Comput., vol. C-25, pp. 228–236, Mar. 1976.
[4] P. Ciompi and L. Simoncini,“Analysis and optimal design of self-diagnosable systems with repair,”IEEE Trans. Comput., vol. C-28, pp. 362–365, May 1979.
[5] U. Manber,“System diagnosis with repair,”IEEE Trans. Comput., vol. C-29, pp. 934–937, Oct. 1980.
[6] S. L. Hakimi and A. T. Amin,“Characterization of connection assignment of diagnosable systems,”IEEE Trans. Comput., vol. C-23, pp. 86–88, Jan. 1974.
[7] H. Fujiwara and K. Kinoshita,“On the computational complexity of system diagnosis,”IEEE Trans. Comput., vol. C-27, pp. 881–885, Oct. 1978.
[8] A. T. Dahbura and G. M. Masson,“An$O(n^{2.5})$fault identification algorithm for diagnosable systems,”IEEE Trans. Comput., vol. C-33, pp. 486–492, June 1984.
[9] A. T. Dahbura, G. M. Masson, and C. Yang,“Self-implicating structures for diagnosable systems,”IEEE Trans. Comput., vol. C-34, pp. 718–723, Aug. 1985.
[10] A. D. Friedman and L. Simoncini,“System-level fault diagnosis,”Computer,vol. 13, pp. 47–53, Mar. 1980.
[11] S.E. Kreutzer and S.L. Hakimi, “System Level Fault Diagnosis: A Survey,” Proc. Microprocessing and Microprogramming 20, pp. 323-330, 1987.
[12] G. F. Sullivan,“A polynomial time algorithm for fault diagnosability,”inProc. 25th Annu. Symp. Foundations of Comput. Sci., IEEE Comput. Soc. Publ., Oct. 1984, pp. 148–156.
[13] ——,“An$O(t^3 + |E|)$fault identification algorithm for diagnosable systems,”IEEE Trans. Comput., vol. 37, pp. 388–397, Apr. 1988.
[14] V. Raghavan and A. Tripathi,“Sequential diagnosability is co-NP complete,”IEEE Trans. Comput., vol. 40, pp. 584–595, May 1991.
[15] S. Karunanithi and A. D. Friedman,“Analysis of digital systems using a new measure of system diagnosis,”IEEE Trans. Comput., vol. C-28, pp. 121–133, Feb. 1979.
[16] J. K. Lee and J. T. Butler,“A characterization of$t/s$-diagnosability and sequential$t$-diagnosability in designs,”IEEE Trans. Comput., vol. 39, pp. 1298–1304, Oct. 1990.
[17] A. Dahbura,“System-level diagnosis: A perspective for the third decade,”AT\&T Bell Laboratories Report, Concurrent Computations: Algorithms, Architecture, and Technology, S. Tewksbury, B. Dickinson, S. Schwartz, Eds. New York: Plenum, 1988.
[18] M.A. Barborak, M. Malek, and A.T. Dahbura, "The Consensus Problem in Fault-Tolerant Computing," ACM Computer Surveys, vol. 25, pp. 171-220, June 1993.
[19] R. Bianchini, Jr., K. Goodwin, and D. S. Nydick,“Practical application and implementation of distributed system-level diagnosis theory,”inProc. 20th Symp. Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1990, pp. 332–339.
[20] S. Huang, J. Xu, and T. Chen,“Characterization and design of sequentially$t$-diagnosable systems,”inProc. 19th Symp. Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1989, pp. 554–559.
[21] J. Xu,“The$t/(n - 1)$-diagnosability and its applications to fault tolerance,”inProc. 21st Symp. Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1991, pp. 496–503.
[22] V. Raghavan,“Diagnosability issues in multiprocessor systems,”Ph.D. dissertation, Univ. of Minnesota, 1989.

Citation:
Jie Xu, Shi-ze Huang, "Sequentially t-Diagnosable Systems: A Characterization and Its applications," IEEE Transactions on Computers, vol. 44, no. 2, pp. 340-345, Feb. 1995, doi:10.1109/12.364544
Usage of this product signifies your acceptance of the Terms of Use.