You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Using Sensitivity Analysis to Facilitate The Maintenance of Safety Cases

Fulltext:


Authors:

Omar Jaradat, Iain Bate, Sasikumar Punnekkat

Research groups:

Dependable Software Engineering
Safety-Critical Engineering

Publication Type:

Conference/Workshop Paper

Venue:

The 20th International Conference on Reliable Software Technologies

Publisher:

Springer International Publishing

DOI:

10.1007/978-3-319-19584-1_11

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.

Bibtex

@inproceedings{Jaradat3860,
author = {Omar Jaradat and Iain Bate and Sasikumar Punnekkat},
title = {Using Sensitivity Analysis to Facilitate The Maintenance of Safety Cases},
isbn = {978-3-319-19584-1},
editor = {Juan Antonio de la Puente, Tullio Vardanega},
month = {June},
year = {2015},
booktitle = {The 20th International Conference on Reliable Software Technologies},
publisher = {Springer International Publishing},
url = {http://www.es.mdu.se/publications/3860-}
}