Skip to main content
SpringerLink
Log in

Markovian Dependability/Performability Modeling of Fault-tolerant Systems

  • Chapter
Handbook of Reliability Engineering

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. Iyer RK, Tang D. Experimental analysis of computer system dependability. In: Pradhan DK, editor. Fault-tolerant computer system design. Englewood Cliffs, NJ: Prentice-Hall; 1995. p.282–392.

    Google Scholar 

  2. Laprie JC, Costes A. Dependability: a unifying concept for reliable computing. Proc 12th IEEE Int Symp on Fault-Tolerant Computing (FTCS-12); 1982. p.18–21.

    Google Scholar 

  3. Meyer JF. On evaluating the performability of degradable computing systems. IEEE Trans Comput 1980;C-29(8):720–31.

    Google Scholar 

  4. Meyer JF. Performability of an algorithm for connection admission control. IEEE Trans Comput 2001;50(7):724–33.

    Article  Google Scholar 

  5. Abraham JA. An improved algorithm for network reliability. IEEE Trans Reliab 1979;R-28:58–61.

    Google Scholar 

  6. Aggarwal KB, Misra KB, Gupta JS. A fast algorithm for reliability evaluation. IEEE Trans Reliab 1975;R-24:83–5.

    Google Scholar 

  7. Amari SV, Dugan JB, Misra RB. A separable method for incorporating imperfect fault-coverage into combinatorial models. IEEE Trans Reliab 1999;48(3):267–74.

    Google Scholar 

  8. Doyle SA, Dugan JB, Patterson-Hine FA. A combinatorial approach to modeling imperfect coverage. IEEE Trans Reliab 1995;44(1):87–94.

    Article  Google Scholar 

  9. Dugan JB. Fault trees and imperfect coverage. IEEE Trans Reliab 1989;38(2):177–85.

    Article  MATH  Google Scholar 

  10. Sahner RA, Trivedi KS. Reliability modeling using SHARPE. IEEE Trans Reliab 1987;R-36(2):186–93.

    Google Scholar 

  11. Neuts MF. Matrix-geometric solutions in stochastic models. An algorithmic approach. Dover Publications Inc; 1994.

    Google Scholar 

  12. Bobbio A, Telek M. A benchmark for PH estimation algorithms: results for acyclic-PH. Commun Stat-Stochast Models 1994;10(3):661–77.

    MathSciNet  Google Scholar 

  13. Beaudry MD. Performance-related reliability measures for computing systems. IEEE Trans Comput 1978;C-27(6):540–7.

    Google Scholar 

  14. Blakemore A. The cost of eliminating vanishing markings from generalized stochastic Petri nets. Proc 3rd IEEE Int Workshop on Petri Nets and Performance Models (PNPM89); 1989. p.85–92.

    Google Scholar 

  15. Goyal A, Carter WC, de Souza e Silva E, Lavenberg SS. The system availability estimator. Proc 16th IEEE Int Symp on Fault-Tolerant Computing (FTCS-16); 1986. p.84–9.

    Google Scholar 

  16. Lindemann C. DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets. Perform Eval 1995;22(1):3–21.

    Article  Google Scholar 

  17. Chiola G, Franceschinis G, Gaeta R, Ribaudo M. Great SPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Perform Eval 1995;24(1/2):47–68.

    Google Scholar 

  18. Ciardo G, Muppala J, Trivedi K. SPNP: stochastic Petri net package. Proc 3rd IEEE Int Workshop on Petri Nets and Performance Models (PNPM89); 1989. p.142–51.

    Google Scholar 

  19. Béounes C, Aguéra M, Arlat J, Bachmann S, Bourdeau C, Doucet J-E, Kanoun K, Laprie JC, Metze S, Moreira de Souza J, Powel D, Spiesser P. SURF-2: a program for dependability evaluation of complex hardware and software systems. Proc 23rd IEEE Int Symp on Fault-Tolerant Computing (FTCS-23); 1993. p.142–50.

    Google Scholar 

  20. German R, Kelling C, Zimmerman A, Hommel G. TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets. Perform Eval 1995;24(1/2):69–87.

    Google Scholar 

  21. Sanders WH, Obal II WD, Qureshi MA, Widjanarko FK. The UltraSAN modeling environment. Perform Eval 1995;24(1/2):89–115.

    Google Scholar 

  22. Gilmore S, Hillston J. The PEPA Workbench: a tool to support a process algebra-based approach to performance modelling. Proc 7th Int Conf on Modelling Techniques and Tools for computer performance evaluation; 1994. Lecture Notes in Computer Science 794. Berlin: Springer-Verlag. p.353–68.

    Google Scholar 

  23. Hermanns H, Herzog U, Klehmet U, Mertsiotakis V, Siegle M. Compositional performance modelling with the TIPtool. Perform Eval 2000;39(1-4):5–35.

    Article  Google Scholar 

  24. Berson S, de Souza e Silva E, Muntz RR. A methodology for the specification and generation of Markov models. In: Stewart WJ, editor. Numerical solution of Markov chains. New York: Marcel Dekker; 1991. p.11–36.

    Google Scholar 

  25. Stewart WJ. Introduction to the numerical solution of Markov chains. Princeton, NJ: Princeton University Press; 1994.

    Google Scholar 

  26. Barker GP, Plemmons RJ. Convergent iterations for computing stationary distributions of Markov chains. SIAM J Alg Discr Meth 1986;7(3):390–8.

    MathSciNet  Google Scholar 

  27. Berman A, Plemmons RJ. Nonnegative matrices in the mathematical sciences. SIAM; 1994.

    Google Scholar 

  28. Suñé V, Domingo JL, Carrasco JA. Numerical iterative methods for Markovian dependability and performability models: new results and a comparison. Perform Eval 2000;39(1–4):99–125.

    Google Scholar 

  29. Young DM. Iterative solution of large linear systems. New York: Academic Press; 1971.

    Google Scholar 

  30. Heidelberger P, Muppala JK, Trivedi KS. Accelerating mean time to failure computations. Perform Eval 1996;27/28:627–45.

    Google Scholar 

  31. Malhotra M, Muppala JK, Trivedi KS. Stiffness-tolerant methods for transient analysis of stiff Markov chains. Microelectron Reliab 1994;34(11):1825–41.

    Article  Google Scholar 

  32. Malhotra M. A computationally efficient technique for transient analysis of repairable Markovian systems. Perform Eval 1995;24(1/2):311–31.

    Google Scholar 

  33. Reibman A, Trivedi KS. Numerical transient analysis of Markov models. Comput Operat Res 1988;15(1):19–36.

    Article  Google Scholar 

  34. Kijima M. Markov processes for stochastic modeling. London: Chapman and Hall; 1997.

    Google Scholar 

  35. Bowerman PN, Nolty RG, Schener EM. Calculation of the Poisson cumulative distribution function. IEEE Trans Reliab 1990;39(2):158–61.

    Google Scholar 

  36. Fox BL, Glynn PW. Computing Poisson probabilities. Commun ACM 1988;31(4):440–5.

    Article  MathSciNet  Google Scholar 

  37. Knüsel L. Computation of the chi-square and Poisson distribution. SIAM J Sci Stat Comput 1986;7(3):1022–36.

    Article  MATH  Google Scholar 

  38. van Moorsel AP, Sanders WH. Transient solution of Markov models by combining adaptive & standard uniformization. IEEE Trans Reliab 1997;46(3):430–40.

    Google Scholar 

  39. Carrasco JA. Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization. Technical report DMSD_99_4. Universitat Politènica de Catalunya; 1999. Available at ftp://ftp-eel.upc.es/techreports. To appear in Comput Operat Res.

  40. Miller DR. Reliability calculation using randomization for Markovian fault-tolerant computing systems. Proc 13th IEEE Int Symp on Fault-Tolerant Computing (FTCS-13); 1983. p.284–9.

    Google Scholar 

  41. Melamed B, Yadin M. Randomization procedures in the computation of cumulative-time distributions over discrete state Markov processes. Operat Res 1984;32(4): 926–44.

    MathSciNet  Google Scholar 

  42. van Moorsel APA, Sanders WH. Adaptive uniformization. Commun Stat-Stochast Models 1994;10(3):619–48.

    Google Scholar 

  43. Sericola B. Availability analysis of repairable computer systems and stationarity detection. IEEE Trans Comput 1999;48(11):1166–72.

    Article  MathSciNet  Google Scholar 

  44. Carrasco JA. Transient analysis of large Markov models with absorbing states using regenerative randomization. Technical report DMSD_99_2. Universitat Politènica de Catalunya; 1999. Available at ftp://ftpeel.upc.es/techreports

  45. Carrasco JA. Computationally efficient and numerically stable bounds for repairable fault-tolerant systems. IEEE Trans Comput 2002;51(3):254–68.

    Article  MathSciNet  Google Scholar 

  46. Donatiello L, Grassi V. On evaluating the cumulative performance distribution of fault-tolerant computer systems. IEEE Trans Comput 1991;40(11):1301–7.

    Article  Google Scholar 

  47. Islam SMR, Ammar HH. Performability of the hypercube. IEEE Trans Reliab 1989;38(5):518–26.

    Article  Google Scholar 

  48. Nabli H, Sericola B. Performability analysis: a new algorithm. IEEE Trans Comput 1996;45(4):491–4.

    Article  Google Scholar 

  49. Pattipati KR, Li Y, Blom HAP. A unified framework for the performability evaluation of fault-tolerant computer systems. IEEE Trans Comput 1993;42(3):312–26.

    Article  Google Scholar 

  50. Qureshi MA, Sanders WH. Reward model solution methods with impulse and rate rewards: an algorithm and numerical results. Perform Eval 1994;20:413–36.

    Article  Google Scholar 

  51. Qureshi MA, Sanders WH. A new methodology for calculating distributions of reward accumulated during a finite interval. Proc 26th IEEE Int Symp on Fault-Tolerant Computing; 1996. p.116–25.

    Google Scholar 

  52. Smith RM, Trivedi KS, Ramesh AV. Performability analysis: measures, an algorithm, and a case study. IEEE Trans Comput 1988;37(4):406–17.

    Article  Google Scholar 

  53. de Souza e Silva E, Gail HR. Calculating availability and performability measures of repairable computer systems using randomization. J ACM 1989;36(1):171–93.

    Google Scholar 

  54. de Souza e Silva E, Gail HR. An algorithm to calculate transient distributions of cumulative rate and impulse based reward. Commun Stat-Stochast Models 1998;14(3):509–36.

    Google Scholar 

  55. Goyal A, Tantawi AN. A measure of guaranteed availability and its numerical evaluation. IEEE Trans Comput 1988;37(1):25–32.

    Article  Google Scholar 

  56. Rubino G, Sericola B. Interval availability distribution computation. Proc 23rd IEEE Int Symp on Fault-Tolerant Computing (FTCS-23); 1993. p.48–55.

    Google Scholar 

  57. Rubino G, Sericola B. Interval availability analysis using denumerable Markov processes: application to multiprocessor subject to breakdowns and repair. IEEE Trans Comput 1995;44(2):286–91.

    Article  Google Scholar 

  58. de Souza e Silva E, Gail HR. Calculating cumulative operational time distributions of repairable computer systems. IEEE Trans Comput 1986;C-35(4):322–32.

    Google Scholar 

  59. Chiola G, Dutheillet C, Franceschinis G, Haddad S. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans Comput 1993;42(11): 1343–60.

    Article  Google Scholar 

  60. Sanders WH, Meyer JF. Reduced base model construction methods for stochastic activity networks. IEEE J Select Areas Commun 1991;9(1):25–36.

    Article  Google Scholar 

  61. Deavours DD, Sanders WH. “On-the-fly” solution techniques for stochastic Petri nets and extensions. IEEE Trans Software Eng 1998;24(10):889–902.

    Article  Google Scholar 

  62. Carrasco JA. Bounding steady-state availability models with group repair and phase type repair distributions. Perform Eval 1999;35(3/4):193–214.

    MATH  Google Scholar 

  63. Lui JCS, Muntz R. Evaluating bounds on steady-state availability of repairable systems from Markov models. In: Stewart WJ, editor. Numerical solution of Markov chains. New York: Marcel Dekker; 1991. p.435–53.

    Google Scholar 

  64. Lui JCS, Muntz RR. Computing bounds on steady state availability of repairable computer systems. J ACM 1994;41(4):676–707.

    Article  Google Scholar 

  65. Mahévas S, Rubino G. Bound computation of dependability and performance measures. IEEE Trans Comput 2001;50(5):399–413.

    MathSciNet  Google Scholar 

  66. Muntz RR, de Souza e Silva E, Goyal A. Bounding availability of repairable computer systems. IEEE Trans Comput 1989;38(12):1714–23.

    Article  MathSciNet  Google Scholar 

  67. Semal P. Refinable bounds for large Markov chains. IEEE Trans Comput 1995;44(10):1216–22.

    Article  MATH  Google Scholar 

  68. de Souza e Silva E, Ochoa PM. State space exploration in Markov models. Perform Eval Rev 1992;20(1):152–66.

    Google Scholar 

  69. Ross SM. Stochastic processes. New York: John Wiley & Sons; 1983.

    Google Scholar 

  70. Suñé V, Carrasco JA. A failure-distance based method to bound the reliability of non-repairable fault-tolerant systems without the knowledge of minimal cuts. IEEE Trans Reliab 2001;50(1):60–74.

    Google Scholar 

Download references

Authors
  1. Juan A. Carrasco
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Rutgers University, Piscataway, New Jersey, USA

    Hoang Pham PhD

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag London Limited

About this chapter

Cite this chapter

Carrasco, J.A. (2003). Markovian Dependability/Performability Modeling of Fault-tolerant Systems. In: Pham, H. (eds) Handbook of Reliability Engineering. Springer, London. https://doi.org/10.1007/1-85233-841-5_34

Download citation

  • DOI: https://doi.org/10.1007/1-85233-841-5_34

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-453-6

  • Online ISBN: 978-1-85233-841-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation