Schedulability tests are presented for preemptive earliest-deadline-first
and deadline-monotonic scheduling of periodic real-time tasks on a
single-queue
-server system, in which the deadline of a task
may be less than or equal to the task period. These results
subsume and generalize several known utilization-based multiprocessor
schedulability tests, and are derived via an independent proof.