Abstract
Model-Based Safety Analysis (MBSA) has been explored at Safran Aircraft Engines for a few years. The objective is to maturate a very promising method, in order to improve at the end our ability to address on-time safety analysis on products of increasingly complexity. This paper presents first our global needs and our current state of the art. We use SimfiaNeo software, a graphical tool with several features based on the AltaRica DataFlow language. Then we focus on three particular issues, which have been recently explored: what is the best way to model a failure, that propagate downstream and upstream? How shall we proceed to take the best benefit of an existing model? Does the MBSA help to compute the reliability of a dynamic system with a very long mission time? We present for each of these issues one or two ways, which we have tested, and our current conclusion. Finally, we draw the next steps identified in order to be ultimately able to certify a propulsive system thanks to this method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bozzano, M., Cavallo, A., Cifaldi, M., Valacca, L., Villafiorita, A.: Improving safety assessment of complex systems: an industrial case study. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 208–222. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-45236-2_13
Boiteau, M., Dutuit, Y., Signoret, J.-P., Rauzy, A.: The AltaRica data-flow language in use: modeling of production availability of a multi-state system. Reliab. Eng. Syst. Saf. 91(7), 747–755 (2006). ISSN 0951-8320
Rauzy, A.: Modes automata and their compilation into fault trees. Reliab. Eng. Syst. Saf. 78(1), 1–12 (2002). ISSN 0951-8320
Prosvirnova, T.: AltaRica 3.0: a model-based approach for safety analyses. Doctoral thesis. Ecole Polytechnique (2014)
APSYS: SimfiaNeo User Manual, Version 1.4.2 (2022)
Machin, M., Sagaspe, L., De Bossoreille, X.: SimfiaNeo, complex systems, yet simple safety. In: Embedded Real Time Software and Systems, paper 9, Toulouse (2018)
Adeline, R., Darfeuil, P., Humbert, S., Cardoso, J., Seguin, C.: Toward a methodology for the AltaRica modelling of multi-physical systems. In: ESREL 2010, 05–09 September 2010, Rhodes, Greece (2010)
Batteux, M., Prosvirnova, T., Rauzy, A.: AltaRica 3.0 assertions: the whys and wherefores. Proc. Inst. Mech. Eng. Part O: J. Risk Reliab. 231, 691–700 (2017)
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
Noisette, B., Dobol, S., Monteil, L. (2022). Model-Based Safety Analysis: A Practical Experience. In: Seguin, C., Zeller, M., Prosvirnova, T. (eds) Model-Based Safety and Assessment. IMBSA 2022. Lecture Notes in Computer Science, vol 13525. Springer, Cham. https://doi.org/10.1007/978-3-031-15842-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-15842-1_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15841-4
Online ISBN: 978-3-031-15842-1
eBook Packages: Computer ScienceComputer Science (R0)