Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal
2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)
By Ewen Denney,Ganesh Pai,Josef Pohl
Issue Date:July 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 analysi...