Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata

Abstract : In this paper, we propose feasibility and schedulability tests for a real-time scheduling problem under energy constraints. We first introduce the problem and show how to model it using timed automata. We propose then a feasibility test based on CTL model checking and schedulability tests for EDF and fixed priority algorithms. Our approach also permits to generate a feasible schedule if one exists and otherwise to find the good characteristics of a battery to make the problem feasible. It is finally possible to generate schedules that optimize some criteria, such as the number of mode switching (battery charge or discharge), the minimal and the maximal energy level, or the number of preemptions. The approach is illustrated by some experiments using the model checking tool U PPAAL.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal-upec-upem.archives-ouvertes.fr/hal-00688069
Contributor : Damien Masson <>
Submitted on : Thursday, June 14, 2012 - 6:20:02 PM
Last modification on : Wednesday, July 4, 2018 - 4:37:58 PM
Long-term archiving on : Thursday, December 15, 2016 - 2:26:15 PM

File

rtcshal2012.pdf
Files produced by the author(s)

Identifiers

Citation

Yasmina Abdeddaïm, Damien Masson. Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata. RTCSA 2012, Aug 2012, Seoul, South Korea. pp.31-40, ⟨10.1109/RTCSA.2012.21⟩. ⟨hal-00688069v2⟩

Share

Metrics

Record views

537

Files downloads

579