This content is not included in your SAE MOBILUS subscription, or you are not logged in.
On the Synthesis and Validation of Safety Assessment Models
ISSN: 0148-7191, e-ISSN: 2688-3627
Published October 18, 2011 by SAE International in United States
Annotation ability available
Safety is one of the most important aspects of which we are concerned with in the field of aerospace-systems development. There are a variety of safety assessment activities that are performed throughout a system's lifecycle. Multiple interrelated safety analysis artifacts are generated from the process. However, requirements and guidance for the synthesis and validation of the results of this analysis are insufficient and are not explicit. In traditional system development processes, certification coordination, safety assessment, requirements validation, and implementation verification are generally treated as supporting processes, which are concurrent and interactively dependent throughout the iterative development of a system. In SAE ARP4754A, these processes are stressed as integral processes with traceability between safety requirements and the dependencies between safety assessment activities highlighted as an important concern. In this paper, we review the current practice on the synthesis and validation of safety assessment models in the civil aerospace sector and investigate the role of safety arguments in these two aspects. In particular, we examine the interrelationship between safety arguments and safety requirements capture and validation activities, which leads to the primary safety argument integrating safety analysis results. We also examine the concerns of safety assessment model validity and address these explicitly using backing arguments for the justification of the adequacy of safety assessment models. The synthesis and justification of safety assessment models are illustrated with examples from MISSA (More Integrated Systems Safety Assessment), an EU FP7 project in the transportation sector. Finally, the supporting tool platform that has been created on this project is presented. This platform facilitates organization of the data from, and communication between, safety modeling activities, and enables data sharing and tracing between safety arguments and models.
CitationSun, L., Papadopoulos, C., Mehta, K., Kelly, T. et al., "On the Synthesis and Validation of Safety Assessment Models," SAE Technical Paper 2011-01-2549, 2011, https://doi.org/10.4271/2011-01-2549.
- FAA. System Safety Handbook. 2000. Available from: http://www.faa.gov/library/manuals/aviation/risk_management/ss_handbook/.
- NLR. Safety Methods Database V0.9. 2010. Available from: http://www.nlr.nl/documents/flyers/SATdb.pdf.
- EASA, CS-25 Certification Specifications for Large Aeroplanes. 2003.
- SAE International Aerospace Recommended Practice, “Certification Considerations for Highly-Integrated or Complex Aircraft Systems,” SAE Standard ARP4754, Rev. Nov. 1996.
- SAE International Aerospace Recommended Practice, “Guidelines for Development of Civil Aircraft and Systems,” SAE Standard ARP4754A, Rev. Dec. 2010.
- SAE International Aerospace Recommended Practice, “Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment,” SAE Standard ARP4761, Rev. Dec. 1996.
- Rushby, J., AIAA 2008-6799 How do We Certify for the Unexpected?, in AIAA Guidance, Navigation and Control Conference and Exhibit. 2008: Honolulu, Hawaii, USA.
- Control of Industrial Major Accidents Hazards Regulations (CIMAH) 1984.
- Cullen, T.H.L., The Public Inquiry into the Piper Alpha Disaster 2 Volumes. 1990: Her Majesty's Stationary Office.
- Kelly, T.P., Arguing Safety: A Systematic Approach to Managing Safety Cases. York PhD Thesis. 1998: Univ. of York, Dept. of Computer Science.
- Adelard, The Adelard Safety Case Editor - ASCE. 2003. Product description. Available at: http://adelard.co.uk/software/asce/.
- Atego. Atego GSN Modeler. 2008. Available from: http://www.atego.com/products/atego-gsn-modeler/.
- Firesmith, D.G., et al., The Method Framework for Engineering System Architectures. 2008: Auerbach Publications.
- FAA. Conducting Software Reviews Prior to Certification. FAA Job Aid, Aircraft certification Service 2004. Available from: http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/guide_jobaid/.
- Toulmin, S.E., The Uses of Argument. 1958, Cambridge: University Press.
- Hawkins, R., et al., A New Approach to Creating Clear Safety Arguments, in Advances in Systems Safety, Dale, C. and Anderson, T., Editors. 2011: Springer London. p. 3-23.
- Seguin, C., Bieber, P., Boede, E., Bozzano, M., et al., “Model Based Safety Assessment for the Three Stages of Refinement of Refinement of the System Development Process in ARP4754A,” SAE Technical Paper 2011-01-2548, 2011, doi:10.4271/2011-01-2548.