Sistemi Real-Time - Manifesto dell'insegnmento a.a. 2018/19

Le attività didattiche includono anche spazi di sperimentazione pratica con tecnologie rappresentative del dominio.

Materiale didattico

Real-Time Systems
Jane W.S. Liu
Prentice Hall ISBN 0-13-099651-3 (2000)
Analysable Real-Time Systems - Programmed in Ada
Alan Burns and Andy Wellings
CreateSpace Independent Publishing Platform, Amazon Books (2016)
Letteratura scientifica
(alla voce "Per approfondire")

Risorse

IEEE Technical Committee on Real-Time Systems
Real-time for the real world (E. Douglas Jensen)

Strumenti di lavoro

GNAT GPL edition 2018 (offerto da AdaCore)

Calendario delle lezioni

Settimana	Data	Lezione	Contenuto	Materiale didattico
1	27 febbraio	1	Lezione: Introduzione Per studio personale: Affidabilità e tolleranza ai guasti (2.§3)	1.§1-3
1	28 febbraio	2		1.§1-3
2	6 marzo	3	Lezione: Problematiche di ordinamento: prima introduzione Per approfondire 1: Un modello di cyclic executive	1.§4-6
2	7 marzo	4		1.§4-6
3	13 marzo	5	Lezione: Fixed Priority Scheduling e Response Time Analysis Per approfondire 2: Response time analysis	2.§5
3	14 marzo	6		2.§5
4	20 marzo	7	Lezione: Gestione di risorse (parte 1) Per approfondire 3: Priority inheritance protocols	1.§8-9
4	21 marzo	8	Lezione: Gestione di risorse (parte 2) e altre estensioni di modello Per approfondire 4: Stack-based resource allocation policy Per approfondire 5: Una implementazione di deferred preemption Per approfondire 6: Considerazioni sulla deferred preemption	1.§6.8,12
5	27 marzo	9	Continuazione lezione 8
5	28 marzo	10	Continuazione lezione 8
6	3 aprile	11	Lezione: Restrizioni di concorrenza e programmazione per sistemi real-time staticamente analizzabili Per approfondire 7: ISO/IEC TR 24718:2018 Per approfondire 8: Esempio di applicazione conforme al profilo Ravenscar	2.§16-17
6	4 aprile	12	Continuazione lezione 11	2.§16-17
8	15 aprile (08:30-10:00 2AB45)	13	Lezione: Problematiche di sistema Per approfondire 8: Raffinamenti alla response time analysis	2.§15
	17 aprile	14	Continuazione lezione 13	2.§15
	18 aprile	15	Lezione: Analisi di sistemi distribuiti Per approfondire 9: Worst-Case Dynamic Offsets with Priority Schemes Per approfondire 10: Seminari audio/video su temi rilevanti al corso, offerti dall'iniziativa Network of Excellence on embedded systems design (ARTIST2) finanziata dalla Unione Europea
10	2 maggio	16	Continuazione lezione 15
Questionario valutazione didattica
11	8 maggio	17	Lezione: Considerazioni avanzate e analisi del tempo d'esecuzione
11	9 maggio (16:30-18:00)	18 19	Lezione: Estensione a sistemi multicore:introduzione	BJ2000 1.§9.1,3
12	15 maggio	20	Lezione: Alla ricerca dell'ottimalità perduta	1. DP-Fair 2. RUN orig. 3. RUN impl.
12	16 maggio	21	Lezione: Alla ricerca dell'ottimalità perduta	1. DP-Fair 2. RUN orig. 3. RUN impl.
13	22 maggio	22	Lezione: Condivisione di risorse globali
13	23 maggio	23	Presentazione temi d'esame
14	29 maggio	24	Lezione: La sfida del parallelismo predicibile
14	30 maggio	25	Ricevimento collettivo per ripasso argomenti e chiarimenti finali

Note pratiche

Le lezioni si svolgeranno in aula 1BC50, nelle date indicate nel calendario sopra riportato con l'orario specificato sul sito del corso di studi.

Ricevimento studenti

Il ricevimento studenti si tiene in stanza 400 per appuntamento, preferibilmente:

martedì 12:00 - 13:00

Presentazione

Obiettivi formativi