Calendario (provvisorio)


Lez. Data Doc. Argomento Riferimenti Lucidi File
0 Ma 30.09 MC Introduzione al corso    
E1 Ma 30.09 MC Introduzione ai sistemi embedded pagine esterne  
R1 G 02.10 MC Introduzione ai sistemi real-time C1, C2  
E2 Ma 07.10 MC Tecnologie per sistemi embedded  
 
L1 Me 08.10 MC Nascita ed evoluzione dei sistemi operativi pagine esterne  
R2 G 16.10 MC Modello di riferimento per i sistemi real-time C3  
E3 Ma 21.10 MC L'architettura ARM pagine esterne  
L2 Me 22.10 MC Il software libero pagine esterne  
R3 G 23.10 MC Schedulazione clock-driven C5 [-¶ 5.5.2, -§ 5.8]  
E4 Ma 28.10 MC Sistema bare-metal (1): introduzione; cross-compiler, makefile, linker script pagine esterne

L3 Me 29.10 MC Nascita ed evoluzione di Linux pagine esterne  
R4 G 30.10 MC Algoritmi priority-driven § 4.2, § 6.2  
E5 Ma 04.11 MC Sistema bare-metal (2): programmazione dei led; inizializzazione dei segmenti di memoria e stack pagine esterne  
 L4  Me 05.11  MC  Scrittura di moduli di Linux. Parametri e simboli dei moduli LDD3: C2  
R5 G 6.11 MC Ottimalità di algoritmi priority-driven § 4.6, § 4.7, § 4.8, ¶ 6.2.3, § 6.3, § 6.4
 
E6 Ma 11.11 MC Sistema bare-metal (3): astrazione dei registri hardware, inizializzazione vettore eccezioni pagine esterne
 L5  Me 12.11  MC Kernel debugging: printk; il filesystem /proc, seqfile LDD3: C4    
R6 G 13.11 MC Test di schedulabilità per RM e DM § 6.5, § 6.6, § 6.7 [-¶ 6.7.5]
 
E7 Ma 18.11 MC Sistema bare-metal (4): output su porta seriale, interruzioni hardware parte 1 pagine esterne  
 L6  Me 19.11  MC Wait queue    
R7 G 20.11 MC Schedulazione di job bloccanti § 6.8 [-¶ 6.8.4, -¶ 6.8.6, -¶ 6.8.7]
 
 L7  Me 26.11  MC Gestione del tempo. Funzioni procastinabili    
R8 G 27.11 MC Algoritmi a conservazione di banda per schedulare job aperiodici § 7.1, § 7.2, §7.3 [-211–216]  
E8 Ma 02.12 MC Sistema bare-metal (5): interruzioni hardware parte 2, tick periodico pagine esterne  
L8 Me 03.12 MC Work queue. Concorrenza e sincronizzazione, parte 1    
R9 G 04.12 MC Controllo d'accesso alle risorse condivise – I § 8.1, § 8.2, § 8.3 § 8.4, § 8.5
 
E9 Ma 09.12 MC Sistema bare-metal (6): scheduler RT con job non interrompibili pagine esterne  
 L9  Me 10.12  MC Concorrenza e sincronizzazione, parte 2      
R10 G 11.12 MC Controllo d'accesso alle risorse condivise – II § 8.5, § 8.6, ¶ 8.7.1, § 8.11
 
E10 Ma 16.12 MC Sistema bare-metal (7): il gestore a basso livello delle interruzioni pagine esterne

 L10  Me 17.12  MC Concorrenza e sincronizzazione, parte 3  pagine esterne  
R11 G 18.12 MC Real-time su multiprocessore ¶ 9.1.1, ¶ 9.2.1 pagine esterne
 
 L11  Me 07.01  MC Allocazione della memoria    
R12 G 08.01 MC Sistemi operativi real-time – I ¶ 12.1.1, ¶ 12.1.2  
E11
Ma 13.01 MC Sistema bare-metal (8): scheduler RT con job interrompibili pagine esterne

 L12 Me 14.01  MC Device driver a carattere, parte 1    
R13 G 15.01 MC Sistemi operativi real-time – II pagine esterne  
E12 Ma 20.01 MC Sistema bare-metal (9): scheduler EDF e CBS pagine esterne  
 L13  Me 21.01 MC Device driver a carattere, parte 2    
R14 G 22.01 MC Linux in ambito real-time pagine esterne
 
E13
MC Sistema bare-metal (10): misurazione sperimentale di WCET e latenze pagine esterne   
 L14 MC  Device driver a carattere, parte 3    


Note:

  • Le date delle lezioni sono indicative.
  • 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.
    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:
    • MC: Marco Cesati