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 contributionAcademicpeer-review

    28 Citations (Scopus)
    86 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 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
    Publication statusPublished - 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