Systematic Maintenance of Safety Cases to Reduce Risk

Omar Jaradat; Iain Bate

doi:10.1007/978-3-319-45480-1_2

Systematic Maintenance of Safety Cases to Reduce Risk

Omar Jaradat, Iain Bate

Computer Science

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

Abstract

The development of safety cases has become common practice in many safety critical system domains. Safety cases are costly since they need a significant amount of time and efforts to be produced. More- over, safety critical systems are expected to operate for a long period of time and constantly subject to changes during both development and operational phases. Hence, safety cases are built as living documents that should always be maintained to justify the safety status of the associated system and evolve as these system evolve. However, safety cases document highly interdependent elements (e.g., safety goals, evidence, assumptions, etc.) and even seemingly minor changes may have a major impact on them, and thus dramatically increase their cost. In this paper, we identify and discuss some challenges in the maintenance of safety cases. We also present two techniques that utilise safety contracts to facilitate the maintenance of safety cases, we discuss the roles of these techniques in coping with some of the identified maintenance challenges, and we finally discuss potential limitations and suggest some solutions.

Original language	Undefined/Unknown
Title of host publication	Computer Safety, Reliability, and Security
Subtitle of host publication	SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Publisher	Springer
Pages	17-29
ISBN (Print)	978-3-319-45479-5
DOIs	https://doi.org/10.1007/978-3-319-45480-1_2
Publication status	Published - 2016
Event	4th International Workshop on Assurance Cases for Software-intensive Systems - Duration: 20 Sept 2016 → 23 Sept 2016

Publication series

Name	Lecture Notes in Computer Science
Volume	9923
ISSN (Print)	0302-9743

Conference

Conference	4th International Workshop on Assurance Cases for Software-intensive Systems
Abbreviated title	ASSURE 2016
Period	20/09/16 → 23/09/16

Access to Document

10.1007/978-3-319-45480-1_2

Cite this

@inproceedings{b7855401415d408b91551ff4e8d6c89b,

title = "Systematic Maintenance of Safety Cases to Reduce Risk",

abstract = "The development of safety cases has become common practice in many safety critical system domains. Safety cases are costly since they need a significant amount of time and efforts to be produced. More- over, safety critical systems are expected to operate for a long period of time and constantly subject to changes during both development and operational phases. Hence, safety cases are built as living documents that should always be maintained to justify the safety status of the associated system and evolve as these system evolve. However, safety cases document highly interdependent elements (e.g., safety goals, evidence, assumptions, etc.) and even seemingly minor changes may have a major impact on them, and thus dramatically increase their cost. In this paper, we identify and discuss some challenges in the maintenance of safety cases. We also present two techniques that utilise safety contracts to facilitate the maintenance of safety cases, we discuss the roles of these techniques in coping with some of the identified maintenance challenges, and we finally discuss potential limitations and suggest some solutions.",

author = "Omar Jaradat and Iain Bate",

year = "2016",

doi = "10.1007/978-3-319-45480-1_2",

language = "Undefined/Unknown",

isbn = "978-3-319-45479-5 ",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "17--29",

booktitle = "Computer Safety, Reliability, and Security",

address = "Germany",

note = "4th International Workshop on Assurance Cases for Software-intensive Systems ; Conference date: 20-09-2016 Through 23-09-2016",

}

Jaradat, O & Bate, I 2016, Systematic Maintenance of Safety Cases to Reduce Risk. in Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9923, Springer, pp. 17-29, 4th International Workshop on Assurance Cases for Software-intensive Systems, 20/09/16. https://doi.org/10.1007/978-3-319-45480-1_2

Systematic Maintenance of Safety Cases to Reduce Risk. / Jaradat, Omar; Bate, Iain.
Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Springer, 2016. p. 17-29 (Lecture Notes in Computer Science; Vol. 9923).

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

TY - GEN

T1 - Systematic Maintenance of Safety Cases to Reduce Risk

AU - Jaradat, Omar

AU - Bate, Iain

PY - 2016

Y1 - 2016

N2 - The development of safety cases has become common practice in many safety critical system domains. Safety cases are costly since they need a significant amount of time and efforts to be produced. More- over, safety critical systems are expected to operate for a long period of time and constantly subject to changes during both development and operational phases. Hence, safety cases are built as living documents that should always be maintained to justify the safety status of the associated system and evolve as these system evolve. However, safety cases document highly interdependent elements (e.g., safety goals, evidence, assumptions, etc.) and even seemingly minor changes may have a major impact on them, and thus dramatically increase their cost. In this paper, we identify and discuss some challenges in the maintenance of safety cases. We also present two techniques that utilise safety contracts to facilitate the maintenance of safety cases, we discuss the roles of these techniques in coping with some of the identified maintenance challenges, and we finally discuss potential limitations and suggest some solutions.

AB - The development of safety cases has become common practice in many safety critical system domains. Safety cases are costly since they need a significant amount of time and efforts to be produced. More- over, safety critical systems are expected to operate for a long period of time and constantly subject to changes during both development and operational phases. Hence, safety cases are built as living documents that should always be maintained to justify the safety status of the associated system and evolve as these system evolve. However, safety cases document highly interdependent elements (e.g., safety goals, evidence, assumptions, etc.) and even seemingly minor changes may have a major impact on them, and thus dramatically increase their cost. In this paper, we identify and discuss some challenges in the maintenance of safety cases. We also present two techniques that utilise safety contracts to facilitate the maintenance of safety cases, we discuss the roles of these techniques in coping with some of the identified maintenance challenges, and we finally discuss potential limitations and suggest some solutions.

U2 - 10.1007/978-3-319-45480-1_2

DO - 10.1007/978-3-319-45480-1_2

M3 - Conference contribution

SN - 978-3-319-45479-5

T3 - Lecture Notes in Computer Science

SP - 17

EP - 29

BT - Computer Safety, Reliability, and Security

PB - Springer

T2 - 4th International Workshop on Assurance Cases for Software-intensive Systems

Y2 - 20 September 2016 through 23 September 2016

ER -