A formal framework for modeling and analysis of system-level dynamic power management

2006 ◽  
Author(s):  
Shrirang Yardi ◽  
K. Channakeshava ◽  
M.S. Hsiao ◽  
T.L. Martin ◽  
D.S. Ha
Keyword(s):  
Power Management ◽  
System Level ◽  
Dynamic Power Management ◽  
Modeling And Analysis ◽  
Dynamic Power ◽  
Formal Framework

DYNAMIC POWER MANAGEMENT IN AN EMBEDDED SYSTEM FOR MULTIPLE SERVICE REQUESTS

2005 ◽  
Vol 14 (05) ◽  
pp. 987-996 ◽  
Author(s):  
LAKSHMI PRABHA VISWANATHAN ◽  
ELWIN CHANDRA MONIE
Keyword(s):  
Embedded System ◽  
Power Management ◽  
Power Saving ◽  
Simple Algorithm ◽  
System Level ◽  
Dynamic Power Management ◽  
Design Constraint ◽  
Dynamic Power ◽  
Policy Model ◽  
Event Driven

Power is increasingly becoming a design constraint for embedded systems. Dynamic Power Management algorithms enable optimal utilization of hardware at runtime. The present work attempts to arrive at an optimal policy to reduce the energy consumption at system level, by selectively placing components into low power states. A new, simple algorithm for power management systems involving multiple requests and services, proposed here, has been obtained from stochastic queuing models. The proposed policy is event driven and based on a Deterministic Markov Nonstationary Policy model (DMNSP). The proposed policy has been tested using a Java-based event driven simulator. The test results show that there is about 23% minimum power saving over the existing schemes with less impact on performance or reliability.

Sign in / Sign up

Export Citation Format

Share Document