https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-9347-1949
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2415-8219
2017 (English)Report (Other academic)
Abstract [en]

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 due to changes, system developers need to re-analyse and re-verify the system to generate new valid items of evidence. Moreover, 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 technique exploits the safety margins in the assigned failure probabilities to the events of a probabilistic fault-tree analysis to compensate some potential deficits in the overall failure probability budget due to changes. The technique also 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 a realistic safety critical system.

Place, publisher, year, edition, pages
Västerås, Sweden: Mälardalen Real-Time Research Centre, Mälardalen University , 2017.
Series
MRTC Reports, ISSN 1404-3041
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-35495ISRN: MDH-MRTC-317/2017-1-SEOAI: oai:DiVA.org:mdh-35495DiVA, id: diva2:1104495
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsFuture factories in the CloudSafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication
Funder
EU, Horizon 2020, 692529 VinnovaAvailable from: 2017-06-01 Created: 2017-06-01 Last updated: 2019-04-16Bibliographically approved

Open Access in DiVA

fulltext(1158 kB)189 downloads
File information
File name FULLTEXT01.pdfFile size 1158 kBChecksum SHA-512
c663671dad1c513c633412cc9cef001ec780ab422632a9a3a445d5d844755343f3f8bc21c60ecbf35f1332e36c2d07831dfd816b1072a79e87be465d55ed15a6
Type fulltextMimetype application/pdf

Authority records

Jaradat, OmarBate, Iain

Search in DiVA

By author/editor
Jaradat, OmarBate, Iain
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 189 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 205 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf