 |
Sistemi
Real-Time Corso di Laurea Magistrale in Informatica Università di Padova, a.a. 2012/13 Docente: Tullio Vardanega |
[inserito aggiornamento materiale lezione 20]
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.
Propedeuticità obbligatorie strette
Sistemi Concorrenti e Distribuiti.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 2012 (offerto da AdaCore)
- GNAT/ORK+ for
Leon (offerto da DIT/UPM)
Calendario delle lezioni
| Settimana | Data | Lezione | Contenuto | Materiale didattico |
| 1 |
14 gennaio |
1 | Lezione:
Introduzione Per approfondire 1: Un manifesto sulla nozione di real-time |
1.§1-3 |
| 15 gennaio |
2 | |||
| 16 gennaio |
3 |
Lezione: Affidabilità e tolleranza ai guasti |
§5 A. Burns, A. Wellings Real-Time Systems and Programming Languages (4th edition) |
|
| 17 gennaio |
4 |
|||
| 2 |
21 gennaio |
5 |
Lezione: Problematiche di ordinamento: prima
introduzione Per approfondire 2: Un modello di cyclic executive |
1.§4-6
|
| 23 gennaio (15:30-17:15) |
6 |
|||
| 24 gennaio |
7 |
Lezione: Fixed
Priority Scheduling e Response Time Analysis Per approfondire 3: Response time analysis |
2.§13-14 | |
| 25 gennaio |
8 |
|||
| 3 |
28 gennaio |
9 |
Lezione:
Gestione di risorse (parte 1) Per approfondire 4: Priority inheritance protocols Per approfondire 5: Stack-based resource allocation policy |
1.§8-9 |
| 29 gennaio |
10 |
|||
| 30 gennaio |
11 |
Lezione:
Gestione di risorse (parte 2) e altre
estensioni di modello |
1.§6.8,12 |
|
| 31 gennaio |
12 |
|||
| 4 |
04 febbraio |
13 |
Lezione: Problematiche di sistema Per approfondire 6: Raffinamenti alla response time analysis |
2.§11-12 2.§15-17 |
| 05 febbraio |
14 |
|||
| 06 febbraio | 15 |
Lezione:
Restrizioni di concorrenza e
programmazione per sistemi real-time staticamente analizzabili Per approfondire 7: ISO/IEC TR 24718:2005 |
2.§17
|
|
| 07 febbraio | 16 |
|||
| 6 |
18 febbraio |
17 |
Lezione: Analisi
di sistemi distribuiti (Michael Gonzalez Harbour,
Universidad de Cantabria, 2009) Per approfondire 8: Worst-Case Dynamic Offsets with Priority Schemes Per approfondire 9: seminari audio/video su temi rilevanti al corso, offerti dall'iniziativa Network of Excellence on embedded systems design (ARTIST2) finanziata dalla Comunità Europea |
|
| 20 febbraio |
Sospensione della didattica per concomitante presentazione agli studenti del Bando Erasmus 2013/14 | |||
| 21 febbraio |
18 |
Continuazione lezione 17 |
||
| 7 |
25 febbraio | 19 |
Lezione: Analisi temporale e analisi avanzata di schedulabilità | |
| 26 febbraio | 20 |
Lezione:
Estensione a sistemi multicore |
BJ2000 1.§9.1,3 DP-Fair |
|
| 8 |
04 marzo |
21 |
Continuazione lezione 20 |
|
| 05 marzo |
22 |
Continuazione lezione 20 |
||
| 9 |
11 marzo |
23 |
Presentazione e assegnazione delle prove d'esame | |
| 12 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
- venerdì 09:30 - 11:15
Ricevimento studenti
Il ricevimento studenti si tiene in stanza 400 per appuntamento, preferibilmente:- lunedì 12:00 - 13:00