Maximizing System Lifetime by Battery Scheduling

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

doi:10.1109/DSN.2009.5270351

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 proceeding › Conference contribution › Academic › peer-review

33 Citations (Scopus)

325 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	63-72
Number of pages	10
ISBN (Print)	978-1-4244-4421-2
DOIs	https://doi.org/10.1109/DSN.2009.5270351
Publication status	Published - 29 Jun 2009
Event	39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009 - Estoril, Portugal Duration: 29 Jun 2009 → 2 Jul 2009

Publication series

Name
Publisher	IEEE Computer Society Press

Conference

Conference	39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009
Period	29/06/09 → 2/07/09
Other	29 jun - 2 jul 2009

Keywords

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

Access to Document

10.1109/DSN.2009.5270351

Cite this

@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 = jun,

day = "29",

doi = "10.1109/DSN.2009.5270351",

language = "Undefined",

isbn = "978-1-4244-4421-2",

publisher = "IEEE",

pages = "63--72",

booktitle = "Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009",

address = "United States",

note = "39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009 ; Conference date: 29-06-2009 Through 02-07-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, Los Alamitos, pp. 63-72, 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, 29/06/09. https://doi.org/10.1109/DSN.2009.5270351

Maximizing System Lifetime by Battery Scheduling. / Jongerden, M.R.; Haverkort, Boudewijn R.H.M.; Bohnenkamp, H.C. et al.
Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE, 2009. p. 63-72.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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

CY - Los Alamitos

T2 - 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009

Y2 - 29 June 2009 through 2 July 2009

ER -