Skip to main content
SpringerLink
Log in

Probabilistic modeling of computer system availability

  • Part III Simulation And Computers
  • Published:
Annals of Operations Research Aims and scope Submit manuscript

Abstract

System availability is becoming an increasingly important factor in evaluating the behavior of commercial computer systems. This is due to the increased dependence of enterprises on continuously operating computer systems and to the emphasis on fault-tolerant designs. Thus, we expect availability modeling to be of increasing interest to computer system analysts and for performance models and availability models to be used to evaluate combined performance/availability (performability) measures. Since commercial computer systems are repairable, availability measures are of greater interest than reliability measures. Reliability measures are typically used to evaluate nonrepairable systems such as occur in military and aerospace applications. We will discuss system aspects which should be represented in an availability model; however, our main focus is a state of the art summary of analytical and numerical methods used to solve computer system availability models. We will consider both transient and steady-state availability measures and for transient measures, both expected values and distributions. We are developing a program package for system availability modeling and intend to incorporate the best solution methods.

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

Access this article

Log in via an institution

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

References

  1. F. Baskett, K.M. Chandy, R.R. Muntz and F.G. Palacios, Open, closed and mixed networks of queues with different classes of customers, Journal of ACM, 22, 2(1975)248.

    Google Scholar 

  2. M.D. Beaudry, Performance-related reliability measures for computing systems, IEEE Trans. on Computers 27, 6(1978)540.

    Google Scholar 

  3. R.C. Buck and E.F. Buck,Introduction to Differential Equations (Houghton Mifflin Co., Boston, 1976).

    Google Scholar 

  4. W.-L. Cao and W.J. Stewart, Iterative aggregation/disaggregation techniques for nearly decomposable Markov chains, JACM (1985), to appear.

  5. L. Donatiello and B. Iyer, Analysis of a composite performance reliability measure for fault tolerant systems, Revised IBM Research Report RC-10325, Yorktown Heights, JACM (1985), in review.

  6. R.M. Geist and K.S. Trivedi, Ultrahigh reliability prediction for fault-tolerant computer systems, IEEE Trans. on Computers 32, 12(1983).

    Google Scholar 

  7. A. Goyal and A.N. Tantawi, Evaluation of performability for degradable computer systems, IBM Research Report RC-10529, Yorktown Heights (1984).

  8. A. Goyal and A.N. Tantawi, Numerical evaluation of guaranteed availability, Proc. FTCS-15 (1985).

  9. A. Goyal, On steady state availability modeling, in preparation.

  10. A. Goyal, Product-form in steady state availability models, in preparation.

  11. W.K. Grassman, Transient solutions in Markovian queueing systems, Computers in Operations Research 4(1977)47.

    Google Scholar 

  12. D. Gross, L.C. Kioussis, D.R. Miller and R.M. Soland, Computational aspects of determining steady-state availability for Markovian multi-echelon repairable item inventory models, Tech. Rep. GWU/IMSE/Serial T-483/84, The George Washington University (1984).

  13. D. Gross and D.R. Miller, The randomization technique as a modeling tool and solution procedure for transient Markov processes, Oper. Res. 32, 3(1984)343.

    Google Scholar 

  14. T.E. Hull, W.H. Enright, B.M. Fellen and A.E. Sedgewick, Comparing numerical methods for ordinary differential equations, University of Toronto Department of Computer Science Tech. Rep. No. 29 (1971).

  15. B. Iyer, L. Donatiello and P. Heidelberger, Performability evaluation of computing systems using reward models, IBM Research Report RC-10719, Yorktown Heights (1984).

  16. A. Jensen, Markoff chains as an aid in the study of Markoff processes, Skand. Aktuarietidskr. 36(1953)87.

    Google Scholar 

  17. L. Kaufman, B. Gopinath and E.F. Wunderlich, Analysis of packet network congestion control using sparse matrix algorithms, IEEE Trans. on Communications 29, 4(1981)453.

    Google Scholar 

  18. J.G. Kemeny and J.L. Snell,Finite Markov Chains (D. Van Nostrand Co., Princeton, NJ, 1967).

    Google Scholar 

  19. L.C. Kioussis and D.G. Miller, An importance sampling scheme for simulating the degradation and failure of complex systems during finite missions, Proc. Winter Simulation Conf., Washington (1983) p. 631.

  20. V. Kini, Automatic synthesis of symbolic reliability functions for processor-memory-switch structures, Ph.D. Dissertation, Carnegie-Mellon University (1981).

  21. V.G. Kulkarni, V.F. Nicola and K.S. Trivedi, On modeling the performance and reliability of multi-mode computer systems, Int. Workshop on Modeling and Performance Evaluation of Parallel Systems (North-Holland, Amsterdam, 1984).

    Google Scholar 

  22. V.G. Kulkarni, V.F. Nicola, K.S. Trivedi and R.M. Smith, Numerical evaluation of performability and job completion time in repairable fault-tolerant systems, Proc. FTCS-16 (1986).

  23. J.D. Lambert,Computational Methods in Ordinary Differential Equations (Wiley, New York, 1973).

    Google Scholar 

  24. C. Landrault and J.C. Laprie, SURF-a program for modelling and reliability prediction for fault-tolerant comput. syst., in:Information Technology, ed. J. Moneta (North-Holland, Amsterdam, 1978).

    Google Scholar 

  25. S.S. Lavenberg, editor,Computer Performance Modeling Handbook (Academic Press, New York, 1983).

    Google Scholar 

  26. B. Melamed and M. Yadin, Randomization procedure in computation of comulative-time distributions over discrete state Markov Processes, Oper Res. 32, 4(1984)926.

    Google Scholar 

  27. J.F. Meyer, On evaluating the performability of degradable computing systems, IEEE Trans. on Computers 29, 8(1980)720.

    Google Scholar 

  28. S.V. Makam, A. Avizienis and G. Grusas, UCLA ARIES 82 user's guide, Tech. Rep. No. CSD-820830 (1982).

  29. T. Nakagawa and A.L. Goel, A note on availability for a finite interval, IEEE Trans. on Reliability 22, 3(1973)271.

    Google Scholar 

  30. S.M. Ross,Stochastic Processes (Wiley, New York, 1983).

    Google Scholar 

  31. D.P. Seiwiorek and R.S. Swarz,The Theory and Practice of Reliable System Design (Digital Press, 1982).

  32. W.L. Smith, Renewal theory and its ramifications, J. Roy. Statist. Soc. Ser. B20(1958)243.

    Google Scholar 

  33. W.J. Stewart, Markov analysis of operating system techniques, Ph.D. Thesis, Queen's University of Belfast (1974).

  34. W.J. Stewart, A comparison of numerical techniques in Markov modeling, CACM 21, 2 (1978).

  35. W.J. Stewart and A. Goyal, Matrix methods in large dependability models, IBM Research Report RC 11485 (1985).

  36. K.S. Trivedi,Probability & Statistics with Reliability, Queueing, and Computer Science Applications (Prentice-Hall, 1982).

  37. R.S. Varga,Matrix Iterative Analysis (Prentice-Hall, 1962).

Download references

Author information

Authors and Affiliations

  1. I.B.M. Thomas J. Watson Research Center, 10598, Yorktown Heights, NY, USA

    A. Goyal & S. S. Lavenberg

  2. Duke University, 27706, Durham, NC, USA

    K. S. Trivedi

Authors
  1. A. Goyal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. S. Lavenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. K. S. Trivedi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Goyal, A., Lavenberg, S.S. & Trivedi, K.S. Probabilistic modeling of computer system availability. Ann Oper Res 8, 285–306 (1987). https://doi.org/10.1007/BF02187098

Download citation

  • Issue Date:

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

Keywords and phrases

Search

Navigation