Jaradat, Omar Tawffeeq Saleem and Bate, Iain orcid.org/0000-0003-2415-8219 (2017) Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases. In: Proceedings - 2017 13th European Dependable Computing Conference, EDCC 2017. 13th European Dependable Computing Conference, EDCC 2017, 04-08 Sep 2017 IEEE , CHE , pp. 95-102.
Abstract
Changes to safety critical systems are inevitable and can impact the safety confidence about a system as their effects can refute articulated claims about safety or challenge the supporting evidence on which this confidence relies. In order to maintain the safety confidence under changes, system developers need to re-analyse and re-verify the system to generate new valid items of evidence. Identifying the effects of a particular change is a crucial step in any change management process as it enables system developers to estimate the required maintenance effort and reduce the cost by avoiding wider analyses and verification than strictly necessary. This paper presents a sensitivity analysis-based technique which aims at measuring the ability of a system to contain a change (i.e., robustness) without the need to make a major re-design. The proposed technique exploits the safety margins in the budgeted failure probabilities of events in a probabilistic fault-tree analysis to compensate for unaccounted deficits or changes due to maintenance. The technique utilises safety contracts to provide prescriptive data for what is needed to be revisited and verified to maintain system safety when changes happen. We demonstrate the technique on an aircraft wheel braking system.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting /republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
Keywords: | Change impact,Failure probabilities,Maintenance,Safety case,Sensitivity analysis |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 13 Feb 2018 16:40 |
Last Modified: | 16 Oct 2024 10:57 |
Published Version: | https://doi.org/10.1109/EDCC.2017.20 |
Status: | Published |
Publisher: | IEEE |
Identification Number: | 10.1109/EDCC.2017.20 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:127467 |