Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures
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).
Keywordsmodel-based safety assessment shared resources modular avionics safety architectural patterns
Unable to display preview. Download preview PDF.
- 1.SAE AEROSPACE, Aerospace recommended practice – Guidelines and Methods for conducting the safety assessment – SAE ARP4761Google Scholar
- 2.EUROCAE / SAE AEROSPACE, Aerospace recommended practice – Guidelines for Development of Civil Aircraft and Systems –EUROCAE ED-79A / SAE ARP 4754AGoogle Scholar
- 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
- 5.Armoush, A.: Design Patterns for Safety critical Embedded Systems, Ph.D. Thesis Report (2010)Google Scholar
- 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.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