Abstract
In this article, we present FDS-ML, a new modeling formalism dedicated to probabilistic risk and safety analyse. FDS-ML relies on the notion of finite degradation structures, an algebraic framework recently introduced by the authors. FDS-ML provides a simple and clear way to design combinatorial models.
The assessment of FDS-ML models relies on the decision diagram technology. Classical concepts defined for fault trees, such as those of minimal cutsets, availability, reliability and importance measures, can be lifted up to finite degradation structures and computed by means of decision diagram algorithms.
The article aims at presenting the most important ideas underlying FDS-ML and its implementation. It illustrates the practical interest of the proposed approach by means of a case study stemmed from the ISO/TR 12489 standard.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Batteux, M., Prosvirnova, T., Rauzy, A.: Altarica 3.0 in 10 modeling patterns. Int. J. Crit. Comput.-Based Syst. 9(1–2), 133–165 (2018). https://doi.org/10.1504/IJCCBS.2019.098809
Batteux, M., Prosvirnova, T., Rauzy, A.: From models of structures to structures of models. In: IEEE International Symposium on Systems Engineering, ISSE 2018. IEEE, Roma, October 2018. https://doi.org/10.1109/SysEng.2018.8544424. Best paper award
Brace, K.S., Rudell, R.L., Bryant, R.S.: Efficient implementation of a BDD package. In: Proceedings of the 27th ACM/IEEE Design Automation Conference, pp. 40–45. IEEE, Orlando (1990). https://doi.org/10.1145/123186.123222
Guo, H., Yang, X.: A simple reliability block diagram method for safety integrity verification. Reliab. Eng. Syst. Saf. 92(9), 1267–1273 (2007). https://doi.org/10.1016/j.ress.2006.08.002
International IEC standard IEC61508 - functional safety of electrical/electronic/programmable safety-related systems (E/E/PE, or E/E/PES). Standard, International Electrotechnical Commission, Geneva, Switzerland, April 2010
ISO/TR 12489:2013 petroleum, petrochemical and natural gas industries - reliability modelling and calculation of safety systems. Standard, International Organization for Standardization, Geneva, Switzerland, November 2013
Minato, S.I.: Zero-suppressed BDDs for set manipulation in combinatorial problems. In: Proceedings of the 30th ACM/IEEE Design Automation Conference, DAC 1993, pp. 272–277. IEEE, Dallas (1993). https://doi.org/10.1145/157485.164890
Minato, S.I.: Binary Decision Diagrams and Applications for VLSI CAD. Kluwer Academic Publishers, Dordrecht (1996)
Rauzy, A.: Anatomy of an efficient fault tree assessment engine. In: Virolainen, R. (ed.) Proceedings of International Joint Conference PSAM 2011/ESREL 2012, June 2012
Rauzy, A., Haskins, C.: Foundations for model-based systems engineering and model-based safety assessment. J. Syst. Eng. (2018). https://doi.org/10.1002/sys.21469
Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29–62 (2015). https://doi.org/10.1016/j.cosrev.2015.03.001
Ushakov, I.: Probabilistic Reliability Models. Wiley, Hoboken (2012)
Yang, L., Haskins, C., Rauzy, A.: Finite degradation structures: a formal framework to support the interface between MBSE and MBSA. In: IEEE International Symposium on Systems Engineering, ISSE 2018. IEEE, Roma, October 2018. https://doi.org/10.1109/SysEng.2018.8544411
Yang, L., Rauzy, A.: Reliability modeling using finite degradation structures. In: Proceedings of the 3rd International Conference on System Reliability and Safety (ICSRS), pp. 168–175. IEEE, Barcelona, November 2018. https://doi.org/10.1109/ICSRS.2018.00035
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Yang, L., Rauzy, A. (2019). FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science(), vol 11842. Springer, Cham. https://doi.org/10.1007/978-3-030-32872-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-32872-6_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32871-9
Online ISBN: 978-3-030-32872-6
eBook Packages: Computer ScienceComputer Science (R0)