Sökning: WFRF:(Boudjadar Abdeldjalil)
> (2015) >
A reconfigurable fr...
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
-
- Boudjadar, Abdeldjalil (författare)
- Linköpings universitet,Programvara och system,Tekniska fakulteten
-
- David, Alexandre (författare)
- Aalborg University, Denmark
-
- Hyun Kim, Jin (författare)
- INRIA IRISA, France
-
visa fler...
-
- Larsen, Kim G. (författare)
- Aalborg University, Denmark
-
- Mikucionis, Marius (författare)
- Aalborg University, Denmark
-
- Nyman, Ulrik (författare)
- Aalborg University, Denmark
-
- Skou, Arne (författare)
- Aalborg University, Denmark
-
visa färre...
-
(creator_code:org_t)
- ELSEVIER SCIENCE BV, 2015
- 2015
- Engelska.
-
Ingår i: Science of Computer Programming. - : ELSEVIER SCIENCE BV. - 0167-6423 .- 1872-7964. ; 113, s. 236-260
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Hierarchical scheduling systems; Schedulability analysis; Power consumption; Voltage/frequency scaling; UPPAAL
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas