A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis

  • Irfan Sljivo
  • Barbara Gallina
  • Jan Carlson
  • Hans Hansson
  • Stefano Puri
Conference paper

DOI: 10.1007/978-3-319-14130-5_18

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8919)
Cite this paper as:
Sljivo I., Gallina B., Carlson J., Hansson H., Puri S. (2014) A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis. In: Schaefer I., Stamelos I. (eds) Software Reuse for Dynamic Systems in the Cloud and Beyond. ICSR 2015. Lecture Notes in Computer Science, vol 8919. Springer, Cham

Abstract

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 reuse of safety artefacts.

To facilitate reuse of safety artefacts we provide a method to generate reusable safety case argument-fragments that include supporting evidence related to safety analysis. The generation is performed from safety contracts that capture safety-relevant behaviour of components within assumption/guarantee pairs backed up by the supporting evidence. We illustrate our approach by applying it to an airplane wheel braking system example.

Keywords

Component- and contract-based architectures Composi- tional safety analysis and argumentation Safety argumentation reuse 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Irfan Sljivo
    • 1
  • Barbara Gallina
    • 1
  • Jan Carlson
    • 1
  • Hans Hansson
    • 1
  • Stefano Puri
    • 2
  1. 1.Mälardalen Real-Time Research CentreMälardalen UniversityVästeråsSweden
  2. 2.Intecs, SpAPisaItaly

Personalised recommendations