Paper Info
Title
Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints
Abstract
Over the last years, the issue of reducing energy consumption in hard real-time embedded systems has received considerable attention from the scientific community, since responsiveness and low energy consumption are often conflicting requirements. In this context, several techniques have been proposed, mostly, adopting DVS (Dynamic Voltage Scaling) for reducing energy consumption in conjunction with runtime scheduling policies for dealing with stringent timing constraints. Nevertheless, those approaches generally disregard inter-task relations and runtime overheads (e.g. voltage switching) as well as adopt specialized operating systems. This paper presents a software synthesis method for hard real-time systems with energy constraints, taking into account DVS, inter-task relations and runtime overheads. The proposed method adopts a formal model based on time Petri nets in order to provide a basis for precise pre-runtime schedule generation.
Year
DOI
Venue
2008
10.1109/SBAC-PAD.2008.14
SBAC-PAD
Keywords
Field
DocType
hard real-time,runtime scheduling policy,hard real-time embedded system,energy consumption,account dvs,software synthesis,hard real-time system,low energy consumption,energy constraint,runtime overhead,energy constraints,inter-task relation,formal specification,embedded system,petri nets,petri net,operating system
Dynamic voltage scaling,Petri net,Scheduling (computing),Computer science,Parallel computing,Voltage,Real-time computing,Formal specification,Software synthesis,Energy consumption,Overhead (business),Embedded system
Conference
ISSN
Citations 
PageRank 
1550-6533
2
0.39
References 
Authors
12
4
Name
Order
Citations
PageRank
Eduardo Tavares116125.22
Bruno Silva212416.86
Paulo Maciel325830.35
Pedro Dallegrave420.39