liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Aalborg University, Denmark.
INRIA IRISA, France.
Aalborg University, Denmark.
Show others and affiliations
2015 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 113, 236-260 p.Article in journal (Refereed) PublishedText
Abstract [en]

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.
Keyword [en]
Hierarchical scheduling systems; Schedulability analysis; Power consumption; Voltage/frequency scaling; UPPAAL
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:liu:diva-123778DOI: 10.1016/j.scico.2015.10.003ISI: 000366230400003OAI: oai:DiVA.org:liu-123778DiVA: diva2:892953
Note

Funding Agencies|EU Artemis Project CRAFTERS; EU Artemis Project MBAT

Available from: 2016-01-11 Created: 2016-01-11 Last updated: 2016-01-11

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Boudjadar, Abdeldjalil
By organisation
Software and SystemsFaculty of Science & Engineering
In the same journal
Science of Computer Programming
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 80 hits
ReferencesLink to record
Permanent link

Direct link