This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A
Technical Paper
2011-01-2548
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Model Based Safety techniques have been developed for a number of years, though the models have not been customised to help address the safety considerations/ actions at each refinement level. The work performed in the MISSA Project looked at defining the content of “safety models” for each of the refinement levels. A modelling approach has been defined that provides support for the initial functional hazard analysis, then for the systems architectural definition level and finally for the systems implementation level. The Aircraft functional model is used to apportion qualitative and quantitative requirements, the systems architectural level is used to perform a preliminary systems safety analysis to demonstrate that a system architecture can satisfy qualitative and quantitative requirements. Finally the systems implementation level intends to take behavioural models that can be used to generate qualifiable code from a supplier and to demonstrate that the implemented system conforms to the requirements specified at the systems architectural level. A technique has also been developed to compare the results between the systems architectural level qualitative analysis results with those of the systems implementation level results. This paper describes the construction of each of these models, the intended use, and provides a simple example to show how they fit together.
Recommended Content
Technical Paper | On the Synthesis and Validation of Safety Assessment Models |
Technical Paper | Hardware and Software Development and Integration per SAE ARP4754A |
Technical Paper | Reusing Safety-Critical Avionics Software |
Authors
- Christel Seguin - ONERA
- Pierre Bieber - ONERA
- Eckard Boede - OFFIS
- Marco Bozzano - Foundation Bruno Kessler
- Matthias Bretschneider - Airbus
- Antonella Cavallo - Alenia Aeronautica SpA
- Johann Deneux - Prover Technology AB
- Jean-Pierre Heckmann - EADS Apsys Defence & Security
- Oleg Lisagor - University of York
- Marion Morel - Thales
- Chris Papadopoulos - Airbus
- Laurent Sagaspe - APSYS
- Valerie Sartor - Dassault Aviation
- Rémi Delmas - ONERA
Citation
Seguin, C., Bieber, P., Boede, E., Bozzano, M. et al., "Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A," SAE Technical Paper 2011-01-2548, 2011, https://doi.org/10.4271/2011-01-2548.Also In
References
- http://www.missa-fp7.eu/
- SAE Aerospace Recommended Practice “Development of Civil Aircraft and Systems,” SAE Standard ARP4754A Dec. 2010
- Bozzano, M. Villafiorita, A. Åkerlund, O. Bieber, P. Bougnol, C. Böde, E. Bretschneider, M. Cavallo, A. Castel, C. Cifaldi, M. Cimatti, A. Griffault, A. Kehren, C. Lawrence, B. Lüdtke, A. Metge, S. Papadopoulos, C. Passarello, R. Peikenkamp, T. Persson, P. Seguin, C. Trotta, L. Valacca, L. Zacco, G. “ESACS: an integrated methodology for design and safety analysis of complex systems” ESREL 2003 Balkema publisher
- Akerlund, O. Bieber, P. Boede, E. Bozzano, M. Bretschneider, M. Castel, C. Cavallo, A. Cifaldi, M. Gauthier, J. Lisagor, O. Lüdtke, A. Metge, S. Papadopoulos, C. Peikenkamp, T. Sagaspe, L. Seguin, C. Trivedi, H. Valacca, L. ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects Embedded Real Time System 2006 Toulouse France
- Cimatti, A. Clarke, E. Giunchiglia, F. Roveri, M. “NuSMV: a new symbolic model checker” STTT International Journal on Software Tools for Technology Transfer Steffen, B. Cleaveland, W. R. Springer Verlag 2000 2 410 425
- http://nusmv.fbk.eu/
- http://mathsat.fbk.eu/
- European Aviation Safety Agency Certification Specifications For Large Aeroplanes CS-25 Amendment 1, CS-25 BOOK 2 Definitions 2-F-4 208
- Arnold, A. Griffault, A. Point, G. Rauzy, A. 2000 The AltaRica formalism for describing concurrent systems Fundamenta Informaticae 109 124
- Bieber, P. Delmas, R. Seguin, C. “DALculus - Theory and Tool for DAL Allocation” Safecomp 2011 2011
- Bieber, P. Bretschneider, M. Delmas, R. Seguin, C. “Automatic Derivation of Qualitative and Quantitative Safety Requirements” ESREL 2011 2011
- Bieber, P. Bougnol, C. Castel, C. Heckmann, J.-P. Kehren, C. Metge, S. Seguin, C. “Safety Assessment with AltaRica - Lessons learnt based on two aircraft system studies” 18th IFIP World Computer Congress, Topical Day on New Methods for Avionics Certification August 26 2004 Toulouse (France) LNCS 505 510
- Papadopoulos, Y. Hierarchically Performed Hazard Origin and Propagation Studies 18th International Conference on Computer Safety, Reliability, and Security (SAFECOMP) 1999 Toulouse, France Springer-Verlag
- Wallace, M. Modular Architectural Representation and Analysis of Fault Propagation and Transformation 2nd International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2005) 2005 Amsterdam Elsevier
- Lisagor, O. Kelly, T. Ru, N. Model-Based Safety Assessment: Review of the Discipline and its Challenges 9th International Conference on Reliability, Maintainability and Safety 2011 IEEE Guiyang, China
- Henzinger, T. A. The Theory of Hybrid Automata Proc. Symposium on Logic in Computer Science (LICS'96) 278 292 IEEE Computer Society 1996
- http://www.mathworks.com/products/simulink/
- http://www.esterel-technologies.com/products/scade-suite/
- Etienne, J. -F. Fechter, S. Juppeaux, E. “Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain” Complex Systems Design & Management Springer Berlin Heidelberg 2010 61 72
- Bochot, T. Virelizier, P. Waeselynck, H. Wiels, V. “Model checking flight control systems: The Airbus experience” 31st International Conference on Software Engineering 2009 18 27
- http://www.prover.com/products/prover_ilock/
- Abdulla, Parosh Aziz Deneux, Johann Stålmarck, Gunnar Ågren, Herman Åkerlund, Ove Designing Safe, Reliable Systems Using Scade Lecture Notes in Computer Science 4313 Springer 2006
- Henley, Ernest J. Hiromitsu Kumamoto: Reliability Engineering and Risk Assessment Prentice-Hall 1981
- Damm, W. Thaden, E. Stierand, I. Peikenkamp, T. Hungar, H. “Using Contract-Based Component Specifications for Virtual Integration and Architecture Design Proceeding of the Design, Automation & Test in Europe conference 2011 Grenoble, France
- Böde, E. Gebhardt, S. Peikenkamp, T. “Contract Based Assesment of Safety Critical Systems” Proceeding of the 7th European Systems Engineering Conference (EuSEC 2010) Stockholm, Sweden