A Method to Generate Reusable Safety Case Argument-Fragments from Compositional Safety Analysis
(English)In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228Article in journal (Refereed) In press
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
Component-based architectures, Contract-based architectures, Compositional safety analysis, Modular argumentation, Safety argumentation reuse
IdentifiersURN: urn:nbn:se:mdh:diva-33767DOI: 10.1016/j.jss.2016.07.034OAI: oai:DiVA.org:mdh-33767DiVA: diva2:1048528
ProjectsSYNOPSIS - Safety Analysis for Predictable Software Intensive Systems
Journal of Systems and Software: Special Issue on Software Reuse SR-JSS 20162016-11-212016-11-212016-12-01Bibliographically approved