Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

Omar Jaradat; Iain Bate; Sasikumar Punnekkat

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

Omar Jaradat, Iain Bate, Sasikumar Punnekkat

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

A safety case contains safety arguments together with sup- porting evidence that together should demonstrate that a system is acceptably safe. System changes pose a challenge to the soundness and cogency of the safety case argument. Maintaining safety arguments is a painstaking process because it requires performing a change impact analysis through interdependent elements. Changes are often performed years after the deployment of a system making it harder for safety case developers to know which parts of the argument are affected. Contracts have been proposed as a means for helping to manage changes. There has been significant work that discusses how to represent and to use them but there has been little on how to derive them. In this paper, we pro- pose a sensitivity analysis approach to derive contracts from Fault Tree Analyses and use them to trace changes in the safety argument, thus facilitating easier maintenance of the safety argument.

Original language	Undefined/Unknown
Title of host publication	Reliable Software Technologies – Ada-Europe
Pages	162-176
Number of pages	15
Publication status	Published - 2015

Cite this

@inproceedings{6bbb7653b12e4dbd8a229ea838f53736,

title = "Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases",

abstract = "A safety case contains safety arguments together with sup- porting evidence that together should demonstrate that a system is acceptably safe. System changes pose a challenge to the soundness and cogency of the safety case argument. Maintaining safety arguments is a painstaking process because it requires performing a change impact analysis through interdependent elements. Changes are often performed years after the deployment of a system making it harder for safety case developers to know which parts of the argument are affected. Contracts have been proposed as a means for helping to manage changes. There has been significant work that discusses how to represent and to use them but there has been little on how to derive them. In this paper, we pro- pose a sensitivity analysis approach to derive contracts from Fault Tree Analyses and use them to trace changes in the safety argument, thus facilitating easier maintenance of the safety argument.",

author = "Omar Jaradat and Iain Bate and Sasikumar Punnekkat",

year = "2015",

language = "Undefined/Unknown",

pages = "162--176",

booktitle = "Reliable Software Technologies – Ada-Europe",

}

TY - GEN

T1 - Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

AU - Jaradat, Omar

AU - Bate, Iain

AU - Punnekkat, Sasikumar

PY - 2015

Y1 - 2015

N2 - A safety case contains safety arguments together with sup- porting evidence that together should demonstrate that a system is acceptably safe. System changes pose a challenge to the soundness and cogency of the safety case argument. Maintaining safety arguments is a painstaking process because it requires performing a change impact analysis through interdependent elements. Changes are often performed years after the deployment of a system making it harder for safety case developers to know which parts of the argument are affected. Contracts have been proposed as a means for helping to manage changes. There has been significant work that discusses how to represent and to use them but there has been little on how to derive them. In this paper, we pro- pose a sensitivity analysis approach to derive contracts from Fault Tree Analyses and use them to trace changes in the safety argument, thus facilitating easier maintenance of the safety argument.

AB - A safety case contains safety arguments together with sup- porting evidence that together should demonstrate that a system is acceptably safe. System changes pose a challenge to the soundness and cogency of the safety case argument. Maintaining safety arguments is a painstaking process because it requires performing a change impact analysis through interdependent elements. Changes are often performed years after the deployment of a system making it harder for safety case developers to know which parts of the argument are affected. Contracts have been proposed as a means for helping to manage changes. There has been significant work that discusses how to represent and to use them but there has been little on how to derive them. In this paper, we pro- pose a sensitivity analysis approach to derive contracts from Fault Tree Analyses and use them to trace changes in the safety argument, thus facilitating easier maintenance of the safety argument.

M3 - Conference contribution

SP - 162

EP - 176

BT - Reliable Software Technologies – Ada-Europe

ER -