Paper Info
Title
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations
Abstract
Several scheduling approaches have been developed to address DVS in time-critical systems, however, overheads, precedence and exclusion relations have been neglected. This paper presents a pre-runtime scheduling method for hard real-time systems considering DVS, overheads as well as inter-task relations. The proposed method adopts a formal model based on time Petri nets in order to find a feasible schedule that satisfies timing and energy constraints.
Year
DOI
Venue
2008
10.1016/j.ipl.2008.03.020
Inf. Process. Lett.
Keywords
Field
DocType
pre-runtime scheduling method,voltage scaling,scheduling approach,hard real-time task,feasible schedule,time petri net,hard real-time system,exclusion relation,energy constraint,formal model,inter-task relation,formal method,operating system,real time systems,satisfiability,formal methods,scheduling,operating systems
Discrete mathematics,Mathematical optimization,Petri net,Information processing,Scheduling (computing),Computer science,Voltage,Real-time computing,Real-time operating system,Formal methods,Scaling,Overhead (business)
Journal
Volume
Issue
ISSN
108
2
0020-0190
Citations 
PageRank 
References 
9
0.99
15
Authors
4
Name
Order
Citations
PageRank
Eduardo Tavares116125.22
Paulo Maciel225830.35
Bruno Silva312416.86
Meuse Oliveira, Jr.4355.86