|
| 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
| ASCII Text | x | ||
| Ewen Denney, Ganesh Pai, Josef Pohl, "Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 199-208, 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012. | |||
| BibTex | x | ||
| @article{ 10.1109/ICECCS.2012.20, author = {Ewen Denney and Ganesh Pai and Josef Pohl}, title = {Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {2012}, isbn = {978-1-4673-2156-3}, pages = {199-208}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.20}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal SN - 978-1-4673-2156-3 SP199 EP208 A1 - Ewen Denney, A1 - Ganesh Pai, A1 - Josef Pohl, PY - 2012 KW - Software KW - Aircraft KW - Hazards KW - Aerospace control KW - Atmospheric modeling KW - Context KW - Formal Methods KW - Safety KW - Safety cases KW - Automation KW - Aviation KW - Heterogeneity KW - Unmanned Aircraft VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER - | |||
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.