Skip to main content
Springer Nature Link
Log in

On dependability of computing systems

  • Regular Papers
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

With the rapid development and wide applications of computing systems on which more reliance has been put, a dependable system will be much more important than ever. This paper is first aimed at giving informal but precise definitions characterizing the various attributes of dependability of computing systems and then the importance of (and the relationships among) all the attributes are explained.

Dependability is first introduced as a global concept which subsumes the usual attributes of reliability, availability, maintainability, safety and security. The basic definitions given here are then commended and supplemented by detailed material and additional explanations in the subsequent sections.

The presentation has been structured as follows so as to attract the reader’s attention to the important attributions of dependability.

  • ⊙ Search for a few number of concise concepts enabling the dependability attributes to be expressed as clearly as possible.

  • ⊙ Use of terms which are identical or as close as possible to those commonly used nowadays.

This paper is also intended to provoke people’s interest in designing a dependable computing system.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Adrion W R, Branstad M A, Cherniavsky J C. Validation, verification, and testing of computer software.Computing Surveys, June 1982, 14(2): 159–192.

    Article  Google Scholar 

  2. Anderson T, Lee P A. Fault Tolerance — Principles and Practice. Prentice Hall, 1981.

  3. Anderson T, Laprie J Cet al. Dependability: Basic concepts and terminology. InIFIP WG 10.4, Dependable Computing and Fault Tolerance, Oct. 1990.

  4. Arlat J, Kanoun K, Laprie J C. Dependability evaluation of software fault-tolerance. InProc. 18th IEEE Int. Symp. Fault Tolerant Computing (FTCS-18), Tokyo, June 1988, pp. 142–147.

  5. Arlat J, Crouzet Y, Laprie J C. Fault injection for dependability validation of fault-tolerant computing systems. InProc. 19th IEEE Int. Symp. Fault Tolerant Computing (FTCS-19), Chicago, June 1989, pp.348–355.

  6. Avizienis A. Design of fault-tolerant computers. InProc. Fall Joint Computer Conf., 1967, pp. 733–743.

  7. Siewiorek D P, Swarz R S. The Theory and Practice of Reliable System Design. Digital Press, 1982.

  8. Avizienis A, Kelly J P J. Fault tolerance by design diversity: Concepts and experiments.Computer, Aug. 1984, 17(8): 67–80.

    Article  Google Scholar 

  9. Elmendorf W R. Fault-tolerant programming. InProc. 2nd IEEE International Fault Tolerant Computing (FTCS-2), Newton, Massachusetts, June 1972, pp.79–83.

  10. Cristian F. Exceptions, failures and errors.Technique et Science Informatiques, 1985, 4(3): 385–390, (in French): English version avail. asIBM Research Report No. RJR 4130, Sept. 1983.

  11. Chehey M H, Gasser M, Huff G, Miller J K. Verifying security.Computing Surveys, Sept. 1981, 13(3): pp.279–339.

    Article  Google Scholar 

  12. David R. Signature analysis for multiple output circuits.IEEE Trans. Computer, Sept. 1986, C-35(9): 830–837.

    Article  MATH  Google Scholar 

  13. Boehm B. Guidelines for verifying and validating software requirements and design specifications. InProc. EURO IFIP’79, London, Sept. 1979, pp.711–719.

  14. Levendel Y. Fault simulation. InFault-Tolerant Computing, Theory and Techniques. Pradhan D K (ed.), Englewood Cliff, Prentice Hall, 1986, pp. 184–264.

    Google Scholar 

  15. Castillo X, Siewiorek D P. Workload, performance, and reliability of digital computing system. InProc. 11th IEEE Int. Symp. Fault Tolerant Computing (FTCS-11), Portland, Maine, June 1981, pp.84–89.

  16. Fura D A, Somani A K. Trustability: A Dependability Measure for Systems with Localized Error Detection and Reporting. University of Washington, Seattle, 1990.

    Google Scholar 

  17. Craigen D. Strengths and weaknesses of program verificaton systems. InProc. 1st European Software Engineering Conf., Strasbourg, France, Sept. 1987, pp.421–429.

  18. McCluskey E J. Design for testability. InFault-Tolerant Computing, Theory and Techniques, Pradhan D K (ed.), Englewood Cliff, Prentice Hall, 1986, pp.95–183.

    Google Scholar 

  19. Meyer J F. On evaluating the performability of degradable computing systems. InProc. 8th IEEE Int. Symp. Fault Tolerant Computing (FTCS-8), Toulouse, France, June 1978, pp.44–49.

  20. Smith R M, Trivedi K S, Ramesh A V. Performability analysis: Measures, an algorithm, and a case study.IEEE Trans. Computer,, April 1988, 37(4): 406–417.

    Article  Google Scholar 

  21. Siewiorek D P, Johnson D. A design methodology for high reliability systems: The Intel 432. InThe Theory and Practice of Reliable System Design, Siewiorek D P, Swarz R S (eds.), Digital Press, 1982, pp.621–636.

  22. Laprie J C. Dependable computing and fault tolerance: Concepts and terminology. InProc. 15th IEEE Int. Symp. Fault Tolerant Computing (FTCS-15), AnnArbor, Michigan, June 1985, pp.2–11.

  23. Laprie J Cet al. The transformation approach to the modeling and evaluation of the reliability and availability growth of systems in operation. InProc. 20th IEEE Int. Symp. Fault Tolerant Computing (FTCS-20), Newcastle, UK, July 1990.

  24. Morell L J. A theory of fault-based testing.IEEE trans. Software Engineering, Aug. 1990, 16(8): 844–857.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Shanghai University, 201800, Shanghai, P.R. China

    Xu Shiyi

Authors
  1. Xu Shiyi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xu Shiyi.

Additional information

This work was supported by AM (Applied Material Co. Ltd.) Foundation of the United States and National Natural Science Foundation (NSF) of China under grant No. 69873030.

XU Shiyi was born in 1941. He graduated from the Department of Mathematics, Fudan University in 1964. He is currently a Professor at Department of Computer Science, Shanghai University. His research interests include fault-tolerant computing, VLSI testing and fault diagnosis, computer system architecture and logic design.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Xu, S. On dependability of computing systems. J. Comput. Sci. & Technol. 14, 116–128 (1999). https://doi.org/10.1007/BF02946517

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02946517

Keywords