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 metadatas

https://hal.archives-ouvertes.fr/hal-01288059
Contributor : Lip6 Publications <>
Submitted on : Monday, March 14, 2016 - 3:25:30 PM
Last modification on : Friday, October 18, 2019 - 1:50:02 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

54