An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints

Over the last decade, energy consumption has received considerable attention from the scientific community, which has developed several techniques for increasing energy savings in embedded systems. Nevertheless, considering time-critical systems, the adoption of energy saving techniques,such as dyna...

Full description

Saved in:
Bibliographic Details
Published in2008 Sixth IEEE International Conference on Software Engineering and Formal Methods pp. 291 - 300
Main Authors Tavares, E., Silva, B., Maciel, P.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.11.2008
Subjects
Dynamic voltage scaling
Embedded system
Energy consumption
Energy measurement
Petri nets
Processor scheduling
Real time systems
Time factors
Timing
Voltage control
Online AccessGet full text

Cover

More Information
Summary:Over the last decade, energy consumption has received considerable attention from the scientific community, which has developed several techniques for increasing energy savings in embedded systems. Nevertheless, considering time-critical systems, the adoption of energy saving techniques,such as dynamic voltage scaling, considerably hardens the system design, since stringent timing constraints may be affected. This work presents an environment for measuring and scheduling hard real-time systems with energy constraints, providing a set of integrated tools for automatic assistance in these design activities. Besides, a formal model based on time Petri nets is adopted in order to provide a basis for precise pre-runtime schedule generation as well as to allow property analysis and verification.
ISBN:0769534376
9780769534374
ISSN:1551-0255
2160-7656
DOI:10.1109/SEFM.2008.47