Abstract
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).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
SAE AEROSPACE, Aerospace recommended practice – Guidelines and Methods for conducting the safety assessment – SAE ARP4761
EUROCAE / SAE AEROSPACE, Aerospace recommended practice – Guidelines for Development of Civil Aircraft and Systems –EUROCAE ED-79A / SAE ARP 4754A
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)
Rauzy, A.: Mode automata and their compilation into fault. Reliability Engineering and System Safety 78, 1–12 (2002)
Armoush, A.: Design Patterns for Safety critical Embedded Systems, Ph.D. Thesis Report (2010)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Morel, M. (2014). Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures. In: Ortmeier, F., Rauzy, A. (eds) Model-Based Safety and Assessment. IMBSA 2014. Lecture Notes in Computer Science, vol 8822. Springer, Cham. https://doi.org/10.1007/978-3-319-12214-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-12214-4_5
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12213-7
Online ISBN: 978-3-319-12214-4
eBook Packages: Computer ScienceComputer Science (R0)