SATRIMMAP
Safety & Time Critical Middleware for future Modular Avionics Platform

Consortium: Airbus, CEA-LIST, IRIT, LAAS-CNRS, ONERA-Toulouse, QoS Design


The last couple of years have seen a profound evolution in embedded architectures with the introduction of Integrated Modular Avionics (IMA). By offering to embedded applications a standardized execution and communication support, these architectures have allowed the consequent reduction of physical weight and complexity. This low level reduction of complexity is opposed by an increased difficulty in application conception and integration, as managing resource sharing is through numerous configuration parameters. This thesis is devoted to two resource allocation problems that arise in conception phases of IMA-based architectures.

The main objective of the project is to raise the difficulties associated to integration or recon- figuration phases, where resource allocation tables and parameters have to be released, or even rede- fined, each time the system changes or a new element is introduced (e.g. introduction of a new function). This is to be achieved through the study and the definition of tool-sets. The ambition is also to ensure a maximum transparency between applications and the architecture support. The aforementioned toolsets must ensure the criticality constraints of avionic systems, and in particular the determinism, the reliability and the predictability of the various components. For this purpose, the project concentrates on three points: the formalisation of a proper model for avionic applications, the configuration and reconfiguration of IMA architectures, and the definition of suitable tool-sets for facilitated configuration purposes.

These steps include the study of techniques and methods aimed at the performance evaluation for an IMA architecture.

This project’s consortium consists of six partners: Airbus, CEA LIST, IRIT, LAAS-CNRS, ONERA and QoS Design.