Note:
Le date e gli argomenti delle lezioni sono indicative. Le lezioni non saranno svolte in presenza, quindi le date si riferiscono alla pubblicazione del materiale didattico pre-registrato.
Il corso si avvale della sperimentazione avviata dalla Facoltà di Ingegneria che consente di effettuare lezioni di 105 minuti ciascuna, al fine di lasciare più tempo tra la fine delle lezioni e l'inizio della sessione d'esami. Le lezioni del programma da 6 CFU termineranno (ossia verranno rese pubbliche) entro fine novembre. Le restanti lezioni (marcate con la sigla "SERT") fanno parte del programma da 9 CFU.
I lucidi di ogni lezione sono disponibili in tre versioni: "p1" = 1 lucido per foglio, "p2" = 2 lucidi per foglio, "p4"= 4 lucidi per foglio
Qualora non indicato diversamente, i riferimenti sono relativi al libro di testo: J. W. S. Liu, Real-time Systems, Prentice Hall, 2000.
La sigla LDD3 si riferisce a Linux Device Drivers, 3rd ed., by J. Corbet, A. Rubini, G. Kroah-Hartman, O'Reilly Media, 2005.
I riferimenti tra parentesi tonde indicano lettura consigliate su argomenti non in programma. Esempi:
C2: intero Capitolo 2
§ 2.3: intera sezione 3 del Capitolo 2
¶ 2.3.2: intero paragrafo 2 della sezione 2.3
28–30: da pagina 28 a pagina 30
C5 [-¶ 5.5.2, -§ 5.8]: intero Capitolo 5 tranne paragrafo 5.5.2 e sezione 5.8
Sigle dei docenti e tutor:
MC: Marco Cesati