Abstract
Bayesian Network (BN)-based methods are increasingly used in system reliability analysis. While BNs enable to perform multiple analyses based on a single model, the construction of robust BN models relies either on the conversion from other intermediate system model structures or direct analyst-led development based on experts input, both requiring significant human effort. This article proposes an architecture model-based approach for the direct generation of a BN model. Given the architectural model of a system, a systematic bottom-up approach is suggested, underpinned by failure behaviour models of components composed based on interaction models to create a system-level failure behaviour model. Interoperability and reusability of models are supported by a library of component failure models. The approach was illustrated with application to a case study of a steam boiler system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
BayesFusion: GeNIe Software. https://www.bayesfusion.com/.
References
AIAG: Potential Failure Mode and Effect Analysis. Technical report, Automotive Industry Action Group (1993)
Amrin, A., Zarikas, V., Spitas, C.: Reliability analysis and functional design using Bayesian networks generated automatically by an “idea algebra’’ framework. Reliab. Eng. Syst. Saf. 180, 211–225 (2018)
Arnold, A., Point, G., Griffault, A., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fund. Inform. 40(2), 109–124 (2000)
Bittner, B., et al.: The xSAP safety analysis platform. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 533–539. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49674-9_31
Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.: Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliab. Eng. Syst. Saf. 71(3), 249–260 (2001)
Borth, M., von Hasseln, H.: Systematic generation of Bayesian networks from systems specifications. In: Musen, M.A., Neumann, B., Studer, R. (eds.) IIP 2002. ITIFIP, vol. 93, pp. 155–166. Springer, Boston, MA (2002). https://doi.org/10.1007/978-0-387-35602-0_14
Boudali, H., Dugan, J.B.: A discrete-time Bayesian network reliability modeling and analysis framework. Reliab. Eng. Syst. Saf. 87(3), 337–349 (2005)
Codetta-Raiteri, D., Portinale, L.: Generalized continuous time Bayesian networks as a modelling and analysis formalism for dependable systems. Reliab. Eng. Syst. Saf. 167, 639–651 (2017)
Doguc, O., Ramirez-Marquez, J.E.: A generic method for estimating system reliability using Bayesian networks. Reliab. Eng. Syst. Saf. 94(2), 542–550 (2009)
Feiler, P., Rugina, A.: Dependability modeling with the architecture analysis & design language (AADL). Technical report July, Software Engineering Institute, Carnegie Mellon University (2007)
Fenelon, P., McDermid, J.A.: An integrated tool set for software safety analysis. J. Syst. Softw. 21(3), 279–290 (1993)
Grunske, L., Kaiser, B.: Automatic generation of analyzable failure propagation models from component-level failure annotations. In: Fifth International Conference on Quality Software(QSIC 2005), pp. 117–123 (2005)
Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114–135 (2017)
Kabir, S., Papadopoulos, Y.: Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: a review. Saf. Sci. 115, 154–175 (2019)
Kabir, S., Walker, M., Papadopoulos, Y.: Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In: Ortmeier, F., Rauzy, A. (eds.) IMBSA 2014. LNCS, vol. 8822, pp. 96–109. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-12214-4_8
Kabir, S., Walker, M., Papadopoulos, Y.: Dynamic system safety analysis in HiP-HOPS with Petri nets and Bayesian networks. Saf. Sci. 105, 55–70 (2018)
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS 2003), vol. 33, pp. 37–46 (2003)
Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48249-0_13
Papadopoulos, Y., et al.: A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control 41, 170–182 (2016)
Roshandel, R., Medvidovic, N., Golubchik, L.: A Bayesian model for predicting reliability of software systems at the architectural level. In: Overhage, S., Szyperski, C.A., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol. 4880, pp. 108–126. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-77619-2_7
Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: state-of-the-art, challenges, and future outlook. In: Software Quality Assurance, pp. 251–278 (2016)
Torres-Toledano, J.G., Sucar, L.E.: Bayesian networks for reliability analysis of complex systems. In: Coelho, H. (ed.) IBERAMIA 1998. LNCS (LNAI), vol. 1484, pp. 195–206. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-49795-1_17
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Kabir, S., Campean, F. (2022). A Model-Based Reliability Analysis Method Using Bayesian Network. In: Jansen, T., Jensen, R., Mac Parthaláin, N., Lin, CM. (eds) Advances in Computational Intelligence Systems. UKCI 2021. Advances in Intelligent Systems and Computing, vol 1409. Springer, Cham. https://doi.org/10.1007/978-3-030-87094-2_43
Download citation
DOI: https://doi.org/10.1007/978-3-030-87094-2_43
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-87093-5
Online ISBN: 978-3-030-87094-2
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)