A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis
- 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
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.
KeywordsComponent- and contract-based architectures Composi- tional safety analysis and argumentation Safety argumentation reuse
Unable to display preview. Download preview PDF.