Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases

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

Metadata

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:
  • Published: 28 November 2017
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: 02 Dec 2022 01:04
Published Version: https://doi.org/10.1109/EDCC.2017.20
Status: Published
Publisher: IEEE
Refereed: No
Identification Number: https://doi.org/10.1109/EDCC.2017.20
Related URLs:

Download

Filename: camera_ready_version.pdf

Description: camera_ready_version

Share / Export

Statistics