Handling Consistency Between Safety and System Models

  title={Handling Consistency Between Safety and System Models},
  author={Tatiana Prosvirnova and E. Saez and Christel Seguin and Pierre Virelizier},
Safety analyses are of paramount importance for the development of embedded systems. In order to perform these analyses, safety engineers use different modeling techniques, such as, for instance, Fault Trees or Reliability Block Diagrams. One of the industrial development process challenges today is to ensure the consistency between safety models and system architectures. Model Based Safety Analysis (MBSA) is one of the newest modeling methods, which promises to ease the exchange of information… 
Synchronization of System Architecture and Safety Models: a Proof of Concept
This article presents model synchronization - a framework to ensure consistency between models coming from different engineering domains, based on S2ML (System Structure Modeling Language), using an Electro-Mechanical Actuator of an aileron for a small aircraft.
Towards a Co-simulation Based Model Assessment Process for System Architecture
This work proposes to extend the work done for the Model Identity Card and rely on detailed domain specific engineering ontologies and quantitative quality properties for models to express the requirements for the co-simulation components and to reduce the simulation quality loss induced by the co -simulation technologies.
Synchronization of System Architecture, Multi-physics and Safety Models
This article presents model synchronization, a framework to ensure consistency between models coming from different engineering domains, based on S2ML (System Structure Modeling Language), and shows how the introduced framework can be used to handle consistency between system architecture models.
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency
A model-based approach is proposed to follow, using system architecture models (MBSE) and failure propagation models (MBSA) to ensure and maintain the consistency between the safety analyses and the system design definition during system development iterations.


INSiDER: Incorporation of system and safety analysis models using a dedicated reference model
  • M. ZellerK. Höfig
  • Computer Science
    2016 Annual Reliability and Maintainability Symposium (RAMS)
  • 2016
This approach interconnects system design and safety analysis models efficiently using a dedicated reference model to guarantee that information within both kind of models are consistent during the development life-cycle.
AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment
This report describes how the AADL Error Model annex supports the safety assessment processes and techniques presented in SAE Standard ARP4761 and presents examples of using the Error Model Annex with those techniques.
The AltaRica 3.0 project for model-based safety assessment
The AltaRica 3.0 project is to design a new version of AlTARica, and to develop a complete set of authoring, simulation and assessment tools to perform safety analyses: virtual experiments on systems, via models, calculation of different kinds of reliability indicators, etc.
SOPHIA: a Modeling Language for Model-Based Safety Engineering
SOPHIA is presented, a modelling language that formalizes safety-related concepts and their relations with system modelling constructs and focuses on ac- cident models and on how to achieve confidence that the frequency of possible accidents will be tolerable.
Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System
An explorative case study on multiple evolution scenarios of a factory automation system and how the evolution steps in the different models relate to each other is described.
A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis
This paper proposes the SAML framework as a formal foundation for both qualitative and quantitative formal model-based safety analysis, and presents sound transformation of the formalism into two state of the art model-checking notations.
An approach to optimization of fault tolerant architectures using HiP‐HOPS
The study shows that HiP‐HOPS can overcome the limitations of earlier work based on Reliability Block Diagrams by enabling dependability analysis and optimization of architectures that may have a network topology and exhibit multiple failure modes.
Software quality engineering in the new ISO standard: ISO/IEC 24748 - systems and software engineering --- guide for life cycle management
This article analyses the recently published ISO/IEC 24748 systems and software lifecycle management guide against other standards and academic material, and proposes additions to make to the standard for it to properly promote and support software quality engineering.
Mode automata and their compilation into fault trees
  • A. Rauzy
  • Computer Science
    Reliab. Eng. Syst. Saf.
  • 2002