Outline:

1. Quiz 1
2. EDF
   • recap: task model and scheduling algorithm
   • guarantee test
   • proof of optimality
3. Assignment: P1

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

What you should understand after today:

• Buttazzo section 3.3 (pp. 49–54)

Paper to read for Friday:

• “IDK Cascades for Time-Series Input Streams” (Agrawal et al.)