Maximizing System Lifetime by Battery Scheduling

M.R. Jongerden, Boudewijn R.H.M. Haverkort, H.C. Bohnenkamp, Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 21 Citations

Abstract

The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced-timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes.
LanguageUndefined
Title of host publicationProceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
Place of PublicationLos Alamitos
PublisherIEEE Computer Society Press
Pages63-72
Number of pages10
ISBN (Print)978-1-4244-4421-2
DOIs
StatePublished - 29 Jun 2009

Publication series

Name
PublisherIEEE Computer Society Press

Keywords

  • EC Grant Agreement nr.: FP7/214755
  • Batteries
  • Priced Timed Automata
  • Lifetime
  • METIS-263869
  • EWI-15400
  • Scheduling
  • Embedded Systems
  • IR-67476
  • Kinetic Battery Model

Cite this

Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C., & Katoen, J. P. (2009). Maximizing System Lifetime by Battery Scheduling. In Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009 (pp. 63-72). Los Alamitos: IEEE Computer Society Press. DOI: 10.1109/DSN.2009.5270351
Jongerden, M.R. ; Haverkort, Boudewijn R.H.M. ; Bohnenkamp, H.C. ; Katoen, Joost P./ Maximizing System Lifetime by Battery Scheduling. Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos : IEEE Computer Society Press, 2009. pp. 63-72
@inproceedings{beef286162a04a2592a8853d7870536f,
title = "Maximizing System Lifetime by Battery Scheduling",
abstract = "The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced-timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes.",
keywords = "EC Grant Agreement nr.: FP7/214755, Batteries, Priced Timed Automata, Lifetime, METIS-263869, EWI-15400, Scheduling, Embedded Systems, IR-67476, Kinetic Battery Model",
author = "M.R. Jongerden and Haverkort, {Boudewijn R.H.M.} and H.C. Bohnenkamp and Katoen, {Joost P.}",
year = "2009",
month = "6",
day = "29",
doi = "10.1109/DSN.2009.5270351",
language = "Undefined",
isbn = "978-1-4244-4421-2",
publisher = "IEEE Computer Society Press",
pages = "63--72",
booktitle = "Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009",

}

Jongerden, MR, Haverkort, BRHM, Bohnenkamp, HC & Katoen, JP 2009, Maximizing System Lifetime by Battery Scheduling. in Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. IEEE Computer Society Press, Los Alamitos, pp. 63-72. DOI: 10.1109/DSN.2009.5270351

Maximizing System Lifetime by Battery Scheduling. / Jongerden, M.R.; Haverkort, Boudewijn R.H.M.; Bohnenkamp, H.C.; Katoen, Joost P.

Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos : IEEE Computer Society Press, 2009. p. 63-72.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Maximizing System Lifetime by Battery Scheduling

AU - Jongerden,M.R.

AU - Haverkort,Boudewijn R.H.M.

AU - Bohnenkamp,H.C.

AU - Katoen,Joost P.

PY - 2009/6/29

Y1 - 2009/6/29

N2 - The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced-timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes.

AB - The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend the lifetime. In these cases, scheduling the batteries over the load to exploit recovery properties usually extends the system lifetime. Straightforward scheduling schemes, like round robin or choosing the best battery available, already provide a big improvement compared to a sequential discharge of the batteries. In this paper we compare these scheduling schemes with the optimal scheduling scheme produced with a priced-timed automaton battery model (implemented and evaluated in Uppaal Cora). We see that in some cases the results of the simple scheduling schemes are close to optimal. However, the optimal schedules also clearly show that there is still room for improving the battery lifetimes.

KW - EC Grant Agreement nr.: FP7/214755

KW - Batteries

KW - Priced Timed Automata

KW - Lifetime

KW - METIS-263869

KW - EWI-15400

KW - Scheduling

KW - Embedded Systems

KW - IR-67476

KW - Kinetic Battery Model

U2 - 10.1109/DSN.2009.5270351

DO - 10.1109/DSN.2009.5270351

M3 - Conference contribution

SN - 978-1-4244-4421-2

SP - 63

EP - 72

BT - Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009

PB - IEEE Computer Society Press

CY - Los Alamitos

ER -

Jongerden MR, Haverkort BRHM, Bohnenkamp HC, Katoen JP. Maximizing System Lifetime by Battery Scheduling. In Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press. 2009. p. 63-72. Available from, DOI: 10.1109/DSN.2009.5270351