Search For:

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