Dynamic Safety Cases for Through-Life Safety Assurance

[摘要] 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.

[发布日期] 2015-05-16

[学科分类] 软件