A Model for Sequence Based Power Management in Cyber Physical Systems

This paper develops a model for operating system level power management in cyber physical systems. The core part is a transducing mechanism, forming physical inputs into functional state sequences. Each functional state transition then is allowed to switch in between power management plans. A power management plan is modeled as a directed graph over power states and functional jobs together with timing conditions. Different optimization problems for designing these plans according to scheduling requirements, and for maximizing energy savings under both constrained management complexity and constrained supply voltage stability are presented.

[1]  Erol Gelenbe,et al.  Energy-Efficient Cloud Computing , 2010, Comput. J..

[2]  M. Ceraolo,et al.  New dynamical models of lead-acid batteries , 2000 .

[3]  Edward A. Lee.  Model-Driven Development - From Object-Oriented Design to Actor-Oriented Design , 2003 .

[4]  Rajesh K. Gupta,et al.  Dynamic voltage scaling for systemwide energy minimization in real-time embedded systems , 2004, Proceedings of the 2004 International Symposium on Low Power Electronics and Design (IEEE Cat. No.04TH8758).

[5]  Luca Benini,et al.  A survey of design techniques for system-level dynamic power management , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[6]  J. Lutz,et al.  Integration of supercapacitors as transient energy buffer in automotive power nets , 2007, 2007 European Conference on Power Electronics and Applications.

[7]  Andreas Krüger,et al.  Energy efficiency in automotive networks: Assessment and concepts , 2010, 2010 International Conference on High Performance Computing & Simulation.

[8]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[9]  Hans-Georg Herzog,et al.  Modeling of the automotive 14 V power net for voltage stability analysis , 2009, 2009 IEEE Vehicle Power and Propulsion Conference.

[10]  Sandy Irani,et al.  Online strategies for dynamic power management in systems with multiple power-saving states , 2003, TECS.

[11]  Chaitali Chakrabarti,et al.  High-level power management of embedded systems with application-specific energy cost functions , 2006, 2006 43rd ACM/IEEE Design Automation Conference.

[12]  Luca Benini,et al.  Quantitative comparison of power management algorithms , 2000, Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537).

[13]  Luca Benini,et al.  Cycle-accurate simulation of energy consumption in embedded systems , 1999, DAC '99.

[14]  Hans-Georg Herzog,et al.  Experimental investigation on voltage stability in vehicle power nets for power distribution management , 2010, 2010 IEEE Vehicle Power and Propulsion Conference.

[15]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[16]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).