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

  • Marion Morel
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8822)


Increasing complexity of avionics systems leads to reconsider methods that are used today to analyze them from a safety point of view

This paper presents how the Model-based techniques can be used for safety assessment in early validation to support flexible and rapid prototyping of integrated systems (such as Integrated Modular Avionics and Cockpit Display), in order to evaluate and compare several envisaged architectures with their compliance to the safety objectives (under nominal and dispatch conditions).


model-based safety assessment shared resources modular avionics safety architectural patterns 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    SAE AEROSPACE, Aerospace recommended practice – Guidelines and Methods for conducting the safety assessment – SAE ARP4761Google Scholar
  2. 2.
    EUROCAE / SAE AEROSPACE, Aerospace recommended practice – Guidelines for Development of Civil Aircraft and Systems –EUROCAE ED-79A / SAE ARP 4754AGoogle Scholar
  3. 3.
    Arnold, A., Point, G., Griffault, A., Rauzy, A.: LaBRI, Université Bordeaux I and CNRS (UMR5800). The Altarica Formalism for Describing Concurrent Systems. Fundamenta Informaticae 34 (2000)Google Scholar
  4. 4.
    Rauzy, A.: Mode automata and their compilation into fault. Reliability Engineering and System Safety 78, 1–12 (2002)CrossRefGoogle Scholar
  5. 5.
    Armoush, A.: Design Patterns for Safety critical Embedded Systems, Ph.D. Thesis Report (2010)Google Scholar
  6. 6.
    Sagaspe, L.: Allocation sûre dans les systèmes aéronautiques: Modélisation, Vérification et Génération,, Ph.D. Thesis Report, Université Bordeaux 1 (2008)Google Scholar
  7. 7.
    Seguin, C., Papadopoulos, C., et al.: Model-based safety assessment for the three stages of refinement ofthe system development process in ARP4754A, SAE 2011 AeroTech (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Marion Morel
    • 1
  1. 1.THALES AVIONICS S.A.S.ToulouseFrance

Personalised recommendations