Towards Model-based optimisations of Real-Time systems, an application with the AADL

Model Driven Engineering provides facilities to tackle complexity in real-time systems, from early requirements capture to validation & verification down to code generation. We note that models are built from a system perspective, and resources are allocated to meet communication, energy or scheduling constraints. Yet, it is seldom optimal. In this paper, we explore transformations applied at model-level that preserve schedulability of the system, yet reduce the overall resource consumption. We use A AD L as input formalism. By automating this process, we show how to transition from a system view to an implementation view, closer to actual hardware constraints.