Dynamic Safety Cases for Through-Life Safety AssuranceWe 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.
Document ID
20150011054
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Denney, Ewen (Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Pai, Ganesh (Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Habli, Ibrahim (York Univ. United Kingdom)
Date Acquired
June 18, 2015
Publication Date
May 16, 2015
Subject Category
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN21593
Meeting Information
Meeting: International Conference on Software Engineering
Location: Fierenze
Country: Italy
Start Date: May 16, 2015
End Date: May 24, 2015
Sponsors: Institute of Electrical and Electronics Engineers