Energy management for battery-powered embedded systems

Transactions on Embedded Computing Systems - Tập 2 Số 3 - Trang 277-324 - 2003
Daler Rakhmatov1, Sarma Vrudhula1
1University of Arizona, Tucson, AZ

Tóm tắt

Portable embedded computing systems require energy autonomy. This is achieved by batteries serving as a dedicated energy source. The requirement of portability places severe restrictions on size and weight, which in turn limits the amount of energy that is continuously available to maintain system operability. For these reasons, efficient energy utilization has become one of the key challenges to the designer of battery-powered embedded computing systems.In this paper, we first present a novel analytical battery model, which can be used for the battery lifetime estimation. The high quality of the proposed model is demonstrated with measurements and simulations. Using this battery model, we introduce a new "battery-aware" cost function, which will be used for optimizing the lifetime of the battery. This cost function generalizes the traditional minimization metric, namely the energy consumption of the system. We formulate the problem of battery-aware task scheduling on a single processor with multiple voltages. Then, we prove several important mathematical properties of the cost function. Based on these properties, we propose several algorithms for task ordering and voltage assignment, including optimal idle period insertion to exercise charge recovery.This paper presents the first effort toward a formal treatment of battery-aware task scheduling and voltage scaling, based on an accurate analytical model of the battery behavior.

Từ khóa


Tài liệu tham khảo

Arora P. Doyle M. Gozdz A. White R. and Newman J. 2000. Comparison between computer simulations and experimental data for high-rate discharges of plastic lithium-ion batteries. J. Power Sources 88.]] Arora P. Doyle M. Gozdz A. White R. and Newman J. 2000. Comparison between computer simulations and experimental data for high-rate discharges of plastic lithium-ion batteries. J. Power Sources 88.]]

Bard A. and Faulkner L. 1980. Electrochemical Methods. Wiley New York.]] Bard A. and Faulkner L. 1980. Electrochemical Methods. Wiley New York.]]

Bellman R., A Brief Introduction to Theta Functions. Holt, Rinehart and Winston

Benini L., Proceedings of Design, Automation, and Test in Europe.]] 10

10.1109/54.914621

Botte G. Subramanian V. and White R. 2000. Mathematical modeling of secondary lithium batteries. Electrochimica Acta 45.]] Botte G. Subramanian V. and White R. 2000. Mathematical modeling of secondary lithium batteries. Electrochimica Acta 45.]]

Burd T. and Brodersen R. 2002. Energy Efficient Microprocessor Design. Kluwer Boston.]] Burd T. and Brodersen R. 2002. Energy Efficient Microprocessor Design. Kluwer Boston.]]

Chowdhury P., Proceedings of Work. Signal Processing Systems.]]

Doyle M., 1993, Modeling of galvanostatic charge and discharge of the lithium/polymer/insertion cell, J. Electrochem. Soc., 140, 6, 10.1149/1.2221597

Doyle M. and Newman J. 1995. Modeling the performance of rechargeable lithium-based cells: Design correlations for limiting cases. J. Power Sources 54.]] Doyle M. and Newman J. 1995. Modeling the performance of rechargeable lithium-based cells: Design correlations for limiting cases. J. Power Sources 54.]]

Dudzinski K. and Walukiewicz S. 1987. Exact methods for the knapsack problem and its generalizations. European J. Oper. Research 28.]] Dudzinski K. and Walukiewicz S. 1987. Exact methods for the knapsack problem and its generalizations. European J. Oper. Research 28.]]

Fuller T., 1994, Simulation and optimization of the dual lithium ion insertion cell, J. Electrochem. Soc., 141, 1, 10.1149/1.2054684

Gold S., 1997, Proc. Battery Conference.]]

Hall L., Proceedings Symposium on Discrete Algorithms.]]

10.1109/2.917534

Intel. 2002. http://developer.intel.com/communications/app_processors.htm.]] Intel. 2002. http://developer.intel.com/communications/app_processors.htm.]]

Ishihara T., Proceedings of International Symposium on Low Power Electronics and Design.]] 10

Lawler E. 1978. Sequencing jobs to minimize total weighted completion time subject to precedence constraints. Ann. Discrete Math. 2.]] Lawler E. 1978. Sequencing jobs to minimize total weighted completion time subject to precedence constraints. Ann. Discrete Math. 2.]]

Linden D., Handbook of Batteries

Liu J., Proceedings of Design Automation Conference.]] 10

Luo J., Proceedings Design Automation Conference.]] 10

Manzak A., Proceedings of International Symposium on Low Power Electronics and Design.]] 10

Mooney III V. and De Micheli G. 2000. Hardware/software co-design of run-time schedulers for real-time systems. J. Design Automation Embed. Systems.]] Mooney III V. and De Micheli G. 2000. Hardware/software co-design of run-time schedulers for real-time systems. J. Design Automation Embed. Systems.]]

10.1109/54.914613

Panigrahi D., Proceedings of VLSI Design.]]

Pedram M., Proceedings Design Automation Conference.]] 10

Pering T., Proceedings of Real-Time Technology and Applications.]]

Pering T., Proceedings of International Symposium on Low Power Electronics and Design.]] 10

Qu G., 2001, Proceedings of International Conference on Computer-Aided Design.]]

Quan G., Proceedings of Design Automation Conference.]] 10

Rakhmatov D., Proceedings of Design Automation Conference.]] 10

Rakhmatov D., Proceedings of International Symposium on Low Power Electronics and Design.]] 10

Roberts G. and Kaufman H. 1966. Table of Laplace Transforms. Saunders Philadelphia.]] Roberts G. and Kaufman H. 1966. Table of Laplace Transforms. Saunders Philadelphia.]]

10.1109/54.914596

Shin Y., Proceedings of International Conference on Computer-Aided Design.]]

Sidney J. 1975. Decomposition algorithms for single-machine sequencing with precedence relations and deferral costs. Oper. Research 23.]] Sidney J. 1975. Decomposition algorithms for single-machine sequencing with precedence relations and deferral costs. Oper. Research 23.]]

Simunic T., 2001, Proceedings of Design Automation Conference.]] 10

Sinha A., Proceedings of International Conference on Computer-Aided Design.]]

Smith W. 1956. Various optimizers for single-stage production. Naval Research Log. Quart. 3.]] Smith W. 1956. Various optimizers for single-stage production. Naval Research Log. Quart. 3.]]

Weiser M., Proceedings of OS Design and Implementation.]]

Yao F. Demers A. and Shankar S. 1995. A scheduling model for reduced CPU energy. IEEE Found. Comp. Science.]] Yao F. Demers A. and Shankar S. 1995. A scheduling model for reduced CPU energy. IEEE Found. Comp. Science.]]

Thông tin
Thông tin xuất bản

Transactions on Embedded Computing Systems

Tập 2 Số 3

277-324

Thông tin tác giả