Constraint-based Design of Avionics Platform: Preliminary Design Exploration

P. Bieber (1) , J P Bodeveix (2) , Charles Castel (1) , David Doose (1) , M Filali (2) , F. Minot (3) , Cédric Pralet (1)

1 ONERA
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 Airbus [France]

The PAM project has developed techniques and tools based on constraint solving to assist the avionics platform design team to select the adequate number of resources, the topology of resource interconnection and the safe allocation of resources to functions and data-flows of the supported applications. We explain how avionics platforms and supported functions are modelled and what constraints are taken into account by the PAM approach. The approach is illustrated by a fire detection system case-study.

Keywords: Integrated Modular Avionics; Safety; Constraint Solving

Domains: Embedded Systems

P. Bieber, J P Bodeveix, Charles Castel, David Doose, M Filali, et al.. Constraint-based Design of Avionics Platform: Preliminary Design Exploration. 4th International Coongress on Embedded Real Time Software and Systems (ERTS 2008), 3AF : Association Aéronautique et Astronautique de France; SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication, Jan 2008, Toulouse, France. ⟨insu-02270112⟩