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
Systematic Maintenance of Safety Cases to Reduce Risk
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
2016 (English)In: Lecture Notes in Computer Science, vol. 9923, 2016, p. 17-29Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2016. p. 17-29
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9923
Keywords [en]
Safety CaseSafety ArgumentMaintenanceFTASensitivity AnalysisSafety ContractsImpact Analysis
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-32882DOI: 10.1007/978-3-319-45480-1_2ISI: 000387734000003Scopus ID: 2-s2.0-84988350318ISBN: 9783319454795 (print)OAI: oai:DiVA.org:mdh-32882DiVA, id: diva2:955813
Conference
4th International Workshop on Assurance Cases for Software-intensive Systems ASSURE2016, 20-23 Sep 2016, Trondheim, Norway
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: 2016-08-26 Created: 2016-08-24 Last updated: 2019-04-23Bibliographically approved

Open Access in DiVA

fulltext(949 kB)330 downloads
File information
File name FULLTEXT01.pdfFile size 949 kBChecksum SHA-512
bac8f5736ba5001cdb0ec38d806e301423bd5237010aeae8895414f02e614adc71a0ec118c24fb0db027440070801cb763bf72b5d51327fec098ac401a5ce415
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

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: 330 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 234 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