Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures

@inproceedings{Morel2014ModelBasedSA,
  title={Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures},
  author={Marion Morel},
  booktitle={IMBSA},
  year={2014}
}
  • Marion Morel
  • Published in IMBSA 27 October 2014
  • Computer Science
Increasing complexity of avionics systems leads to reconsider methods that are used today to analyze them from a safety point of view 

Tiered Model-Based Safety Assessment

TLDR
A way to specify, formalize and implement the relations between assessment stages is proposed, illustrated on a Remotely Piloted Aircraft System (RPAS) use-case.

Efficient Anytime Techniques for Model-Based Safety Analysis

TLDR
Safety analysis investigates system behavior under faulty conditions and includes the construction of all minimal cut sets for a given property and the computation of the corresponding probability.

Fault management via dynamic reconfiguration for integrated modular avionics

The purpose of this research is to investigate fault management methodologies within Integrated Modular Avionics (IMA) systems, and develop techniques by which the use of dynamic reconfiguration can

Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0

TLDR
This study proposes a method to assess the availability of the IMA system based on the thinking of model-based safety analysis that can enhance the safety assessment of safety-critical systems effectively, assist the design of IMA systems, and reduce the amount of errors during the programming process of the safety model.

A pattern-based methodology for reliability assessment of safety instrumented systems

Safety Instrumented Systems (SIS) act as important safety barriers in industrial systems for preventing hazardous accidents. It is therefore significant to study the reliability issues of SIS. As a

Modeling patterns for reliability assessment of safety instrumented systems

Application of model based system engineering to IMA development activities

TLDR
Model Based Systems Engineering can be used throughout the IMA system development process, including the following phases: requirements capture, architecture definition, configuration, integration and verification.

Modeling Patterns for Performance Analysis of Production and Safety Systems in Process Industry. (Modélisation des patterns d'analyse des performances des systèmes de production et de sûreté de fonctionnement dans l'industrie des procédés)

TLDR
Un ensemble varie de patterns de modelisation basee sur les patterns pour l'analyse des performances des systemes de production et de surete de fonctionnement, pour tester la pertinence des patterns of modelisation suggeres.

References

SHOWING 1-8 OF 8 REFERENCES

Safety Assessment of Design Patterns for Safety-Critical Embedded Systems

TLDR
This paper introduces a proposal for a safety assessment method for safety-critical systems design patterns which includes a safety metric based on the computation of the relative safety improvement achieved when using the design patterns under consideration.

Design patterns for safety-critical embedded systems

Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process,

The AltaRica Formalism for Describing Concurrent Systems

The AltaRica formalism is designed for describing complex systems consisting of a number of interacting components. Its semantics is expressed in terms of transition systems so that a system

Mode automata and their compilation into fault trees

  • A. Rauzy
  • Computer Science
    Reliab. Eng. Syst. Saf.
  • 2002

Design patterns for safety-critical systems

This article discusses the following topics: design issues for safety; safety vs. fault tolerance; shutdown design patterns; single channel patterns; dual channel patterns; dual-dual patterns;

LaBRI, Université Bordeaux I and CNRS (UMR5800)

  • The Altarica Formalism for Describing Concurrent Systems. Fundamenta Informaticae 34
  • 2000