A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Erik Ramsgaard Wognsen, Boudewijn Haverkort, Marijn Jongerden, Rene Rydhof Hansen, Kim Guldstrand Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

11 Citationer (Scopus)

Abstrakt

An ever increasing share of embedded systems is powered by rechargeable batteries. These batteries deteriorate with the number of charge/discharge cycles they are subjected to, the so-called cycle life. In this paper, we propose the wear score function to compare and evaluate the relative impact of usage (charge and discharge) profiles on cycle life. The wear score function can not only be used to rank different usage profiles, these rankings can also be used as a criterion for optimizing the overall lifetime of a battery-powered system.

We perform such an optimization on a nano-satellite case study provided by the company GomSpace. The scheduling of the system is modelled as a network of (stochastic) weighted timed games. In a stochastic setting, exact optimization is very expensive. However, the recently introduced Uppaal Stratego tool combines symbolic synthesis with statistical model checking and reinforcement learning to synthesize near-optimal scheduling strategies subject to possible hard timing-constaints. We use this to study the trade-off between optimal short-term dynamic payload selection and the operational life of the satellite.
OriginalsprogEngelsk
TitelFormal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
ForlagSpringer
Publikationsdato22 aug. 2015
Sider305-320
ISBN (Trykt)978-3-319-22974-4
ISBN (Elektronisk)978-3-319-22975-1
DOI
StatusUdgivet - 22 aug. 2015
BegivenhedInternational Conference, FORMATS 2015 - Madrid, Spanien
Varighed: 2 sep. 20154 sep. 2015
Konferencens nummer: 13th

Konference

KonferenceInternational Conference, FORMATS 2015
Nummer13th
Land/OmrådeSpanien
ByMadrid
Periode02/09/201504/09/2015
NavnLecture Notes in Computer Science
Vol/bind9268
ISSN0302-9743

Citationsformater