Skip to main content
Springer Nature Link
Log in

Dependability Modeling and Evaluation of Software-and-Hardware Systems

  • Conference paper
Fehlertolerierende Rechensysteme

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 84))

Abstract

This paper is an attempt to provide a conceptual framework for modeling and evaluating the reliability and availability of computing sytems, with respect to both physical and design faults.

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

Access this chapter

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

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. T.F. Arnold, “The concept of coverage and its effect on reliability model of a repairable system”, proc. 2nd Int. Symp. on Fault-Tolerant Computing, Newton, Massachusetts, June 1972, pp. 200–204.

    Google Scholar 

  2. A. Avizienis, “Fault-tolerance: the survival attribute of digital systems”, Proceedings of the IEEE, vol. 66, Oct. 1978, pp. 1109–1125.

    Article  Google Scholar 

  3. R.E. Barlow, F. Proschan, Statistical theory of reliability and life testing, New York: Rinehart and Winston, 1975.

    MATH  Google Scholar 

  4. W.G. Bourricius, W.C. Carter, P.R. Schneider, “Reliability modeling techniques for self-repairing computer systems”, proc. 12th ACM Nat. Conf., Aug. 1969, pp. 295–309.

    Google Scholar 

  5. W.C. Carter, D.C. Jessep, W.G. Bourricius, A.B. Wadia, C.E. McCarthy, F.G. Milligan, “Design techniques for modular architectures for reliable computer systems”, NASA contract no. 8–24883, Report no. 70.208.0002, IBM T.J. Watson Research Center, 1970.

    Google Scholar 

  6. L. Chen, A. Avizienis, ‘w-version programming: a fault-tolerance approach to reliability of software operation“, proc. 8th Int. Symp. on Fault-Tolerant Computing, Toulouse, France, June 1981, pp. 3–9.

    Google Scholar 

  7. R.C. Cheung, “A user-oriented software reliability model”, IEEE Trans. on Software Engineering, vol. SE-6, no. 2, Mar. 1980, pp. 118–125.

    Article  Google Scholar 

  8. A. Costes, C. Landrault, J.C. Laprie, “Reliability and availability models for maintained systems featuring hardware failures and design faults”, IEEE Trans. on Computers, vol. C-27, no. 6, June 1978, pp. 548–560.

    Article  Google Scholar 

  9. A. Costes, J.E. Doucet, C. Landrault, J.C. Laprie, “SURF: a program for dependability evaluation of complex fault-tolerant computing systems”, proc. 11th Int. Symp. on Fault-Tolerant Computing, Portland, Maine, June 1981, pp. 72–78.

    Google Scholar 

  10. D.R. Cox, H.D. Miller, The theory of stochastic processes, London: Methuen, 1968.

    Google Scholar 

  11. D.R. Cox, V. Isham, Point processes, London: Chapman and Hall, 1980.

    MATH  Google Scholar 

  12. E.A. Davis, P.K. Giloth, “No. 4 ESS: performance objectives and service experience”, The Bell System Technical Journal, vol. 6, no. 6, July Aug. 1981, part 2, pp. 1203–1224

    Google Scholar 

  13. J.T. Duane, “Learning curve approach to reliability monitoring”, IEEE Trans. on Aerospace, vol. 2, 1964, pp. 563–566.

    Article  Google Scholar 

  14. A.L. Goel, K. Okumoto, “Time-dependent error-detection rate models for software reliability and other performance measures”, IEEE Trans. on Reliability, vol. R-28, no. 3, Aug. 1979, pp. 206–211.

    Article  Google Scholar 

  15. B. Gnedenko, Y. Beliaev, A. Soloviev, Mathematical methods in reliability theory, Moscow: Mir, 1972; in French.

    Google Scholar 

  16. A. Grnarov, J. Arlat, A. Avizienis, “On the performance of software fault-tolerance strategies”, proc. 10th Int. Symp. on Fault-Tolerant Computing, Kyoto, Japan, June 1980, pp. 251–253.

    Google Scholar 

  17. M.H. Halstead, Elements of software science, New York: Elsevier North Holland, 1977.

    MATH  Google Scholar 

  18. H. Hecht, “Fault-tolerant software for real-time applications”, Computing Surveys, vol. 8, no. 4, Dec. 1976, pp. 391–407.

    Article  MATH  Google Scholar 

  19. R.K. Iyer, S.E. Butner, E.J. McCluskey, “A statistical failure/load relationship: results of a multicomputer study”, IEEE Trans. on Computers, vol. C-31, no. 7, July 1982, pp. 697–706.

    Article  Google Scholar 

  20. Z. Jelinski, P.B. Moranda, “Software reliability research”, proc. Conf. on Statistical Methods for the Evaluation of Computer System Performance, Academic Press, 1972, pp. 465–484.

    Google Scholar 

  21. P.A. Keiller, B. Littlewood, D.R. Miller, A. Sofer, “Comparison of software reliability predictions”, proc. 13th Int. Symp. on Fault-Tolerant Computing, Milan, Italy, June 1983, pp. 128–134.

    Google Scholar 

  22. J.H. Lala, A.L. Hopkins, “Survival and dispatch probability models for the FTMP computer”, proc. 8th Int. Symp. on Fault-Tolerant Computing, Toulouse, France, June 1978, pp. 37–43.

    Google Scholar 

  23. J.C. Laprie, “Reliability and availability of repairable structures”, proc. 5th Int. Symp. on Fault-Tolerant Computing, Paris, June 1975, pp. 87–92.

    Google Scholar 

  24. J.C. Laprie, A. Costes, C. Landrault, “Parametric analysis of 2-unit redundant computer systems with corrective and preventive maintenance”, IEEE Trans. on Reliability, vol. R-30, no. 2, June 1981, pp. 139–144.

    Article  Google Scholar 

  25. J.C. Laprie, K. Medhaffer-Kanoun, “Dependability modeling of safety systems”, Microelectronics and Reliability, vol. 22, no. 5, Oct. 1982, pp. 997–1026.

    Article  Google Scholar 

  26. J.C. Laprie, “Evaluating the dependability of operational software, Technology and Science of Informatics, vol. 2, no. 4, 1983, pp. 221–234; English translation of ”Evaluation de la sureté de fonctionnement de logiciels en opt ation“, Technique et Science Informatiques, vol. 2, no. 4, Aug. 1983, pp. 233–247, in French.

    Google Scholar 

  27. J.C. Laprie, “Models for software availability evaluation”, 2nd Workshop on Fault-Tolerant Computer Systems, Melbourne, Australia, Feb. 1984; available as LAAS publication no. 3000.

    Google Scholar 

  28. J.C. Laprie, “Towards a taxonomy of dependable computing”, proc. 4th Jerusalem Conf. on Information Technology, Jerusalem, May 1984, pp. 202–210.

    Google Scholar 

  29. J.C. Laprie, “Dependability evaluation of software systems in operation”, IEEE Trans. on Software Engineering, Nov. 1984 issue; available from LAAS.

    Google Scholar 

  30. M. Lipow, “Number of faults per line of code”, IEEE Trans. on Software Engineering, vol. SE-5, no. 4, July 1982, pp. 437–439.

    Article  Google Scholar 

  31. B. Littlewood, J.L. Verrall, “A Bayesian reliability model with a stochastically monotone failure rate”, IEEE Trans. on Reliability, vol. R-23, no. 2, June 1974, pp. 108–114.

    Article  MathSciNet  Google Scholar 

  32. B. Littlewood, “How to measure software reliability and how not to… ”, IEEE Trans. on Reliability, vol. R-28, no. 2, June 1979, pp. 103–110.

    Article  MathSciNet  Google Scholar 

  33. B. Littlewood, “Software reliability model for modular program structure”, IEEE Trans. on Reliability, vol. R-28, no. 3, Aug. 1979, pp. 241–246.

    Article  Google Scholar 

  34. S.V. Makam, A. Avizienis, “ARIES 81: a reliability and life-cycle evaluation tool for fault-tolerant systems”, proc. 12th Int. Symp. on Fault-Tolerant Computing, Los Angeles, June 1982, pp. 267–274.

    Google Scholar 

  35. J.D. Musa, “A theory of software reliability and its application”, IEEE Trans. on Software Engineering, vol. SE-1, Sept. 1975, pp. 312–327.

    Google Scholar 

  36. J.D. Musa, K. Okumoto, “A logarithmic Poisson execution time model for software reliability measurement”, proc. 7th Int. Conf. on Software Engineering, Orlando, Florida, Mar. 1984, pp. 230–238.

    Google Scholar 

  37. B.G. Peyret, Industrial reliability, its mathematical foundations, Paris: Eyrolles, 1969

    Google Scholar 

  38. C.V. Ramamoorthy, F.B. Bastani, “Modelling of the software reliability growth process”, proc. 4th Int. Computer Software and Applications Conf., Chicago, Oct. 1980, pp. 161–169.

    Google Scholar 

  39. C.V. Ramamoorthy, F.B. Bastani, “Software reliability: status and perspectives”, IEEE Trans. on Software Engineering, vol. SE-8, no. 4, July 1982, pp. 354–371.

    Article  Google Scholar 

  40. B. Randell, “System structure for software fault-tolerance”, IEEE Trans. on Software Engineering, vol. SE-1, no. 2, June 1975, pp. 220–232. 354–371.

    Google Scholar 

  41. J.C. Rault, G. Memmi, S. Pimont, “Software quantitative evaluation”, in Computing systems dependability, Paris: Hommes et Techniques, 1980, chap. 3, pp. 69–132; in French.

    Google Scholar 

  42. M. Shooman, Probabilistic reliability: an engineering approach, New York: McGraw Hill, 1968.

    Google Scholar 

  43. C. Singh, R. Billington, S.Y. Lee, “The method of stages for non-Markov models”, IEEE Trans. on Reliability, vol. R-26, June 1977, pp. 135–137.

    Article  Google Scholar 

  44. A.K. Trivedi, MJ.. Shooman, “A many-state Markov model for the estimation and prediction of computer software performance parameters”, proc. Int. Conf. on Reliable Software, Los Angeles, Apr. 1975, pp. 208–220.

    Google Scholar 

  45. TRW Defense and Space Systems group, “Software reliability study”, Redondo Beach, California, Report no. 76–2260,1–9–5, 1976.

    Google Scholar 

  46. S. Yamada, S. Osaki, “Reliability growth models for hardware and software systems based on nonhomogeneous Poisson processes: a survey”, Microelectronics and Reliability, vol. 23, no. 1, 1983, pp. 91–112.

    Article  Google Scholar 

  47. S. Yamada, S. Osaki, “S-shaped software reliability growth models”, proc. 4th Int. Conf. on Reliability and Maintainability, Perros-Guirec, France, May 1984, pp. 430–436.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’Automatique et d’Analyse des Systémes du CNRS, 7, Avenue du Colonel Roche, 31400, Toulouse, France

    J. C. Laprie

Authors
  1. J. C. Laprie
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Systemtechnik (F2), Gesellschaft für Mathematik und Datenverarbeltung mbH Bonn, Schloß Birlinghoven, Postfach 1240, 5205, St. Augustin, USA

    K.-E. Großpietsch

  2. Institut für Informationsverarbeitung, Universität Tübingen, Köstlinstraße 6, 7400, Tübingen, Germany

    M. Dal Cin

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laprie, J.C. (1984). Dependability Modeling and Evaluation of Software-and-Hardware Systems. In: Großpietsch, KE., Dal Cin, M. (eds) Fehlertolerierende Rechensysteme. Informatik-Fachberichte, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69698-5_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-69698-5_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13348-3

  • Online ISBN: 978-3-642-69698-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics