Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems
Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman, Arne Skou · VBN Forskningsportal (Aalborg Universitet) · 2014
We propose a 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 Hybrid Timed 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 our knowledge, our paper is the first one considering hierarchical scheduling, multi-core platforms and energy consumption simultaneously. The framework is being applied to a case-study from the CRAFTERS project.