Battery-Aware Scheduling of Mixed Criticality Systems

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

7 Citationer (Scopus)

Resumé

Wireless systems such as satellites and sensor networks are often battery-powered. To operate optimally they must therefore take the performance properties of real batteries into account. Additionally, these systems, and therefore their batteries, are often exposed to loads with uncertain timings. Mixed criticality and soft real-time systems may accept deadline violations and therefore enable trade-offs and evaluation of performance by criteria such as the number of tasks that can be completed with a given battery. We model a task set in combination with the kinetic battery model as a stochastic hybrid system and study its performance under battery-aware scheduling strategies. We believe that this evaluation does not scale with current verification techniques for stochastic hybrid systems. Instead statistical model checking provides a viable alternative with statistical guarantees. Based on our model we also calculate an upper bound on the attainable number of task instances from a battery, and we provide a battery-aware scheduler that wastes no energy on instances that are not guaranteed to make their deadlines.
OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
RedaktørerTiziana Margaria, Bernhard Steffen
Vol/bind8803
ForlagSpringer Publishing Company
Publikationsdato2014
Sider208-222
ISBN (Trykt)978-3-662-45230-1
ISBN (Elektronisk)978-3-662-45231-8
DOI
StatusUdgivet - 2014
Begivenhed6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Imperial, Corfu, Grækenland
Varighed: 8 okt. 201411 okt. 2014

Konference

Konference6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
LokationImperial
LandGrækenland
ByCorfu
Periode08/10/201411/10/2014
NavnLecture Notes in Computer Science
ISSN0302-9743

Citer dette

Wognsen, E. R., Hansen, R. R., & Larsen, K. G. (2014). Battery-Aware Scheduling of Mixed Criticality Systems. I T. Margaria, & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Bind 8803, s. 208-222). Springer Publishing Company. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-662-45231-8_15
Wognsen, Erik Ramsgaard ; Hansen, Rene Rydhof ; Larsen, Kim Guldstrand. / Battery-Aware Scheduling of Mixed Criticality Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. red. / Tiziana Margaria ; Bernhard Steffen. Bind 8803 Springer Publishing Company, 2014. s. 208-222 (Lecture Notes in Computer Science).
@inproceedings{7118c06aa8034599b4f2578608fa5dad,
title = "Battery-Aware Scheduling of Mixed Criticality Systems",
abstract = "Wireless systems such as satellites and sensor networks are often battery-powered. To operate optimally they must therefore take the performance properties of real batteries into account. Additionally, these systems, and therefore their batteries, are often exposed to loads with uncertain timings. Mixed criticality and soft real-time systems may accept deadline violations and therefore enable trade-offs and evaluation of performance by criteria such as the number of tasks that can be completed with a given battery. We model a task set in combination with the kinetic battery model as a stochastic hybrid system and study its performance under battery-aware scheduling strategies. We believe that this evaluation does not scale with current verification techniques for stochastic hybrid systems. Instead statistical model checking provides a viable alternative with statistical guarantees. Based on our model we also calculate an upper bound on the attainable number of task instances from a battery, and we provide a battery-aware scheduler that wastes no energy on instances that are not guaranteed to make their deadlines.",
author = "Wognsen, {Erik Ramsgaard} and Hansen, {Rene Rydhof} and Larsen, {Kim Guldstrand}",
year = "2014",
doi = "10.1007/978-3-662-45231-8_15",
language = "English",
isbn = "978-3-662-45230-1",
volume = "8803",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "208--222",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications",
address = "United States",

}

Wognsen, ER, Hansen, RR & Larsen, KG 2014, Battery-Aware Scheduling of Mixed Criticality Systems. i T Margaria & B Steffen (red), Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. bind 8803, Springer Publishing Company, Lecture Notes in Computer Science, s. 208-222, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Grækenland, 08/10/2014. https://doi.org/10.1007/978-3-662-45231-8_15

Battery-Aware Scheduling of Mixed Criticality Systems. / Wognsen, Erik Ramsgaard; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. red. / Tiziana Margaria; Bernhard Steffen. Bind 8803 Springer Publishing Company, 2014. s. 208-222 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Battery-Aware Scheduling of Mixed Criticality Systems

AU - Wognsen, Erik Ramsgaard

AU - Hansen, Rene Rydhof

AU - Larsen, Kim Guldstrand

PY - 2014

Y1 - 2014

N2 - Wireless systems such as satellites and sensor networks are often battery-powered. To operate optimally they must therefore take the performance properties of real batteries into account. Additionally, these systems, and therefore their batteries, are often exposed to loads with uncertain timings. Mixed criticality and soft real-time systems may accept deadline violations and therefore enable trade-offs and evaluation of performance by criteria such as the number of tasks that can be completed with a given battery. We model a task set in combination with the kinetic battery model as a stochastic hybrid system and study its performance under battery-aware scheduling strategies. We believe that this evaluation does not scale with current verification techniques for stochastic hybrid systems. Instead statistical model checking provides a viable alternative with statistical guarantees. Based on our model we also calculate an upper bound on the attainable number of task instances from a battery, and we provide a battery-aware scheduler that wastes no energy on instances that are not guaranteed to make their deadlines.

AB - Wireless systems such as satellites and sensor networks are often battery-powered. To operate optimally they must therefore take the performance properties of real batteries into account. Additionally, these systems, and therefore their batteries, are often exposed to loads with uncertain timings. Mixed criticality and soft real-time systems may accept deadline violations and therefore enable trade-offs and evaluation of performance by criteria such as the number of tasks that can be completed with a given battery. We model a task set in combination with the kinetic battery model as a stochastic hybrid system and study its performance under battery-aware scheduling strategies. We believe that this evaluation does not scale with current verification techniques for stochastic hybrid systems. Instead statistical model checking provides a viable alternative with statistical guarantees. Based on our model we also calculate an upper bound on the attainable number of task instances from a battery, and we provide a battery-aware scheduler that wastes no energy on instances that are not guaranteed to make their deadlines.

U2 - 10.1007/978-3-662-45231-8_15

DO - 10.1007/978-3-662-45231-8_15

M3 - Article in proceeding

SN - 978-3-662-45230-1

VL - 8803

T3 - Lecture Notes in Computer Science

SP - 208

EP - 222

BT - Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Publishing Company

ER -

Wognsen ER, Hansen RR, Larsen KG. Battery-Aware Scheduling of Mixed Criticality Systems. I Margaria T, Steffen B, red., Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Bind 8803. Springer Publishing Company. 2014. s. 208-222. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-662-45231-8_15