Constraint-based Design of Avionics Platform: Preliminary Design Exploration

Abstract : 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.