Section: Application Domains

Automotive and avionic embedded systems

Model-Driven Engineering is progressively pertaining to these fields. The formalisms AADL (for avionics) and AutoSar [53] are providing support for this, unfortunately not always with a clean and formal semantics. Yet, some interesting issues are involved there in the mix of event-triggered and time-triggered processing means, the various related protocols, and the coexistence of periodic and aperiodic tasks, with distinct periodicity if ever. The process of scheduling and allocation of multiple heterogeneous and communicating applications onto complex embedded architectural paltforms require adequate model and synthesis/analysis/verification techniques to help the designers converge to acceptable solutions.