| 1 |
10 Jan |
Introduction |
L1 |
1.1, 1.2 |
|
| 2 |
12 Jan |
Basics & Aperiodic Scheduling |
L2 |
2.1-2.4, 3.1-3.4 |
|
| 3 |
17 Jan |
^ |
^ |
^ |
|
| 4 |
19 Jan |
Periodic Scheduling (TS, RM) |
L4, notes |
4.1-4.3.1 |
|
| 5 |
24 Jan |
Periodic Scheduling (RM, EDF) |
L5, notes |
4.3.2, 4.4 |
|
| 6 |
26 Jan |
Periodic Scheduling (DM) |
L6, notes |
4.5 |
|
| 7 |
31 Jan |
^ |
notes |
^ |
|
| 8 |
2 Feb |
^ |
notes |
^ |
|
| 9 |
7 Feb |
CAN Bus Analysis |
L9 |
|
Davis et al. (2007) |
| 10 |
9 Feb |
Resource Sharing (NPP, PIP, Mars) |
L10 |
7.2-7.4, 7.6 |
Jones (1997), Durkin (1998) |
| 11 |
14 Feb |
Resource Sharing (PIP, PCP) |
L11, notes |
7.6-7.7, 7.9 |
|
| 12 |
16 Feb |
^ |
^ |
^ |
|
| - |
21 Feb |
Midterm Break |
- |
- |
- |
| - |
23 Feb |
Midterm Break |
- |
- |
- |
| 13 |
28 Feb |
Resource Sharing (SRP) |
L13, notes |
7.8 |
|
| 14 |
1 Mar |
^ |
^ |
^ |
|
| 15 |
7 Mar |
Fixed-Priority Servers (BS, PS, DS, SS) |
L15 |
5.2-5.4, 5.6 |
|
| 16 |
9 Mar |
Dynamic-Priority Servers (DSS, CBS) |
^ |
6.3, 6.9 |
|
| 17 |
14 Mar |
Dynamic-Priority Servers (DSS, CBS) |
^, notes |
^ |
|
| 18 |
16 Mar |
WCET Analysis |
L18 |
|
Ch. 16 in Lee and Seshia |
| 19 |
21 Mar |
Multiprocessor Scheduling (Partitioned) |
L19 |
|
|
| 20 |
23 Mar |
Multiprocessor Scheduling (Partitioned) |
L20 |
|
Ch. 6 in Baruah et al. |
| 21 |
28 Mar |
Multiprocessor Scheduling (Global) |
^ |
|
|
| 22 |
30 Mar |
Multiprocessor Scheduling (Global) |
^ |
|
Bertogna and Cirinei (2007) |
| 23 |
4 Apr |
Compositional Performance Analysis |
L23 |
|
Henia et al. (2005), Diemer et al. (2012) |
| 24 |
6 Apr |
^ |
^ |
|
^ |