Title :
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints
Author :
Tavares, Eduardo ; Silva, Bruno ; Maciel, Paulo
Author_Institution :
Center for Inf. Recife, Fed. Univ. of Pernambuco, Recife
Abstract :
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.
Keywords :
Petri nets; energy consumption; performance evaluation; power aware computing; real-time systems; scheduling; Petri nets; dynamic voltage scaling; embedded systems; energy constraints; energy saving; real-time systems; schedule generation; Dynamic voltage scaling; Embedded system; Energy consumption; Energy measurement; Petri nets; Processor scheduling; Real time systems; Time factors; Timing; Voltage control;
Conference_Titel :
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-0-7695-3437-4
DOI :
10.1109/SEFM.2008.47