DocumentCode
569280
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
fYear
2012
fDate
18-20 July 2012
Firstpage
199
Lastpage
208
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on
Conference_Location
Paris
Print_ISBN
978-1-4673-2156-3
Type
conf
Filename
6299215
Link To Document