Abstract
MBSA models were used for the first time in the frame of an aeronautical certification in 2007 (for the Flight Control System of the Dassault Aviation Falcon 7X). 15 years later, MBSA method has been integrated into aeronautical standards which present guidelines for performing safety assessments of civil aircraft, systems, and equipment, the so-called SAE ARP4761A [1] and its EUROCAE complement, ED-135A.
The “A” version of SAE ARP4761 introduces the MBSA as a new method which achieves results that are equivalent to those obtained from the classical e.g., Fault Tree Analysis (FTA) safety analysis methods. It describes, in detail, a contiguous example of the safety assessment process for a function on a fictitious aircraft design, the “Decelerate wheels” function, performed by the “Wheel Braking System”. More particularly, it gives an example of how a MBSA method may be carried out to support the safety analysis during a Preliminary System Safety Assessment (PSSA).
The purpose of this article is to present and illustrate the way to support a PSSA process with a MBSA model, based on a representative Wheel Braking System model with various analyses (Functional Failure Set computation/DAL allocation, Minimal Cut Set computation/fail-safe principle, Failure Condition probability computation and Common Cause Failures identification/Independence principles). The MBSA model will be presented in a graphical tool dedicated to safety analyses and based on the formal language AltaRica [2].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
SAE, ARP4761 : Guidelines and methods for conducting the safety assessment process on civil airborne system and equipment (1996)
Point, G., Rauzy, A.: AltaRica: constraint automata as a description language. J. européen des systèmes automatisés 33(8–9), 1033–1052 (1999)
Delange, J., Feiler, P.: Supporting the ARP4761 safety assessment process with AADL. Embedded real time software and systems (ERTS2014), February 2014, Toulouse, France. (hal-02271282)
FALCON 7X Certification Collection 27_1-300, Primary Flight Control System Safety Analysis, Dassault Aviation reference DGT91338 (first issue #1 of 21/05/2003, last issue #13 of 14/02/2017)
Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM Comput. Rev. 2(1), 21–32 (1994)
Åkerlund O., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL. Balkema (2003)
Åkerlund O., et al.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: Proceedings of ERTS (2006)
Papadopoulos, C., et al.: Model-based safety assessment for the three stages of refinement of the system development process in ARP4754A, SAE 2011 AeroTech Congress & Exhibition, Toulouse, France, October 2011
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
Frazza, C., Darfeuil, P., Gauthier, J. (2022). MBSA in Aeronautics: A Way to Support Safety Activities. 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_3
Download citation
DOI: https://doi.org/10.1007/978-3-031-15842-1_3
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)