Further improved schedulability analysis of EDF on multiprocessor platforms TR-051001
Theodore P. Baker · 2005
This report shows how to tighten the analysis of global EDF scheduling on multiprocessor platforms, so as to verify the feasibility of a significantly larger range of task systems than has been possible using the previously known tests, including those recently by Bertogna, Cirinei, and Lipari. The improved EDF feasibility test for sporadic task systems with arbitrary deadlines is proven correct, and evaluated in comparison to prior schedulability tests by simulation.