Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128

@inproceedings{Gallina2016DerivingSC,
  title={Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128},
  author={Barbara Gallina and Elena G{\'o}mez-Mart{\'i}nez and Clara Benac Earle},
  booktitle={SPICE},
  year={2016}
}
According to EN 50129, manufacturers of rail vehicles shall justify via a safety case that their vehicles are adequately safe for their intended applications. MBASafe is a recently proposed and potentially innovative design and verification process. In the presence of compelling arguments concerning its adequacy as process evidence, MBASafe could support the safety claims within the required safety cases. In this paper, we contribute to partially justify the adequacy of MBASafe to act as… 

Deriving verification-related means of compliance for a model-based testing process

  • B. GallinaA. Andrews
  • Computer Science
    2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)
  • 2016
This paper adopts the safety case-based approach and explains how to semi-automatically derive means for compliance, aimed at arguing Fail-SafeMBT's compliance, and pioneer the interpretation of DO-331 in academic settings, validate MDSafeCer in the avionics domain and strengthen Fail- safeMBT by providing suggestions aimed at increasing its maturity level.

Modelling confidence in railway safety case

Compliance-aware engineering process plans: the case of space software engineering processes

This analysis is based on qualitative criteria targeting the effort dictated by task demands required to create a CaEPP for software development with ACCEPT, and finds that such a level is adequate since it responds to the information needs required by the ECSS-E-ST-40C framework.

How to increase efficiency with the certification of process compliance

This work defines how the combination of three approaches: the safety-oriented process line engineering approach, the process-based argumentation line approach, and the model driven certification-oriented approach are combined and which techniques, tools and guidelines should be used to implement the resulting approach.

Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems

  • Aiman GannousA. Andrews
  • Computer Science
    2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)
  • 2019
A concrete application of Model-Combinatorial based testing with an application to a case study showed that MCbt is more efficient and produces more safety evidences compared to state-of-the-art testing approaches.

Preventing Omission of Key Evidence Fallacy in Process-Based Argumentations

An approach is presented that validates the process models, generates the safety argumentations from the modified process models by using model-driven engineering principles that are free from the fallacies, and prevents the occurrence of fallacy, specifically, omission of key evidence in process-based argumentations.

Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

This work developed a formalization of CCDs in Higher-Order Logic (HOL), based on the algebraic approach, using the HOL4 theorem prover, which is a computer-based mathematical reasoning tool.

Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks

This paper developed a formalization of CCDs in Higher-Order Logic (HOL), based on the algebraic approach, using the HOL4 theorem prover, which is a computer-based mathematical reasoning tool.

Compliance of agilized (software) development processes with safety standards: a vision

The challenges are discussed, the role of existing means for compliance should be clarified/rethought and the compliance management vision is proposed, which is being implemented in the context of the EU ECSEL AMASS project.

A Barbell Strategy-oriented Regulatory Framework and Compliance Management

This paper proposes a vision consisting of a Barbell strategy-oriented regulatory framework and compliance management, where regulators and manufacturers/innovators, both, adopt a Bar Bell strategy for reaching an optimal solution in regulatory making, the former, and Compliance management, the latter.

References

SHOWING 1-10 OF 13 REFERENCES

A Model-Driven Safety Certification Method for Process Compliance

  • B. Gallina
  • Computer Science
    2014 IEEE International Symposium on Software Reliability Engineering Workshops
  • 2014
A model-driven safety certification method is proposed to derive process-related structures from which process-based arguments (those aimed at showing that a required development process has been applied according to the standard) can be generated and more easily reused.

Generation of Safety Case Argument-Fragments from Safety Contracts

This paper proposes an approach based on (semi-)automatic generation of argument-fragments from assumption/guarantee safety contracts that enables safety engineers to focus on increasing the confidence in the knowledge about the system, rather than documenting a safety case.

How to increase efficiency with the certification of process compliance

This work defines how the combination of three approaches: the safety-oriented process line engineering approach, the process-based argumentation line approach, and the model driven certification-oriented approach are combined and which techniques, tools and guidelines should be used to implement the resulting approach.

An evidential reasoning approach for assessing confidence in safety evidence

A novel approach to automatically construct confidence arguments by enabling assessors to provide individual judgements concerning the trustworthiness and the appropriateness of the evidence is proposed and enables the derivation of a quantified aggregate of the overall confidence.

Safety contract based design of software components

  • Andreas SöderbergR. Johansson
  • Business, Computer Science
    2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2013
Focus is to discuss the similarities and differences between the actual contents in conventional CBD-contracts and safety contracts, and rules for how to verify agreements of safety contracts and how to ensure safety contract validity.

Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards

In the railway domain, standards such as the EN5012x family prescribe processes to be followed for the management and certification of safety-critical systems. This results in a need to model proce

ArgoSPE: Model-Based Software Performance Engineering

ArgoSPE implements a performance evaluation process that builds on the principles of the software performance engineering (SPE), and prevents software engineers to model with SPN since they are obtained as a by-product of their UML models.

The application of Petri nets to failure analysis

The GreatSPN tool: recent enhancements

The main functionalities of GreatSPN2.0 are reviewed and some recently added features that significantly enhance the efficacy of the tool are presented.

Modelling with Generalized Stochastic Petri Nets

This book presents a unified theory of Generalized Stochastic Petri Nets together with a set of illustrative examples from different application fields to show how this methodology can be applied in a range of domains.