Title of article :
Specification and analysis of power-managed systems
Author/Authors :
L.، Benini, نويسنده , , A.، Bogliolo, نويسنده , , G.، De Micheli, نويسنده , , E.، Lattanzi, نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Pages :
-1307
From page :
1308
To page :
0
Abstract :
Dynamic power management encompasses several techniques for reducing energy dissipation in electronic systems by selective slowdown or shutdown of components. We present a theoretical framework for explaining and classifying different approaches to power management. Within this framework, we model power-manageable components, workloads, and controllers as discrete-event systems (DESs). The structure of these DESs is specified in terms of physical states (representing operation modes) and events (triggering state transitions), while system behavior is specified in terms of next-event and next-state functions. In particular, nondeterministic next-event and next-state functions are modeled by conditional probability distributions, according to generalized semi-Markov processes (GSMPs). The modeling framework provides a general denotational model for system specification and a rigorous execution semantics that enables event-driven simulation. We introduce a modeling framework, built on top of MathWorkʹs Simulink, supporting the specification and execution of our model. In particular, we present templates for the Simulink simulator to execute GSMP models, and we describe how to use such templates for specifying, analyzing, and optimizing dynamic power-managed systems. Finally, we demonstrate the expressive power and versatility of the proposed approach by using the modeling framework and the simulator for the analysis of representative real-life case studies, including the Intel Xscale processor architecture, a multitasking real-time system, and a sensor network.
Keywords :
low-energy design , Power management , Stochastic control , system on a chip
Journal title :
Proceedings of the IEEE
Serial Year :
2004
Journal title :
Proceedings of the IEEE
Record number :
99575
Link To Document :
بازگشت