Title :
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal
Author :
Denney, E. ; Pai, G. ; Pohl, J.
Author_Institution :
SGT, NASA Ames Res. Center, Moffett Field, CA, USA
Abstract :
We describe a method for the automatic assembly of aviation safety cases by combining auto-generated argument fragments derived from the application of a formal method to software, with manually created argument fragments derived from system safety analysis. Our approach emphasizes the heterogeneity of safety-relevant information and we show how such diverse content can be integrated into a single safety case. We illustrate our approach by applying it to an experimental Unmanned Aircraft System (UAS).
Keywords :
aerospace computing; aerospace safety; autonomous aerial vehicles; avionics; program assemblers; systems analysis; autogenerated argument fragment; automatic assembly; formal method; heterogeneous aviation safety; nonformal method; system safety analysis; unmanned aircraft system; Aerospace control; Aircraft; Atmospheric modeling; Context; Hazards; Software; Automation; Aviation; Formal Methods; Heterogeneity; Safety; Safety cases; Unmanned Aircraft;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on
Conference_Location :
Paris
Print_ISBN :
978-1-4673-2156-3
