Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

International audienceWe propose a compositional framework for modeling and analyzing the schedulability and energy efficiency of embedded hierarchical scheduling systems running on a multi- core platform. The framework is realized using Parameterized Stopwatch Automata describing the concrete task behavior. The schedulability can be verified in a compositional way using U P - PAAL , and the energy profile can be generated using the statistical model checking algorithms of U PPAAL SMC. To our knowledge, our paper is the first one considering hierarchical scheduling, multi-core platforms and energy consumption simultaneously. Finally, the framework is applied to an avionics case study