Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

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.

Provided by: Aalborg University Topic: Hardware Date Added: Dec 2013 Format: PDF

Find By Topic