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
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 (Engelska)Ingår i: Lecture Notes in Computer Science, vol. 9923, 2016, s. 17-29Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2016. s. 17-29
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9923
Nyckelord [en]
Safety CaseSafety ArgumentMaintenanceFTASensitivity AnalysisSafety ContractsImpact Analysis
Nationell ämneskategori
Datorsystem
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
Konferens
4th International Workshop on Assurance Cases for Software-intensive Systems ASSURE2016, 20-23 Sep 2016, Trondheim, Norway
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: 2016-08-26 Skapad: 2016-08-24 Senast uppdaterad: 2019-04-23Bibliografiskt granskad

Open Access i DiVA

fulltext(949 kB)283 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 949 kBChecksumma SHA-512
bac8f5736ba5001cdb0ec38d806e301423bd5237010aeae8895414f02e614adc71a0ec118c24fb0db027440070801cb763bf72b5d51327fec098ac401a5ce415
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

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: 283 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.

doi
isbn
urn-nbn

Altmetricpoäng

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