A Model-Driven Safety Certification Method for Process Compliance

Gallina, Barbara

doi:10.1109/issrew.2014.30

Cited by 38 publications

(15 citation statements)

References 13 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%

“…In the long run, however, by assuming that that all the dependencies, especially the safety-critical ones, can be traced and managed, it offers appealing advantages. Single safety cases (related to single products developed according specific single processes), for instance, can be derived in a rather straightforward manner, by applying MDSafeCer [17]. After having configured a product and its corresponding process, the corresponding safety case can be obtained by pruning the safety case line in accordance with the choices performed during the product as well as process configuration.…”

Section: Anti-sisyphus Overviewmentioning

confidence: 99%

See 1 more Smart Citation

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%

Section: Anti-sisyphus Overviewmentioning

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

“…However, this pattern is not exhaustive and does not identify specific confidence factors. Similar pattern for process-based arguments have also been proposed using model-driven safety certification approaches [19]. By combining this approach of a secondary confidence argument with the various factors that influence the assessor's confidence, we propose a more exhaustive pattern that covers the specific reasons for having confidence in the evidence.…”

Section: Related Workmentioning

confidence: 91%

An evidential reasoning approach for assessing confidence in safety evidence

Nair

Walkinshaw

Kelly

2015

2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)

View full text Add to dashboard Cite

Abstract-Safety cases present the arguments and evidence that can be used to justify the acceptable safety of a system. Many secondary factors such as the tools used, the techniques applied, and the experience of the people who created the evidence, can affect an assessor's confidence in the evidence cited by a safety case. One means of reasoning about this confidence and its inherent uncertainties is to present a 'confidence argument' that explicitly justifies the provenance of the evidence used. In this paper, we propose a novel approach to automatically construct these confidence arguments by enabling assessors to provide individual judgements concerning the trustworthiness and the appropriateness of the evidence. The approach is based on Evidential Reasoning and enables the derivation of a quantified aggregate of the overall confidence. The proposed approach is supported by a prototype tool (EviCA) and has been evaluated using the Technology Acceptance Model.

show abstract

“…The reason is that ISO 26262-8:11.4.6 states that a tool developed according to the DO330 standard can be considered sufficient for being suitable for ISO 26262 ASIL-D projects. The interested reader may refer to [17] for further details on the standards comparison. Figure 4 represents the SPEM 2.0/EPF-based safety oriented tool qualification process line.…”

Section: A Cross-domain Tool Qualification Process Linementioning

confidence: 99%

Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts

Gallina

Kashiyarandi

Zugsbratl

et al. 2014

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The development and verification of safety-critical systems increasingly relies on the use of tools which automate/replace/supplement complex verification and/or development tasks. The safety of such systems risks to be compromised, if the tools fail. To mitigate this risk, safety standards (e.g. DO-178C/DO330, IEC 61508) define prescriptive tool qualification processes. Compliance with these processes can be required for (re-)certification purposes. To enable reuse and thus reduce time and cost related to certification, cross-domain tool manufacturers need to understand what varies and what remains in common when transiting from one domain to another. To ease reuse, in this paper we focus on verification tools and model a cross-domain tool qualification process line. Finally, we discuss how reusable cross-domain process-based arguments can be obtained.

show abstract

A Model-Driven Safety Certification Method for Process Compliance

Cited by 38 publications

References 13 publications

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

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

An evidential reasoning approach for assessing confidence in safety evidence

Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts

Contact Info

Product

Resources

About