Improved schedulability analysis of EDF on multiprocessor platforms