Implementation of energy based EDF, EDF-slack and EEA scheduling algorithm

Energy constrained systems such as sensor networks can increase their usable lifetimes by extracting energy from their environment. This is known as energy harvesting. Task scheduling at the single nodes should account for the properties of the regenerative energy source which fluctuates, capacity of the energy storage as well as deadlines of the time critical tasks. In this paper, we address the problem of scheduling periodic, possibly self-suspending, real-time tasks. We provide schedulability tests for EDF, EDF-Slack and EEA and a feasibility test using model checking.