Paper Info
Title
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints
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.
Year
DOI
Venue
2008
10.1109/SEFM.2008.47
Cape Town
Keywords
Field
DocType
design activity,dynamic voltage scaling,hardens thesystem design,energy saving,energy consumption,hard real-time system,energy constraint,formal model,energy constraints,automatic assistance,embedded system,embedded systems,petri nets,real time systems,scheduling,system design
Dynamic voltage scaling,Petri net,Scheduling (computing),Computer science,Systems design,Energy consumption,Time critical,Design activities,Embedded system
Conference
ISBN
Citations 
PageRank 
978-0-7695-3437-4
9
0.49
References 
Authors
19
3
Name
Order
Citations
PageRank
Eduardo Tavares116125.22
Bruno Silva212416.86
Paulo Maciel325830.35