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
Systematic Maintenance of Safety Cases to Reduce Risk
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
2016 (engelsk)Inngår i: Lecture Notes in Computer Science, vol. 9923, 2016, s. 17-29Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

The development of safety cases has become common practice in many safety critical system domains. Safety cases are costly since they need a significant amount of time and efforts to be produced. More- over, safety critical systems are expected to operate for a long period of time and constantly subject to changes during both development and operational phases. Hence, safety cases are built as living documents that should always be maintained to justify the safety status of the associated system and evolve as these system evolve. However, safety cases document highly interdependent elements (e.g., safety goals, evidence, assumptions, etc.) and even seemingly minor changes may have a major impact on them, and thus dramatically increase their cost. In this paper, we identify and discuss some challenges in the maintenance of safety cases. We also present two techniques that utilise safety contracts to facilitate the maintenance of safety cases, we discuss the roles of these techniques in coping with some of the identified maintenance challenges, and we finally discuss potential limitations and suggest some solutions.

sted, utgiver, år, opplag, sider
2016. s. 17-29
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9923
Emneord [en]
Safety CaseSafety ArgumentMaintenanceFTASensitivity AnalysisSafety ContractsImpact Analysis
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-32882DOI: 10.1007/978-3-319-45480-1_2ISI: 000387734000003Scopus ID: 2-s2.0-84988350318ISBN: 9783319454795 (tryckt)OAI: oai:DiVA.org:mdh-32882DiVA, id: diva2:955813
Konferanse
4th International Workshop on Assurance Cases for Software-intensive Systems ASSURE2016, 20-23 Sep 2016, Trondheim, Norway
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: 2016-08-26 Laget: 2016-08-24 Sist oppdatert: 2019-04-23bibliografisk kontrollert

Open Access i DiVA

fulltext(949 kB)78 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 949 kBChecksum SHA-512
bac8f5736ba5001cdb0ec38d806e301423bd5237010aeae8895414f02e614adc71a0ec118c24fb0db027440070801cb763bf72b5d51327fec098ac401a5ce415
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

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: 78 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 60 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