The Community for Technology Leaders
RSS Icon
Subscribe
Paris, France France
July 18, 2012 to July 20, 2012
ISBN: 978-1-4673-2156-3
pp: 199-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).
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, 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
11 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool