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
A Method to Generate Reusable Safety Case Argument-Fragments from Compositional Safety Analysis
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7382-8437
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-8461-0230
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-7235-6888
Show others and affiliations
2017 (English)In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 131, 570-590 p.Article in journal (Refereed) Published
Abstract [en]

Safety-critical systems usually need to be accompanied by an explained and well-founded body of evidence to show that the system is acceptably safe. While reuse within such systems covers mainly code, reusing accompanying safety artefacts is limited due to a wide range of context dependencies that need to be satisfied for safety evidence to be valid in a different context. Currently, the most commonly used approaches that facilitate reuse lack support for systematic reuse of safety artefacts. To facilitate systematic reuse of safety artefacts we provide a method to generate reusable safety case argument-fragments that include supporting evidence related to compositional safety analysis. The generation is performed from safety contracts that capture safety-relevant behaviour of components in assumption/guarantee pairs backed up by the supporting evidence. We evaluate the feasibility of our approach in a real-world case study where a safety related component developed in isolation is reused within a wheel-loader.

Place, publisher, year, edition, pages
Sweden: Elsevier , 2017. Vol. 131, 570-590 p.
Keyword [en]
Component-based architectures, Contract-based architectures, Compositional safety analysis, Modular argumentation, Safety argumentation reuse
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-33767DOI: 10.1016/j.jss.2016.07.034ISI: 000407657500032Scopus ID: 2-s2.0-84997796738OAI: oai:DiVA.org:mdh-33767DiVA: diva2:1048528
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems
Note

Journal of Systems and Software: Special Issue on Software Reuse SR-JSS 2016

Available from: 2016-11-21 Created: 2016-11-21 Last updated: 2017-08-31Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Sljivo, IrfanGallina, BarbaraCarlson, JanHansson, Hans
By organisation
Embedded SystemsSchool of Innovation, Design and Engineering
In the same journal
Journal of Systems and Software
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 28 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