mdh.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, 17-29 p.Conference 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. 17-29 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9923
Keyword [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: 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
Available from: 2016-08-26 Created: 2016-08-24 Last updated: 2016-12-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Jaradat, OmarBate, Iain
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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