Dynamic Safety Cases for Through-Life Safety Assurance

Ewen Denney, Ganesh Pai, Ibrahim Habli
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