A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy