Provided by: Aalborg University
Date Added: Dec 2013
The authors propose a compositional framework for modeling and analyzing the schedulability and energy efficiency of embedded hierarchical scheduling systems running on a multicore platform. The framework is realized using Parameterized Stopwatch Automata describing the concrete task behavior. The schedulability can be verified in a compositional way using UPPAAL, and the energy profile can be generated using the statistical model checking algorithms of UPPAAL SMC. To their knowledge, their 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.