This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal
Paris, France France
July 18-July 20
ISBN: 978-1-4673-2156-3
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).
Index Terms:
Software,Aircraft,Hazards,Aerospace control,Atmospheric modeling,Context,Formal Methods,Safety,Safety cases,Automation,Aviation,Heterogeneity,Unmanned Aircraft
Citation:
Ewen Denney, Ganesh Pai, Josef Pohl, "Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal," iceccs, pp.199-208, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012
Usage of this product signifies your acceptance of the Terms of Use.