Title :
Dynamic Safety Cases for Through-Life Safety Assurance
Author :
Denney, Ewen ; Pai, Ganesh ; Habli, Ibrahim
Author_Institution :
SGT / NASA Ames Res. Center, Moffett Field, CA, USA
Abstract :
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.
Keywords :
safety-critical software; aviation systems domain; dynamic safety cases; proactive safety management; safety lifecycle; safety principles; through-life safety assurance; through-life safety assurance concept; Biomedical monitoring; Cognition; Monitoring; Runtime; Safety management; Temperature sensors; Dynamic safety case; Lifecycle processes; Safety assurance; Safety management;
Conference_Titel :
Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on
Conference_Location :
Florence
DOI :
10.1109/ICSE.2015.199
