 |
Sistemi
Real-Time Corso di Laurea Magistrale in Informatica Università di Padova, a.a. 2013/14 Docente: Tullio Vardanega |
[aggiornamento materiale lezioni 20-22]
Presentazione
Obiettivi formativi
L'insegnamento Sistemi
Real-Time
si propone di formare 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 2013 (offerto da AdaCore)
- GNAT/ORK+
for Leon (offerto da DIT/UPM)
Calendario delle lezioni
| Settimana | Data | Lezione | Contenuto | Materiale didattico |
| 1 |
13 gennaio |
1 | Lezione:
Introduzione Per approfondire 1: Un manifesto sulla nozione di real-time |
1.§1-3 |
| 14 gennaio |
2 | |||
| 15 gennaio |
3 |
Lezione: Affidabilità e tolleranza ai guasti
|
§5 A. Burns, A. Wellings Real-Time Systems and Programming Languages (4th edition) |
|
| 16 gennaio |
4 |
|||
|
3 |
27 gennaio |
5 |
Lezione: Problematiche di ordinamento: prima
introduzione Per approfondire 2: Un modello di cyclic executive |
1.§4-6
|
| 28 gennaio |
6 |
|||
| 29 gennaio |
7 |
Lezione: Fixed
Priority Scheduling e Response Time Analysis Per approfondire 3: Response time analysis |
2.§13-14 | |
| 30 gennaio |
8 |
|||
|
5 |
10 febbraio |
9 |
Lezione:
Gestione di risorse (parte 1) Per approfondire 4: Priority inheritance protocols |
1.§8-9 |
| 11 febbraio |
10 |
|||
| 12 febbraio |
11 |
Lezione:
Gestione di risorse (parte 2) e altre
estensioni di modello Per approfondire 5: Stack-based resource allocation policy Per approfondire 6: Deferred preemption |
1.§6.8,12 |
|
| 13 febbraio |
12 |
|||
|
6 |
17 febbraio |
13 |
Lezione: Problematiche di sistema Per approfondire 7: Raffinamenti alla response time analysis |
2.§11-12 2.§15-17 |
| 18 febbraio |
14 |
|||
| 19 febbraio | 15 |
Lezione:
Restrizioni
di concorrenza e programmazione per sistemi real-time
staticamente analizzabili Per approfondire 8: ISO/IEC TR 24718:2005 |
2.§17 | |
| 20 febbraio | 16 |
|||
| Questionario
valutazione didattica |
||||
| 7 | 03 marzo | 17 | 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 Comunità Europea |
|
| 04 marzo |
18 |
Continuazione lezione 17 |
|
|
| 05 marzo |
19 |
Lezione: Analisi temporale e analisi avanzata di schedulabilità | |
|
| 06 marzo | 20 |
Lezione:
Estensione a sistemi multicore |
BJ2000 1.§9.1,3 DP-Fair |
|
| 8 |
10 marzo |
21 |
Continuazione lezione 20 |
|
| 11 marzo |
22 |
Continuazione lezione 20 |
||
| 12 marzo |
23 |
Presentazione e assegnazione delle prove d'esame | |
|
| 13 marzo |
24 |
Eventuale recupero |
|
|
Note pratiche
Le lezioni si svolgeranno in aula 1BC45 nelle date indicate in calendario con l'orario seguente:- lunedì
09:30 - 11:15
- martedì 09:30 - 11:15
- mercoledì
09:30 - 11:15
- giovedì 09:30 - 11:15
Ricevimento studenti
Il ricevimento studenti si tiene in stanza 400 per appuntamento, preferibilmente:- lunedì 12:00 - 13:00