SwePub - sökning: WFRF:(Boudjadar Abdeldjalil)

Numrering	Referens	Omslagsbild	Hitta
1.	Boudjadar, Abdeldjalil, et al. (författare) A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling 2015 Ingår i: Science of Computer Programming. - : ELSEVIER SCIENCE BV. - 0167-6423 .- 1872-7964. ; 113, s. 236-260 Tidskriftsartikel (refereegranskat)abstract 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.

Boudjadar, Abdeldjalil, et al. (författare)
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
2015
Ingår i: Science of Computer Programming. - : ELSEVIER SCIENCE BV. - 0167-6423 .- 1872-7964. ; 113, s. 236-260
Tidskriftsartikel (refereegranskat)abstract
- 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.

Träfflista för sökning "WFRF:(Boudjadar Abdeldjalil) srt2:(2015)"

Avgränsa träffmängd