Paris, France France
July 18, 2012 to July 20, 2012
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).
Software, Aircraft, Hazards, Aerospace control, Atmospheric modeling, Context, Formal Methods, Safety, Safety cases, Automation, Aviation, Heterogeneity, Unmanned Aircraft
Ewen Denney, Ganesh Pai, Josef Pohl, "Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal", ICECCS, 2012, Engineering of Complex Computer Systems, IEEE International Conference on, Engineering of Complex Computer Systems, IEEE International Conference on 2012, pp. 199-208, doi:10.1109/ICECCS.2012.20