Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

Yasmina Abdeddaïm 1 Younès Chandarli 1 Robert I. Davis 2, 3 Damien Masson 1
1 LIGM - Laboratoire d'Informatique Gaspard-Monge
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
3 University of York [York, UK]
Abstract : This paper introduces sufficient schedulability tests for fixed-priority pre-emptive scheduling of a real-time system under energy constraints. In this problem, energy is harvested from the ambient environment and used to replenish a storage unit or battery. The set of real-time tasks is decomposed into two different types of task depending on whether their rate of energy consumption is (i) more than or (ii) no more than the storage unit replenishment rate. We show that for this task model, where execution may only take place when there is sufficient energy available, the worst-case scenario does not necessarily correspond to the synchronous release of all tasks. We derive sufficient schedulability tests based on the computation of worst-case response time upper and lower bounds. We examine both the effectiveness and the tightness of the bounds, via an empirical investigation.
Type de document :
Communication dans un congrès
RTNS 2014, 2014, Versailles, France. pp.311:311--311:320, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems. 〈10.1145/2659787.2659821〉
Liste complète des métadonnées
https://hal-upec-upem.archives-ouvertes.fr/hal-01294394
Contributeur : Damien Masson <>
Soumis le : mardi 29 mars 2016 - 11:20:08
Dernière modification le : mercredi 4 juillet 2018 - 16:38:06

Identifiants

Collections

UPEC-UPEM | UNICE | I3S | INRIA | PARISTECH | ENPC | LIGM | LIGM_LRT | UNIV-COTEDAZUR | ESIEE-PARIS

Citation

Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting. RTNS 2014, 2014, Versailles, France. pp.311:311--311:320, Proceedings of the 22Nd International Conference on Real-Time Networks and Systems. 〈10.1145/2659787.2659821〉. 〈hal-01294394〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

372

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD