Abstract
This paper gives an overview of twenty years of achievement in system-level diagnosis and examines the antinomy of this flourishing theoretical research area that has yet to have any apparent practical impact in an era of unforetold technical advances. The potentially important role of system-level diagnosis is discussed relative to future multicomputer systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
S.L. Hakimi and A.T. Amin, “Characterization of the connection assignment of diagnosable systems,” IEEE Trans. Comput., vol. C-23, pp. 86–88, Jan. 1974.
F.J. Allan, T. Kameda, and S. Toida, “An approach to the diagnosability analysis of a system,” IEEE Trans. Computers, vol. C-23, pp. 1040–1042, Oct. 1975.
T. Kameda, S. Toida, and F.J. Allan, “A diagnosing algorithm for networks,” Information and Control, vol. 29, pp. 141–148, 1975.
A.M. Corluhan and S.L. Hakimi, “On an algorithm for identifying faults in a t -diagnosable system,” in Proc. 1976 Conf. on Inf. Sci. and Sys., The Johns Hopkins University, pp. 370–375, April. 1976.
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.
R.F. Madden, “On fault-set identification in some system level diagnostic models,” Science Institute, Univ. of Iceland, technical report, Oct. 1978, and personal correspondence, Jan. 1983.
II. Fujiwara and K. Kinoshita, “On the computational complexity of system diagnosis,” IEEE Trans. Comput., vol. C-27, pp. 881–885, Oct. 1978.
G.G.L. Meyer and G.M. Masson, “An efficient fault diagnosis algorithm for symmetric multiple processor architectures,” IEEE Trans. Comput., vol. C27, pp. 1059–1063, Nov. 1978.
S. Mallela, “On diagnosable systems with simple algorithms,” in Proc. 1980 Conf. on Inf. Sci. and Sys., Princeton Univ., pp. 545–549, March 1980.
K.Y. Chwa and S.L. Hakimi, “On fault identification in diagnosable systems,” IEEE Trans. on Comput., vol. C-30, pp. 414–422, June 1981.
S.L. Hakimi and K.Y. Chwa, “Schemes for fault tolerant computing: a comparison of modularly redundant and t-diagnosable systems”, Information and Control, vol. 49, pp. 212–238, June 1981.
A.T. Dahbura, G.M. Masson, and C.L. Yang, “Self-implicating structures for diagnosable systems,” IEEE Trans. Computers, vol. C-34, pp. 718–723, Aug. 1985.
G. Sullivan, “A polynomial time algorithm for fault diagnosability,” in Proc. 25th Ann. Symp. on Found. of Comp. Sci., IEEE Comput. Soc. Publ., October 1984, pp. 148–155.
P. Maestrini, “Complexity aspects of system diagnosis,” in Proc. 17th Ann. Allerton Conf. Commun,Contr., Comput., Allerton House, Monticello, IL, Oct. 1979, pp. 329–338.
A. Kavianpour and A.D. Friedman, “Efficient design of easily diagnosable systems,” in Proc. 3rd USA-Japan Comput. Conf.,1978, pp. 251–257.
P. Ciompi and L. Simoncini, “Analysis and optimal design of self-diagnosable systems with repair”, IEEE Trans. Comput., vol. C-28, May 1979, pp. .
U. Manber, “System diagnosis with repair,” IEEE Trans. Comput., vol. C-29, Oct. 1980, pp. .
S. Karunanithi and A.D. Friedman, “Analysis of digital systems using a new measure of system diagnosis”, IEEE Trans. Comput., vol. C-28, Feb. 1979, pp. .
C.-L. Yang, G.M. Masson, and R.A. Leonetti, “On fault isolation and identification in tl/t1 -diagnosable systems,” IEEE Trans. Comput., vol. C-35, July 1986, pp. .
S.L. Hakimi and K. Nakajima, “On adaptive system diagnosis,” IEEE Trans. Comput., vol. C-33, pp. , March 1984.
P.M. Blecher, “On a logical problem,” Discrete Math., vol. 43, 1983, pp. 107–110.
A.D. Friedman and L. Simoncini, “System-level diagnosis,” IEEE Computer, March 1980, pp. 47–53.
F. Saheban and A.D. Friedman, “Diagnostic and computational reconfiguration in multiprocessor systems,” in Proc. ACM Ann. Conl, Dec. 1978, pp. 68–78.
J.E. Smith, “Universal system diagnosis algorithms,” IEEE Trans. Comput., vol. C-28, May 1979, pp. 374–378.
S.N. Maheshwari and S.L. Hakimi, “On models for diagnosable systems and probabilistic fault diagnosis,” IEEE Trans. Comput., vol. C-25, March 1976, pp. 228–236.
A.T. Dahbura, “An efficient algorithm for identifying the most likely fault set in a probabilistically diagnosable system,” IEEE Trans, Comput., vol. C-36, April 1986, pp. 354–356.
G. Sullivan, “The complexity of system-level fault diagnosis and diagnosability,” Ph.D. thesis, Yale University, 1986.
M.L. Blount, “Probabilistic treatment of diagnosis in digital systems,” in Proc. 1975 Symp. Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1975, pp. 72–77.
L. Simoncini and A.D. Friedman, “Incomplete fault coverage in modular multiprocessor systems,” in Proc. ACM Ann. Con f., Dec. 1978, pp. 210–216.
F. Barsi, “Probabilistic syndrome decoding in self-diagnosable digital systems,” Digital Processes, vol. 7, 1981, pp. 33–46.
F. Barsi, F. Grandoni, and P. Maestrini, “A theory of diagnosability of digital systems,” IEEE Trans. Comput., vol. C-25, pp. 585–593, June 1976.
J.G. Kuhl and S.M. Reddy, “Fault-diagnosis in fully distributed systems,” in Proc. 1980Int. Symp. on Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1980, pp. 100–105.
S. Mallela and G.M. Masson, “Diagnosable systems for intermittent faults,” IEEE Trans. Comput., vol. C-27, pp. 560–566, June 1978.
S. Mallela and G.M. Masson, “Diagnosis without repair for hybrid fault situations,” IEEE Trans. Comput., vol. C-29, June 1980, pp. 461–470.
C.-L. Yang and G.M. Masson, “A fault identification algorithm for t i - diagnosable systems,“ in Proc. 1985 Int. Symp. on Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1985, pp. 78–83.
M. Malek, “A comparison connection assignment for diagnosis of multiprocessor systems,” in Proc. 1980Int. Symp. on Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1980, pp. 31–36.
K.-Y. Chwa and S.L. Hakimi, “Schemes for fault-tolerant computing: a comparison of modularly redundant and t-diagnosable systems,” Info. and Control, vol. 49, 1981, pp. 212–238.
A.T. Dahbura, K.K. Sabnani, and L.L. King, “The comparison approach to multiprocessor fault diagnosis,” IEEE Trans. Comput., vol. C-36, March 1987, pp. 373–378.
J. Maeng and M. Malek, “A comparison connection assignment for self-diagnosis of multiprocessor systems,” in Proc. 1981 Int. Symp. Fault Tolerant Comput., IEEE Comput. Soc. Publ., June 1981, pp. 173–175.
D.K. Pradhan, Fault-Tolerant Computing Theory and Techniques. Englewood Cliffs, NJ: Prentice-Hall, 1986.
D.P. Siewiorek and R.S. Swarz, The Theory and Practice of Reliable System Design. Digital Equipment Press, 1982.
Eds, “Computers that are ‘never’ down,” IEEE Spectrum, vol. 22, April 1985, pp. 46–54.
A.T. Dahbura, K.K. Sabnani, and W.J. Hery, “Performance analysis of a fault detection scheme in multiprocessor systems,” in Proc. 1987 ACM SIGMETRIGS Conf. on Meas. and Model. of Comp. Sys., ACM Press, May 1987, pp. 143–154.
A.T. Dahbura and K.K. Sabnani, “A distributed algorithm for system-level diagnosis,” AT&T Conference on Interconnection and Communication Issues in Future Systems, May 1986, pp. 43–45.
J. Gray, “Why do computers stop and what can be done about it?”, in Proc. 5th Symp. on Rel. in Dist. Software and Database Sys.,IEEE Comp. Soc. Publ., Jan. 1986, pp. 3–12.
J.A. Bondy and U.S.R. Murty, Graph Theory with Applications. New York: Elsevier North Holland, Inc., 1976.
M.R. Garey and D.S. Johnson, Computers and Intractability. San Francisco, CA: W.H. Freeman, 1979.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Plenum Press, New York
About this chapter
Cite this chapter
Dahbura, A.T. (1988). System-Level Diagnosis: A Perspective for the Third Decade. In: Tewksbury, S.K., Dickinson, B.W., Schwartz, S.C. (eds) Concurrent Computations. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-5511-3_21
Download citation
DOI: https://doi.org/10.1007/978-1-4684-5511-3_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-5513-7
Online ISBN: 978-1-4684-5511-3
eBook Packages: Springer Book Archive