|
Sistemi
Real-Time Corso di Laurea Magistrale in Informatica Università di Padova, a.a. 2016/17 Docente: Tullio Vardanega |
[pubblicato materiale lezione 22-23]
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)
Risorse
Strumenti di lavoro
- GNAT GPL edition 2016 (offerto da AdaCore)
- GNAT/ORK+
for Leon (offerto da DIT/UPM)
Calendario delle lezioni
| Settimana | Data | Lezione | Contenuto | Materiale didattico |
| 1 |
27 febbraio | 1 | Lezione:
Introduzione |
1.§1-3 |
| 1 marzo |
2 | |||
| 2 |
6 marzo |
3 |
Lezione: Affidabilità e tolleranza
ai guasti |
2.§3 |
| 8 marzo |
4 |
Lezione: Problematiche
di ordinamento: prima introduzione Per approfondire 1: Un modello di cyclic executive |
1.§4-6 | |
| 3 |
13 marzo |
5 |
Continuazione argomento lezione 4 |
|
| 15 marzo |
6 |
|||
| 4 |
20 marzo |
7 |
Lezione: Fixed
Priority Scheduling e Response Time Analysis Per approfondire 2: Response time analysis |
2.§5 |
| 5 |
27 marzo |
8 |
Continuazione argomento lezione 7 | |
| 29 marzo |
9 |
Lezione:
Gestione
di risorse (parte 1) Per approfondire 3: Priority inheritance protocols |
1.§8-9 | |
| 6 | 3 aprile |
10 |
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 aprile | 11 | Continuazione argomento lezione 10 | ||
| 7 |
10 aprile |
12 |
Lezione:
Problematiche
di sistema Per approfondire 7: Raffinamenti alla response time analysis |
2.§16-17 |
| 12
aprile |
13 |
Continuazione lezione 12 | ||
| 8 |
19 aprile |
14 |
Lezione:
Restrizioni
di concorrenza e programmazione per sistemi real-time
staticamente analizzabili Per approfondire 8: ISO/IEC TR 24718:2005 |
2.§15 |
| 9 | 26 aprile |
15 |
Continuazione argomento lezione 14 | |
| 10 |
3 maggio |
16 |
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 |
|
| 11 | 8 maggio | 17 |
Continuazione argomento lezione 16 | |
| 10 maggio | 18 | Lezione: Analisi temporale e analisi avanzata di schedulabilità | ||
| Questionario valutazione didattica |
||||
| 12 |
17 maggio |
19 | Lezione: Estensione a sistemi multicore | BJ2000 1.§9.1,3 |
| 13 |
22 maggio |
20 |
Lezione: Altre vie per l'ottimalità | DP-Fair |
| 24
maggio |
21 |
Continuazione argomento lezione 20 Per approfondire 11: RUN: interpretazione, implementazione e valutazione |
Reduction to Uniprocessor | |
| 14 | 29 maggio | 22 |
Lezione: Condivisione di risorse - presentazione prove d'esame | |
| 31 maggio | 23 | Continuazione argomento lezione 22 | ||
| 15 | 5 giugno | 24 | Riepilogo e ripasso | |
Note pratiche
Le lezioni si svolgeranno in alternanza nelle aule 1BC50 e 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:- lunedì 12:00 - 13:00