Implementation of a speedup-optimal global EDF schedulability test