Approximate Response Time for Fixed Priority Real-Time Systems with Energy-Harvesting

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. 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.

[1]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[2]  Alan Burns,et al.  Scheduling slack time in fixed priority pre-emptive systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[3]  Faruk Yildiz,et al.  Potential Ambient Energy-Harvesting Sources and Techniques , 2009 .

[4]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[5]  Björn B. Brandenburg,et al.  Cache-Related Preemption and Migration Delays : Empirical Approximation and Impact on Schedulability ∗ , 2010 .

[6]  Robert I. Davis.  On exploiting spare capacity in hard real-time systems , 1995 .

[7]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[8]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[9]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[10]  B Ahmed-Seddik,et al.  Self-powered resonant frequency tuning for Piezoelectric Vibration Energy Harvesters , 2013 .

[11]  Maryline Chetto,et al.  A real-time scheduling framework for embedded systems with environmental energy harvesting , 2011, Comput. Electr. Eng..

[12]  Luca Benini,et al.  Real-time scheduling with regenerative energy , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[13]  Joël Goossens,et al.  Limitation of the hyper-period in real-time periodic task set generation , 2001 .

[14]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[15]  John P. Lehoczky,et al.  An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[16]  Alan Burns,et al.  Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems , 2008, IEEE Transactions on Computers.

[17]  Yasmina Abdeddaïm,et al.  The Optimality of PFPasap Algorithm for Fixed-Priority Energy-Harvesting Real-Time Systems , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[18]  A. Allavena,et al.  Scheduling of Frame-based Embedded Systems with Rechargeable Batteries , 2001 .