Response time analysis for fixed priority real-time systems with energy-harvesting

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 show that these tests are sustainable with respect to decreases in the energy consumption of tasks, and increases in the storage unit replenishment rate. Further, we show that Deadline Monotonic priority assignment is optimal with respect to the derived tests. We examine both the effectiveness and the tightness of the bounds, via an empirical investigation.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01217197
Contributor : Damien Masson <>
Submitted on : Monday, October 19, 2015 - 10:58:49 AM
Last modification on : Wednesday, July 4, 2018 - 4:37:56 PM

Identifiers

Citation

Yasmina Abdeddaïm, Younès Chandarli, Robert I. Davis, Damien Masson. Response time analysis for fixed priority real-time systems with energy-harvesting. Real-Time Systems, Springer Verlag, 2016, 52 (2), pp.125--160. ⟨10.1007/s11241-015-9239-7⟩. ⟨hal-01217197⟩

Share

Metrics

Record views

291