Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints

• Eduardo Tavares UFPE
• Bruno Silva UFPE
• Paulo Maciel UFPE
• Pedro Dallegrave UFPE

Resumo

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.

Palavras-chave: Embedded software, Real time systems, Embedded system, Energy consumption, Runtime, Voltage control, Dynamic voltage scaling, Delay, Dynamic scheduling, Timing, Petri Nets, Hard Real-Time Systems. Scheduling, Dynamic Voltage Scaling