Sciweavers

ADAEUROPE
2015
Springer

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

7 years 11 months ago
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases
Abstract. A safety case contains safety arguments together with supporting 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 propose 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.
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
Added 13 Apr 2016
Updated 13 Apr 2016
Type Journal
Year 2015
Where ADAEUROPE
Authors Omar Jaradat, Iain Bate, Sasikumar Punnekkat
Comments (0)