mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Rapport (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Västerås, Sweden: Mälardalen Real-Time Research Centre, Mälardalen University , 2017.
Serie
MRTC Reports, ISSN 1404-3041
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-35495ISRN: MDH-MRTC-317/2017-1-SEOAI: oai:DiVA.org:mdh-35495DiVA, id: diva2:1104495
Prosjekter
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsFuture factories in the CloudSafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication
Forskningsfinansiär
EU, Horizon 2020, 692529 VinnovaTilgjengelig fra: 2017-06-01 Laget: 2017-06-01 Sist oppdatert: 2019-04-16bibliografisk kontrollert

Open Access i DiVA

fulltext(1158 kB)16 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1158 kBChecksum SHA-512
c663671dad1c513c633412cc9cef001ec780ab422632a9a3a445d5d844755343f3f8bc21c60ecbf35f1332e36c2d07831dfd816b1072a79e87be465d55ed15a6
Type fulltextMimetype application/pdf

Personposter BETA

Jaradat, OmarBate, Iain

Søk i DiVA

Av forfatter/redaktør
Jaradat, OmarBate, Iain
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 16 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 115 treff
RefereraExporteraLink to record
Permanent link

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