A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Dynamic Safety Cases for Through-Life Safety Assurance
2015
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
We describe dynamic safety cases, a novel operationalization of the concept of through-life safety assurance, whose goal is to enable proactive safety management. Using an example from the aviation systems domain, we motivate our approach, its underlying principles, and a lifecycle. We then identify the key elements required to move towards a formalization of the associated framework.
doi:10.1109/icse.2015.199
dblp:conf/icse/DenneyPH15
fatcat:c2cdpwxufvdm5efqyghk4fza3m