Generation of Safety Case Argument-Fragments from Safety Contracts

Šljivo, Irfan; Gallina, Barbara; Carlson, Jan; Hansson, Hans

doi:10.1007/978-3-319-10506-2_12

Cited by 21 publications

(16 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The idea is to build on top of MDSafeCer [17] and THRUST [27] and provide support for semi-automatic generation of pieces of safety case lines from process lines. We also plan to consider quadrant X,Y, and based on what presented by Sljivo et al [21], generate safety case fragments from product-based information, more specifically contract-based architectural models.…”

Section: Discussionmentioning

confidence: 99%

Towards Enabling Reuse in the Context of Safety-Critical Product Lines

Gallina¹

2015

2015 IEEE/ACM 5th International Workshop on Product Line Approaches in Software Engineering

Self Cite

View full text Add to dashboard Cite

In the context of safety-critical product lines, industries have to face an urgent challenge: reduction of time and cost for the creation of a safety case. A safety case is a contextualized structured argument constituted of process and product-based sub-arguments to show that a system is acceptably safe. Its creation is an extremely time-consuming and costly activity. To reduce time and cost, reuse capabilities are being investigated from different perspectives however currently no satisfying approach is available. In this paper, we propose a new methodological framework called Anti-Sisyphus. Anti-Sisyphus is aimed at enabling reuse by combining process lines, product lines and safety case lines. The systematization of what varies and what remains in common with respect to process as well as product elements in turns enables the systematization of what varies and remains in common in terms of process-based as well as productbased arguments within a safety case line. Anti-Sisyphus thus has the potential to enable a 3D reuse.

show abstract

Section: Discussionmentioning

confidence: 99%

Towards Enabling Reuse in the Context of Safety-Critical Product Lines

Gallina¹

2015

2015 IEEE/ACM 5th International Workshop on Product Line Approaches in Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…There are several notable approaches for safety case construction in the PLE context [14,26,35,37]. Work in [26] presents a method for assurance of configurable architectures, based on established safety case patterns [15], and it enables explicit management of the argumentation belonging to each system configuration.…”

mentioning

confidence: 99%

“…Although the automation reduces the effort of constructing a safety case for particular class of PLs, because of the underlying framework it is still necessary to perform perconfiguration analysis of safety case soundness and completeness. An approach based on safety contracts, can be found in [35,37], and its implementation is part of the AMASS Tool Platform [4]. Although potentially scalable to PL safety cases, work in [35] and [37] primarily focuses on a concept from ISO 26262, the so-called Safety Element out of Context (SEooC).…”

mentioning

confidence: 99%

“…An approach based on safety contracts, can be found in [35,37], and its implementation is part of the AMASS Tool Platform [4]. Although potentially scalable to PL safety cases, work in [35] and [37] primarily focuses on a concept from ISO 26262, the so-called Safety Element out of Context (SEooC). In contrast, the approach in the present paper considers safety cases for arbitrary PLs and leverages the CBS which is more formal and more expressive.…”

mentioning

confidence: 99%

“…In contrast, the approach in the present paper considers safety cases for arbitrary PLs and leverages the CBS which is more formal and more expressive. Furthermore, unlike [35] and [37], the obtained safety case argues for the safety of the overall system in each of its configurations, compared to arguing only about the SEooC. A detailed discussion on related work, can be found in Section 6.…”

mentioning

confidence: 99%

See 2 more Smart Citations

Constructing product-line safety cases from contract-based specifications

Nešić

Nyberg

Gallina

2019

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Self Cite

View full text Add to dashboard Cite

Safety cases are used to argue that safety-critical systems satisfy the properties determined to mitigate the potential hazards in the systems deployment environment. Although primarily a manual task, safety cases have been successfully created for single systems. However, when systems with a high number of configurations are considered, typically developed as a Product Line (PL), considering each possible configuration and constructing sound and complete safety-case argumentation is challenging. This paper presents a novel and general approach for the construction of a safety case for an arbitrary PL that is based on Contract-Based Specification (CBS) of the PL. Starting from a general CBS framework, a PL extension of the CBS framework is presented and it is shown that the extension preserves the properties of the original framework. Then, given a CBS specification of a PL, a set of transformation rules for the construction of the safety case argumentation-structure is defined. Finally, the approach is exemplified on a simplified, but real, and currently produced system by Scania CV AB.

show abstract

Development of Structured Arguments for Assurance Case

Sklyar

Kharchenko

2021

Studies in Computational Intelligence

View full text Add to dashboard Cite

Generation of Safety Case Argument-Fragments from Safety Contracts

Cited by 21 publications

References 7 publications

Towards Enabling Reuse in the Context of Safety-Critical Product Lines

Towards Enabling Reuse in the Context of Safety-Critical Product Lines

Constructing product-line safety cases from contract-based specifications

Development of Structured Arguments for Assurance Case

Contact Info

Product

Resources

About