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 Institute of Electrical and Electronics Engineers Inc. , 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,Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality
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: 03 Oct 2021 10:16
Published Version: https://doi.org/10.1109/EDCC.2017.20
Status: Published
Publisher: Institute of Electrical and Electronics Engineers Inc.
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