Sistemi Embedded e Real-Time, A.A. 2012-2013
Calendario provvisorio delle lezioni e materiale didattico
| Lez. | Data | Doc. | Argomento | Riferimenti | Lucidi | File |
|---|---|---|---|---|---|---|
| 0 | ma. 2.10 | MC | Introduzione al corso | p1 p2 p4 | ||
| E1 | me. 3.10 | MC | Introduzione ai sistemi embedded | pagine esterne | p1 p2 p4 | |
| E2 | gi. 4.10 | MC | Tecnologie per sistemi embedded | p1 p2 p4 | ||
| R1 | ma. 9.10 | MC | Introduzione ai sistemi real-time | C1, C2 | p1 p2 p4 | |
| E3 | gi. 11.10 | MC | L'architettura ARM – I | pagine esterne | p1 p2 p4 | |
| R2 | ma. 16.10 | MC | Modello di riferimento per i sistemi real-time | C3 | p1 p2 p4 | |
| E4 | gi. 18.10 | MC | L'architettura ARM – II | pagine esterne | p1 p2 p4 | |
| R3 | ma. 23.10 | MC | Schedulazione clock-driven | C5 [-¶ 5.5.2, -§ 5.8] | p1 p2 p4 | |
| E5 | gi. 25.10 | MC | Sistema bare-metal (1): introduzione |
pagine esterne | p1 p2 p4 | |
| R4 | ma. 30.10 | MC | Algoritmi priority-driven | § 4.2, § 6.2 | p1 p2 p4 | |
| R5 | ma. 6.11 | MC | Ottimalità di algoritmi priority-driven | § 4.6, § 4.7, § 4.8, ¶ 6.2.3, § 6.3, § 6.4 |
p1 p2 p4 | |
| E6 | gi. 8.11 | MC | Sistema bare-metal (2): compilazione, makefile, programmazione dei led |
pagine esterne | scaletta, ZIP | |
| R6 | ma. 13.11 | MC | Test di schedulabilità per RM e DM | § 6.5, § 6.6, § 6.7 [-¶ 6.7.5] |
p1 p2 p4 | |
| E7 | gi. 15.11 | MC | Sistema bare-metal (3): inizializzazione; segmenti di memoria e stack |
pagine esterne | scaletta, ZIP | |
| R7 | ma. 20.11 | MC | Schedulazione di job bloccanti | § 6.8 [-¶ 6.8.4, -¶ 6.8.6, -¶ 6.8.7] |
p1 p2 p4 | |
| E8 | gi. 22.11 | MC | Sistema bare-metal (4): inizializzazione hardware, output su porta seriale |
pagine esterne | scaletta, ZIP | |
| R8 | ma. 27.11 | MC | Algoritmi a conservazione di banda per schedulare job aperiodici |
§ 7.1, § 7.2, §7.3 [-211–216] |
p1 p2 p4 | |
| E9 | gi. 29.11 | MC | Sistema bare-metal (5): timer a 40 bit, interruzioni hardware (parte 1) |
pagine esterne | scaletta, ZIP | |
| R9 | ma. 4.12 | MC | Controllo d'accesso alle risorse condivise – I | § 8.1, § 8.2, § 8.3 § 8.4, § 8.5 |
p1 p2 p4 | |
| E10 | gi. 6.12 | MC | Sistema bare-metal (6): interruzioni hardware (parte 2), tick periodico |
pagine esterne | scaletta, ZIP | |
| R10 | ma. 11.12 | MC | Controllo d'accesso alle risorse condivise – II | § 8.5, § 8.6, ¶ 8.7.1, § 8.11 |
p1 p2 p4 | |
| E11 | gi. 13.12 | MC | Sistema bare-metal (7): scheduler RT con job non interrompibili | pagine esterne | scaletta, ZIP | |
| R11 | ma. 18.12 | MC | Real-time su multiprocessore | ¶ 9.1.1, ¶ 9.2.1 pagine esterne |
p1 p2 p4 | |
| E12 | gi. 20.12 | MC | Sistema bare-metal (8): il gestore a basso livello delle interruzioni |
pagine esterne | scaletta, ZIP | |
| R12 | ma. 8.01 | MC | Sistemi operativi real-time – I | ¶ 12.1.1, ¶ 12.1.2 | p1 p2 p4 | |
| E13 | gi. 10.01 | MC | Sistema bare-metal (9): scheduler RT con job interrompibili |
pagine esterne | scaletta, ZIP | |
| R13 | ma. 15.01 | MC | Sistemi operativi real-time – II | pagine esterne | p1 p2 p4 | |
| E14 | gi. 17.01 | MC | Sistema bare-metal (10): misurazione sperimentale di WCET e latenze |
pagine esterne | scaletta, ZIP | |
| R14 | ma. 22.01 | MC | Linux in ambito real-time | pagine esterne | p1 p2 p4 | |
| E15 | gi. 24.01 | MC | Dispositivi logici programmabili | pagine esterne | p1 p2 p4 | |
| E16 | ma. 29.01 | MC | VHDL | pagine esterne | p1 p2 p4 | esempio |
| 31 | gi. 31.01 | MC | Conclusione del corso | p1 p2 p4 |
Note: