Outline:

1. Time-triggered scheduling (aka timeline scheduling aka Cyclic Executive)
2. Rate-monotonic scheduling (RM)
   • example
   • proof of optimality

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

• CE: Buttazzo section 4.2 (pp. 84-86)
• RM: Buttazzo sections 4.3-4.3.1 (pp. 86-89)