Skip to main content
SpringerLink
Log in

Reliability and Availability Analysis in Practice

  • Chapter
  • First Online:
Handbook of Advanced Performability Engineering

Abstract

Reliability and availability are key attributes of technical systems. Methods of quantifying these attributes are thus essential during all phases of system lifecycle. Data (measurement)-driven methods are suitable for components or subsystems but, for the system as a whole, model-driven methods are more desirable. Simulative solution or analytic–numeric solution of the models are two major alternatives for the model-driven approach. In this chapter, we explore model-driven methods with analytic–numeric solution. Non-state-space, state-space, hierarchical, and fixed-point iterative methods are explored using real-world examples. Challenges faced by such modeling endeavors and potential solutions are described. Software package SHARPE is used for such modeling exercises.

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 EPUB and 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

References

  1. Trivedi, K., & Bobbio, A. (2017). Reliability and availability engineering. Cambridge: Cambridge University Press.

    Google Scholar 

  2. Sahner, R., Trivedi, K., & Puliafito, A. (1996). Performance and reliability analysis of computer systems: An example-based approach using the SHARPE software package. Kluwer Academic Publishers.

    Google Scholar 

  3. Trivedi, K., & Sahner, R. A. (2009). SHARPE at the age of twenty two. ACM Performance Evaluation Review, 36(4).

    Google Scholar 

  4. Ciardo, G., Muppala, J., & Trivedi, K. (1989). SPNP: Stochastic petri net package. In Proceedings of Third International Workshop on Petri Nets and Performance Models (pp. 142–151).

    Google Scholar 

  5. Hirel, C., Tuffin, B., & Trivedi, K. (2000). SPNP: Stochastic petri nets. Version 6. In B. Haverkort & H. Bohnenkamp (Eds.), International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000), LNCS 1786 (pp. 354–357). Berlin: Springer.

    Google Scholar 

  6. Trivedi, K., Vasireddy, R., Trindade, D., Nathan, S., & Castro, R. (2006). Modeling high availability systems. In Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing (PRDC).

    Google Scholar 

  7. Sebastio, S., Trivedi, K., Wang, D., & Yin, X. (2014). Fast computation of bounds for two-terminal network reliability. European Journal of Operational Research, 238(3), 810–823.

    Article  MathSciNet  Google Scholar 

  8. Ramesh, V., Twigg, D., Sandadi, U., Sharma, T., Trivedi, K., & Somani, A. (1999). An integrated reliability modeling environment. Reliability Engineering and System Safety, 65, 65–75.

    Article  Google Scholar 

  9. Zang, X., Sun, H., & Trivedi, K. (2000). A BDD-based algorithm for reliability graph analysis. Department of Electrical & Computer Engineering: Duke University, Technical Report.

    Google Scholar 

  10. Soh, S., & Rai, S. (2005). An efficient cutset approach for evaluating communication-network reliability with heterogeneous link-capacities. IEEE Transactions on Reliability, 54(1), 133–144.

    Article  Google Scholar 

  11. Malhotra, M., & Trivedi, K. (1994). Power-hierarchy among dependability model types. IEEE Transactions on Reliability, R-43, 493–502.

    Google Scholar 

  12. Zang, X., Wang, D., Sun, H., & Trivedi, K. (2003). A BDD-based algorithm for analysis of multistate systems with multistate components. IEEE Transactions on Computers, 52(12), 1608–1618.

    Article  Google Scholar 

  13. Zang, X., Sun, H., & Trivedi, K. (1999). A BDD-based algorithm for reliability analysis of phased mission systems. IEEE Transactions On Reliability, 48(1), 50–60.

    Article  Google Scholar 

  14. Merle, G., Roussel, J., Lesage, J., & Bobbio, A. (2010). Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Transactions on Reliability, 59(1), 250–261.

    Article  Google Scholar 

  15. Trivedi, K. (2001). Probability & statistics with reliability, queueing & computer science applications (2nd ed.). Wiley.

    Google Scholar 

  16. Trivedi, K., Wang, D., Hunt, J., Rindos, A., Smith, W. E., & Vashaw, B. (2008). Availability modeling of SIP protocol on IBM © Websphere ©. In Proceedings of Pacific Rim International Symposium on Dependable Computing (PRDC) (pp. 323–330).

    Google Scholar 

  17. Fricks, R., Bobbio, A., & Trivedi, K. (2016). Reliability models of chronic kidney disease. In Proceedings IEEE Annual Reliability and Maintainability Symposium (pp. 1–6).

    Google Scholar 

  18. United States Renal Data System. (2014).“2014 annual data report: An overview of the epidemiology of kidney disease in the United States. National Institutes of Health—National Institute of Diabetes and Digestive and Kidney Diseases, Tech. Rep., 2014.

    Google Scholar 

  19. Stewart, W. (1994). Introduction to the numerical solution of markov chains. Princeton University Press.

    Google Scholar 

  20. Reibman, A., & Trivedi, K. (1988). Numerical transient analysis of Markov models. Computers and Operations Research, 15:19–36.

    Google Scholar 

  21. Reibman, A., Smith, R., & Trivedi, K. (1989). Markov and Markov reward model transient analysis: An overview of numerical approaches. European Journal of Operational Research, 40, 257–267.

    Google Scholar 

  22. Bobbio, A., & Premoli, A. (1982). Fast algorithm for unavailability and sensitivity analysis of series-parallel systems. IEEE Transaction on Reliability, R-31, 359–361.

    Google Scholar 

  23. Blake, J., Reibman, A., & Trivedi, K. (1988). Sensitivity analysis of reliability and performability measures for multiprocessor systems. ACM SIGMETRICS Performance Evaluation Review, 16(1), 177–186.

    Article  Google Scholar 

  24. Matos, R., Maciel, P., Machida, F., Kim, D. S., & Trivedi, K. (2012). Sensitivity analysis of server virtualized system availability. IEEE Transactions on Reliability, 61, 994–1006.

    Google Scholar 

  25. Bobbio, A. (1990). System modelling with petri nets. In A. Colombo & A. de Bustamante (Eds.), System reliability assessment (pp. 103–143). Kluwer Academic P.G.

    Google Scholar 

  26. Ciardo, G., Muppala, J., & Trivedi, K. (1991). On the solution of GSPN reward models. Performance Evaluation, 12, 237–253.

    Article  Google Scholar 

  27. Ciardo, G., Blakemore, A., Chimento, P., Muppala, J., & Trivedi, K. (1993). Automated generation and analysis of Markov reward models using stochastic reward nets. In C. Meyer & R. Plemmons (Eds.), Linear algebra, markov chains, and queueing models, The IMA Vol in mathematics and its applications (Vol. 48, pp. 145–191). Berlin: Springer.

    Google Scholar 

  28. Ghosh, R., Longo, F., Frattini, L., Russo, S., & Trivedi, K. (2014). Scalable analytics for IaaS cloud availability. IEEE Transactions on Cloud Computing.

    Google Scholar 

  29. Ciardo, G., & Trivedi, K. (1993). A decomposition approach for stochastic reward net models. Performance Evaluation, 18, 37–59.

    Article  MathSciNet  Google Scholar 

  30. Mainkar, V., & Trivedi, K. (1996). Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models. IEEE Transactions on Software Engineering, 22(9), 640–653.

    Article  Google Scholar 

  31. Sukhwani, H., Bobbio, A., & Trivedi, K. (2015). Largeness avoidance in availability modeling using hierarchical and fixed-point iterative techniques. International Journal of Performability Engineering, 11(4), 305–319.

    Google Scholar 

  32. Ghosh, R., Longo, F., Naik, V., & Trivedi, K. (2013). Modeling and performance analysis of large scale IaaS clouds. Future Generation Computer Systems, 29(5), 1216–1234.

    Article  Google Scholar 

  33. Ghosh, R., Longo, F., Xia, R., Naik, V., & Trivedi, K. (2014). Stochastic model driven capacity planning for an infrastructure-as-a-service cloud. IEEE Transactions Services Computing, 7(4), 667–680.

    Article  Google Scholar 

  34. Trivedi, K., Wang, D., & Hunt, J. (2010). Computing the number of calls dropped due to failures. ISSRE, 11–20.

    Google Scholar 

  35. Mondal, S., Yin, X., Muppala, J., Alonso Lopez, J., & Trivedi, K. (2015). Defects per million computation in service-oriented environments. IEEE Transactions Services Computing, 8(1), 32–46.

    Google Scholar 

  36. Wang, D., & Trivedi, K. (2009). Modeling user-perceived service reliability based on user-behavior graphs. International Journal of Reliability, Quality and Safety Engineering, 16(4), 1–27.

    Article  Google Scholar 

  37. Mishra, K., & Trivedi, K. (2013). Closed-form approach for epistemic uncertainty propagation in analytic models. In Stochastic reliability and maintenance modeling (Vol. 9, pp. 315–332). Springer Series in Reliability Engineering.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical and Computer Engineering, Duke University, Durham, NC, 27708, USA

    Kishor Trivedi

  2. DiSit, Università del Piemonte Orientale, 15131, Alessandria, Italy

    Andrea Bobbio

Authors
  1. Kishor Trivedi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrea Bobbio
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kishor Trivedi .

Editor information

Editors and Affiliations

  1. RAMS Consultants, Jaipur, Rajasthan, India

    Krishna B. Misra

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Trivedi, K., Bobbio, A. (2021). Reliability and Availability Analysis in Practice. In: Misra, K.B. (eds) Handbook of Advanced Performability Engineering. Springer, Cham. https://doi.org/10.1007/978-3-030-55732-4_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-55732-4_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-55731-7

  • Online ISBN: 978-3-030-55732-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation