The Optimality of PFPasap Algorithm for Fixed-Priority Energy-Harvesting Real-Time Systems

Yasmina Abdeddaim, Younes Chandarli, Damien Masson
2013 2013 25th Euromicro Conference on Real-Time Systems  
The paper addresses the real-time xed-priority scheduling problem for battery-powered embedded systems whose energy storage unit is replenished by an environmental energy source. In this context, a task may meet its deadline only if its cost of energy can be satised early enough. Hence, a scheduling policy for such a system should account for properties of the source of energy, capacity of the energy storage unit and tasks cost of energy. Classical xed-priority schedulers are no more suitable
more » ... r this model. Based on these motivations, we propose P F PASAP an optimal scheduling algorithm that handles both energy and timing constraints. Furthermore, we state the worst case scenario for non concrete tasksets 1 scheduled with this algorithm and build a necessary and sucient feasibility condition for non concrete tasksets. Moreover, a minimal bound of the storage unit capacity that keeps a taskset schedulable with P F PASAP is also proposed. Finally, we validate the proposed theory with large scale simulations and compare our algorithm with other existing ones. 1 a non concrete taskset is a set of real-time tasks whose osets are known only at run-time 1 hal-
doi:10.1109/ecrts.2013.16 dblp:conf/ecrts/AbdeddaimCM13 fatcat:etede6spybf6lourzhnznriwsi