|
Sistemi
Real-Time Corso di Laurea Magistrale in Informatica Università di Padova, a.a. 2015/16 Docente: Tullio Vardanega |
[pubblicato materiali lezioni 21-22]
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. Le attività
didattiche includono sperimentazione pratica di tipo progettuale con
tecnologie rappresentative del dominio. Materiale didattico
- Real-Time
Systems
Jane W.S. Liu
Prentice Hall ISBN 0-13-099651-3
- Concurrent
and Real-Time Programming in Ada
Alan Burns and Andy Wellings
Cambridge University Press ISBN 978-0-521-86697-2
Risorse
Strumenti di lavoro
- GNAT GPL edition 2015 (offerto da AdaCore)
- GNAT/ORK+
for Leon (offerto da DIT/UPM)
Calendario delle lezioni
| Settimana | Data | Lezione | Contenuto | Materiale didattico |
| 1 |
2 marzo | 1 | Lezione:
Introduzione |
1.§1-3 |
| 4 marzo (14:00-15:30) |
2 | |||
| 2 |
9 marzo |
3 |
Lezione: Affidabilità e tolleranza
ai guasti |
§5 A. Burns, A. Wellings Real-Time Systems and Programming Languages (4th edition) |
| 11 marzo |
4 |
Lezione: Problematiche
di ordinamento: prima introduzione Per approfondire 1: Un modello di cyclic executive |
1.§4-6 | |
| 3 | 16 marzo |
5 |
Continuazione argomento lezione 4 | |
| 4 |
23 marzo |
6 |
Lezione: Fixed
Priority Scheduling e Response Time Analysis Per approfondire 2: Response time analysis |
2.§13-14 |
| 5 |
30 marzo |
7 |
Continuazione argomento lezione 6 | |
| 01 aprile |
8 |
Lezione:
Gestione
di risorse (parte 1) Per approfondire 3: Priority inheritance protocols |
1.§8-9 | |
| 6 |
06 aprile |
9 |
Continuazione argomento lezione 8 | |
| 08 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 | |
| 7 | 15 aprile (2BC60) |
11 | Continuazione argomento lezione 10 | |
| 8 |
20 aprile |
12 |
Lezione:
Problematiche
di sistema Per approfondire 7: Raffinamenti alla response time analysis |
2.§11-12 2.§15-17 |
| 22
aprile |
13 |
Continuazione lezione 12 | ||
| 9 |
27 aprile |
14 |
Lezione:
Restrizioni
di concorrenza e programmazione per sistemi real-time
staticamente analizzabili Per approfondire 8: ISO/IEC TR 24718:2005 |
2.§17 |
| 29 aprile |
15 |
Continuazione argomento lezione 14 | ||
| 10 |
04 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 | 11 maggio | 17 |
Continuazione argomento lezione 16 | |
| 13 maggio | 18 | Lezione: Analisi temporale e analisi avanzata di schedulabilità | ||
| Questionario valutazione didattica |
||||
| 12 |
18 maggio |
19 | Lezione: Estensione a sistemi multicore | |
| 20 maggio |
20 |
Lezione: Altre vie per l'ottimalità | BJ2000 1.§9.1,3 DP-Fair |
|
| 13 |
25
maggio |
21 |
Continuazione argomento lezione 20 | Reduction to Uniprocessor |
| 27 maggio | 22 |
Lezione: Condivisione di risorse - presentazione prove d'esame |
Esperienze di implementazione: RUN QPS |
|
| 15 | 8 giugno | 23 | Riepilogo e ripasso | |
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:- lunedì 12:00 - 13:00