https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-9347-1949
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-2415-8219
2017 (Engelska)Rapport (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Västerås, Sweden: Mälardalen Real-Time Research Centre, Mälardalen University , 2017.
Serie
MRTC Reports, ISSN 1404-3041
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-35495ISRN: MDH-MRTC-317/2017-1-SEOAI: oai:DiVA.org:mdh-35495DiVA, id: diva2:1104495
Projekt
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsFuture factories in the CloudSafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication
Forskningsfinansiär
EU, Horisont 2020, 692529 VinnovaTillgänglig från: 2017-06-01 Skapad: 2017-06-01 Senast uppdaterad: 2019-04-16Bibliografiskt granskad

Open Access i DiVA

fulltext(1158 kB)163 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1158 kBChecksumma SHA-512
c663671dad1c513c633412cc9cef001ec780ab422632a9a3a445d5d844755343f3f8bc21c60ecbf35f1332e36c2d07831dfd816b1072a79e87be465d55ed15a6
Typ fulltextMimetyp application/pdf

Person

Jaradat, OmarBate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Jaradat, OmarBate, Iain
Av organisationen
Inbyggda system
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 163 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 146 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf