Model-Based Safety Analysis: A Practical Experience

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.