A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
2015 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 113, 236-260 p.Article in journal (Refereed) PublishedText
This paper presents a compositional framework for the modeling and analysis of hierarchical scheduling systems. We consider both schedulability and energy consumption of individual components, while analyzing a single core setting with a voltage frequency scaling CPU. According to the CPU frequency scaling, each task has a set of different execution times. Thus, the energy consumption of the whole system varies from one execution to another. We analyze each component individually by checking the feasibility of its workload against both the CPU availability and energy consumption constraints of such a component. Our periodic task model considers both static and dynamic priorities together with preemptive and non-preemptive behaviors. The models are realized using different forms of Hybrid Automata, all of which are analyzed using variants of UPPAAL. The CPU frequencies, task behavior and scheduling policies used in each component are some of the reconfigurable parameters of the system. Finally, we demonstrate the applicability and scalability of our framework by analyzing the schedulability and power consumption of an avionics system. (C) 2015 Elsevier B.V. All rights reserved.
Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 2015. Vol. 113, 236-260 p.
Hierarchical scheduling systems; Schedulability analysis; Power consumption; Voltage/frequency scaling; UPPAAL
Computer and Information Science
IdentifiersURN: urn:nbn:se:liu:diva-123778DOI: 10.1016/j.scico.2015.10.003ISI: 000366230400003OAI: oai:DiVA.org:liu-123778DiVA: diva2:892953
Funding Agencies|EU Artemis Project CRAFTERS; EU Artemis Project MBAT2016-01-112016-01-112016-01-11