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 AADL 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.