Skip to Main content Skip to Navigation
Book sections

A Model-Based Approach To Configure and Reconfigure Avionics Systems

Julien Delange Laurent Pautet Fabrice Kordon 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Aircraft manufacturers have been moving toward the Integrated Modular Avionics (IMA) approach to reduce the number of dedicated boxes in the aircraft. Standards such as as DO178B or ARINC 653 must be followed during design, configuration or certification of IMA systems. Productivity and costs must also be improved while preserving conformance to standards. For instance, development process of avionics systems involves several system representations and representation transformations are done manually. Moreover, the complexity of new generation of safety-critical systems has also increased the complexity of their development. The authors present their component-based approach which relies on an appropriate modeling language (AADL) combined with modeling patterns to represent, configure and deploy an IMA system. It reduces costs by detecting errors earlier and prevents specifications revisions. Their code generator reduces memory footprint and improves code coverage. One last benefit is a possible automatic certification.
Document type :
Book sections
Complete list of metadata
Contributor : Lip6 Publications <>
Submitted on : Monday, March 14, 2016 - 3:25:30 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM



Julien Delange, Laurent Pautet, Fabrice Kordon. A Model-Based Approach To Configure and Reconfigure Avionics Systems. Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, pp.509-541, 2011, 9781609600860. ⟨10.4018/978-1-60960-086-0.ch019⟩. ⟨hal-01288059⟩



Record views