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
TLDR
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

TLDR
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

TLDR
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
TLDR
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

TLDR
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.

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

TLDR
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

TLDR
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

TLDR
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
TLDR
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

TLDR
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

TLDR
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.

Model-Based Verification of Safety Contracts

TLDR
The use of well-known modelling languages, such as UML, to model a software system, and the use of OCL to express the system safety contracts within UML are proposed, which allows to perform an early safety verification, which increases the confidence of software engineers while designing the system.

An evidential reasoning approach for assessing confidence in safety evidence

TLDR
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
TLDR
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.

Electronic Communications of the EASST Volume 46 ( 2011 ) Proceedings of the 11 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2011 ) Positioning Verification in the Context of Software / System Certification

TLDR
The nature of certification in the context of critical systems is addressed, decomposing it, by means of a new philosophical framework, into four aspects: evidence, confidence, determination and certification.

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

TLDR
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