Lesson 9: RM, cont'd, Deadline-Monotonic Scheduling

Outline:

  1. A utilization-based test for RM, cont’d
    • proof of for RM for two tasks
    • formula for for RM for tasks
  2. Deadline-monotonic scheduling (DM)

Reading assignment (to be completed by the next class):

  • RM utilization bound for two tasks: Buttazzo section 4.3.2 (pp. 90-94)
  • DM: Buttazzo sec. 4.5-4.5.2 (pp. 103-109)