Skip to main content

2021 | OriginalPaper | Buchkapitel

22. Reliability and Availability Analysis in Practice

verfasst von : Kishor Trivedi, Andrea Bobbio

Erschienen in: Handbook of Advanced Performability Engineering

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Trivedi, K., & Bobbio, A. (2017). Reliability and availability engineering. Cambridge: Cambridge University Press. Trivedi, K., & Bobbio, A. (2017). Reliability and availability engineering. Cambridge: Cambridge University Press.
2.
Zurück zum Zitat 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. 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.
3.
Zurück zum Zitat Trivedi, K., & Sahner, R. A. (2009). SHARPE at the age of twenty two. ACM Performance Evaluation Review, 36(4). Trivedi, K., & Sahner, R. A. (2009). SHARPE at the age of twenty two. ACM Performance Evaluation Review, 36(4).
4.
Zurück zum Zitat 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). 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).
5.
Zurück zum Zitat 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. 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.
6.
Zurück zum Zitat 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). 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).
7.
Zurück zum Zitat 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.MathSciNetCrossRef 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.MathSciNetCrossRef
8.
Zurück zum Zitat 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.CrossRef 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.CrossRef
9.
Zurück zum Zitat Zang, X., Sun, H., & Trivedi, K. (2000). A BDD-based algorithm for reliability graph analysis. Department of Electrical & Computer Engineering: Duke University, Technical Report. Zang, X., Sun, H., & Trivedi, K. (2000). A BDD-based algorithm for reliability graph analysis. Department of Electrical & Computer Engineering: Duke University, Technical Report.
10.
Zurück zum Zitat 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.CrossRef 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.CrossRef
11.
Zurück zum Zitat Malhotra, M., & Trivedi, K. (1994). Power-hierarchy among dependability model types. IEEE Transactions on Reliability, R-43, 493–502. Malhotra, M., & Trivedi, K. (1994). Power-hierarchy among dependability model types. IEEE Transactions on Reliability, R-43, 493–502.
12.
Zurück zum Zitat 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.CrossRef 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.CrossRef
13.
Zurück zum Zitat 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.CrossRef 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.CrossRef
14.
Zurück zum Zitat 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.CrossRef 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.CrossRef
15.
Zurück zum Zitat Trivedi, K. (2001). Probability & statistics with reliability, queueing & computer science applications (2nd ed.). Wiley. Trivedi, K. (2001). Probability & statistics with reliability, queueing & computer science applications (2nd ed.). Wiley.
16.
Zurück zum Zitat 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). 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).
17.
Zurück zum Zitat Fricks, R., Bobbio, A., & Trivedi, K. (2016). Reliability models of chronic kidney disease. In Proceedings IEEE Annual Reliability and Maintainability Symposium (pp. 1–6). Fricks, R., Bobbio, A., & Trivedi, K. (2016). Reliability models of chronic kidney disease. In Proceedings IEEE Annual Reliability and Maintainability Symposium (pp. 1–6).
18.
Zurück zum Zitat 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. 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.
19.
Zurück zum Zitat Stewart, W. (1994). Introduction to the numerical solution of markov chains. Princeton University Press. Stewart, W. (1994). Introduction to the numerical solution of markov chains. Princeton University Press.
20.
Zurück zum Zitat Reibman, A., & Trivedi, K. (1988). Numerical transient analysis of Markov models. Computers and Operations Research, 15:19–36. Reibman, A., & Trivedi, K. (1988). Numerical transient analysis of Markov models. Computers and Operations Research, 15:19–36.
21.
Zurück zum Zitat 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. 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.
22.
Zurück zum Zitat Bobbio, A., & Premoli, A. (1982). Fast algorithm for unavailability and sensitivity analysis of series-parallel systems. IEEE Transaction on Reliability, R-31, 359–361. Bobbio, A., & Premoli, A. (1982). Fast algorithm for unavailability and sensitivity analysis of series-parallel systems. IEEE Transaction on Reliability, R-31, 359–361.
23.
Zurück zum Zitat 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.CrossRef 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.CrossRef
24.
Zurück zum Zitat 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. 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.
25.
Zurück zum Zitat 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. 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.
26.
Zurück zum Zitat Ciardo, G., Muppala, J., & Trivedi, K. (1991). On the solution of GSPN reward models. Performance Evaluation, 12, 237–253.CrossRef Ciardo, G., Muppala, J., & Trivedi, K. (1991). On the solution of GSPN reward models. Performance Evaluation, 12, 237–253.CrossRef
27.
Zurück zum Zitat 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. 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.
28.
Zurück zum Zitat Ghosh, R., Longo, F., Frattini, L., Russo, S., & Trivedi, K. (2014). Scalable analytics for IaaS cloud availability. IEEE Transactions on Cloud Computing. Ghosh, R., Longo, F., Frattini, L., Russo, S., & Trivedi, K. (2014). Scalable analytics for IaaS cloud availability. IEEE Transactions on Cloud Computing.
29.
Zurück zum Zitat Ciardo, G., & Trivedi, K. (1993). A decomposition approach for stochastic reward net models. Performance Evaluation, 18, 37–59.MathSciNetCrossRef Ciardo, G., & Trivedi, K. (1993). A decomposition approach for stochastic reward net models. Performance Evaluation, 18, 37–59.MathSciNetCrossRef
30.
Zurück zum Zitat 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.CrossRef 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.CrossRef
31.
Zurück zum Zitat 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. 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.
32.
Zurück zum Zitat 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.CrossRef 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.CrossRef
33.
Zurück zum Zitat 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.CrossRef 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.CrossRef
34.
Zurück zum Zitat Trivedi, K., Wang, D., & Hunt, J. (2010). Computing the number of calls dropped due to failures. ISSRE, 11–20. Trivedi, K., Wang, D., & Hunt, J. (2010). Computing the number of calls dropped due to failures. ISSRE, 11–20.
35.
Zurück zum Zitat 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. 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.
36.
Zurück zum Zitat 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.CrossRef 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.CrossRef
37.
Zurück zum Zitat 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. 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.
Metadaten
Titel
Reliability and Availability Analysis in Practice
verfasst von
Kishor Trivedi
Andrea Bobbio
Copyright-Jahr
2021
DOI
https://doi.org/10.1007/978-3-030-55732-4_22

Neuer Inhalt