Tests for global EDF schedulability analysis