Power Management Formalism for Embedded Software

Authored by: Zdravko Karakehayov , Emil Vassev

Encyclopedia of Software Engineering

Print publication date:  November  2010
Online publication date:  November  2010

Print ISBN: 9781420059779
eBook ISBN: 9781351249270
Adobe ISBN:


 Download Chapter



A formal understanding of computation, timing, and energy allows energy‐efficient design of embedded systems. Hierarchical design models help to consider lower abstraction levels where power optimization can be applied. Real‐time computational models outline behavior intervals for dynamic frequency scaling. In parallel, energy models describe how energy scales for different clock rates. The ZETA‐CR (Zero Energy Timing Algebra‐Clock Rate) mathematical framework utilizes computational and energy models to provide optimal values for the clock frequency. Runtime computational models allow to replace the worst‐case execution times with the demands of the current situation. The power management compiler helps to generate embedded code for energy‐aware systems. The ZETA‐CR formalism combined with runtime models leads to an extra level of power management—individual clock rate for each instance of task execution.

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.