 |
|
| HAL : hal-00688069, version 2 |
| DOI : 10.1109/RTCSA.2012.21 |
| Fiche détaillée |  Récupérer au format |
 |
| IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications, Seoul : Korea, Republic Of (2012) |
|
|
| Versions disponibles : | v2 (15-06-2012) |
|
|
|
|
| Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata |
|
|
| Yasmina Abdeddaïm 1Damien Masson 1 |
|
|
| (19/08/2012) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Gaspard-Monge (LIGM) |
|
|
|
Université Paris-Est Marne-la-Vallée (UPEMLV) – ESIEE – Ecole des Ponts ParisTech – Fédération de Recherche Bézout – CNRS : UMR8049 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Autre |
|
|
| power aware real time scheduling – energy harvesting systems – timed automata |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00688069, version 2 | |
| http://hal-upec-upem.archives-ouvertes.fr/hal-00688069 | |
| oai:hal-upec-upem.archives-ouvertes.fr:hal-00688069 | |
| Contributeur : Damien Masson | |
| Soumis le : Jeudi 14 Juin 2012, 18:20:02 | |
| Dernière modification le : Mercredi 6 Mars 2013, 11:32:20 | |
