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, Laboratoire I3S - 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.
Document type :
Conference papers
Complete list of metadatas
https://hal-upec-upem.archives-ouvertes.fr/hal-01294394
Contributor : Damien Masson <>
Submitted on : Tuesday, March 29, 2016 - 11:20:08 AM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM

Identifiers

Collections

UPEC-UPEM | UNICE | I3S | INRIA | PARISTECH | ENPC | LIGM | LIGM_LRT | UNIV-COTEDAZUR | INRIA-ROCQ | 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, ⟨10.1145/2659787.2659821⟩. ⟨hal-01294394⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

432

Contact

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