|
Sistemi
Real-Time Corso di Laurea Magistrale in Informatica Università di Padova, a.a. 2017/18 Docente: Tullio Vardanega |
[pubblicato materiale lezioni 21-24]
Presentazione
Obiettivi formativi
L'insegnamento Sistemi Real-Time si
propone di introdurre gli studenti alle problematiche di progettazione,
realizzazione e verifica di sistemi software
soggetti a vincoli temporali stretti e operanti in modalità embedded in domini applicativi critici e sempre più
rivolti verso sistemi aperti (p.es. self-driving cars). 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
- Analysable
Real-Time Systems - Programmed in Ada
Alan Burns and Andy Wellings
CreateSpace Independent Publishing Platform, Amazon Books (2016)
- Letteratura scientifica (approfondimenti)
Risorse
- IEEE Technical Committee on Real-Time Systems
- Real-time for the real world (E. Douglas Jensen)
Strumenti di lavoro
- GNAT GPL edition 2017 (offerto da AdaCore)
- GNAT/ORK+
for Leon (offerto da DIT/UPM)
Calendario delle lezioni
| Settimana | Data | Lezione | Contenuto | Materiale didattico |
| 1 |
26 febbraio | 1 | Lezione:
Introduzione Per studio personale: Affidabilità e tolleranza ai guasti (2.§3) |
1.§1-3 |
| 28 febbraio |
2 | |||
| 2 |
7 marzo |
3 |
Lezione: Problematiche di ordinamento: prima introduzione Per approfondire 1: Un modello di cyclic executive |
1.§4-6
|
| 8 marzo (16:30-18:15) |
4 |
|||
| 3 |
12 marzo |
5 |
Lezione: Fixed
Priority Scheduling e Response Time Analysis Per approfondire 2: Response time analysis |
2.§5
|
| 14 marzo |
6 |
|||
| 4 |
19 marzo |
7 |
Lezione:
Gestione
di risorse (parte 1) Per approfondire 3: Priority inheritance protocols |
1.§8-9 |
| 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 |
26 marzo | 9 | Continuazione lezione 8 | |
| 6 |
4
aprile |
10 |
Lezione:
Restrizioni
di concorrenza e programmazione per sistemi real-time
staticamente analizzabili Per approfondire 7: ISO/IEC TR 24718:2018 (applicazione di esempio) |
2.§16-17 |
| 5
aprile (16:30-18:15) |
11 |
Lezione:
Problematiche
di sistema Per approfondire 8: Raffinamenti alla response time analysis |
2.§15
|
|
| 7 | 9 aprile |
12 |
Continuazione lezione 11 | |
| 11 aprile |
13 |
Presentazione primo tema d'esame (Ravenscar-EDF) | ||
| 8 |
16 aprile |
14 |
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 |
|
| 9 | 23 aprile | 15 |
Lezione:Esercizi di analisi avanzata |
|
| Questionario valutazione didattica | ||||
| 10 | 2 maggio | 16 | Lezione: Analisi del tempo d'esecuzione | |
| 11 | 7 maggio |
17 | Lezione: Estensione a sistemi multicore | BJ2000 1.§9.1,3 |
| 9 maggio | 18 | |||
| 12 |
14 maggio |
19 |
Lezione:
Alla
ricerca dell'ottimalità perduta |
1. DP-Fair 2. RUN orig. 3. RUN impl. |
| 16
maggio |
20 |
|||
| 13 | 21 maggio | 21 | Lezione:
Condivisione
di risorse globali Presentazione secondo tema d'esame |
|
| 23 maggio |
22 |
|||
| 14 | 28 maggio | 23 | Lezione: La sfida del parallelismo predicibile | |
| 30 maggio | 24 | Conclusioni e riepilogo |
||
Note pratiche
Le lezioni si svolgeranno in aula 1BC45, 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