Outline:

1. Recap: critical instants
2. Proof of RM optimality, cont’d
3. A utilization-based test for RM
   • definition of
   • proof of for RM for two tasks

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

• definition: Buttazzo section 4.1.1 (pp. 82-84)
• RM utilization bound for two tasks: Buttazzo section 4.3.2 (pp. 90-94)