 |
Sistemi Real-Time Corso di Laurea Magistrale in Informatica Università di Padova, a.a. 2009/10 Docente: Tullio Vardanega |
[inserito materiale lezione 17]
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
modalita'
embedded in domini
applicativi critici. Le attività didattiche includono
sperimentazione pratica di tipo progettuale con tecnologie
rappresentative del dominio.
Propedeuticità obbligatorie strette
Sistemi Concorrent 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
Strumenti di lavoro
- GNAT GPL edition 2009 (offerto da AdaCore)
- GNAT/ORK+ for Leon
(offerto da DIT/UPM)
Calendario delle lezioni
| Settimana | Data | Lezione | Contenuto | Materiale didattico |
| 1 |
12 gennaio |
1 | Lezione: Introduzione Per approfondire 1: Un manifesto sulla nozione di real-time |
1.§1-3 |
| 13 gennaio (09:30 - 12:15) |
2 | |||
| 2 |
19 gennaio |
3 |
Lezione: Affidabilità e tolleranza ai
guasti |
§5 Alan Burns, Andy Wellings Real-Time Systems and Programming Languages (4th edition) |
| 20 gennaio (11:30 - 14:15) |
4 |
|||
| 21 gennaio |
5 |
Lezione: Problematiche
di
ordinamento Per approfondire 2: Un modello di cyclic executive |
1.§4-6 |
|
| 3 |
26 gennaio |
6 |
||
| 27 gennaio (11:30 - 14:15) |
7 |
|||
| 28 gennaio |
8 |
|||
| 4 |
2 febbraio |
Assenza del docente |
||
| 4 febbraio |
||||
| 5 |
9
febbraio |
|||
| 11 febbraio |
9 |
Lezione: Ancora su Fixed
Priority Scheduling e Response
Time
Analysis Per approfondire 3: Response time analysis |
2.§13-14 |
|
| 12
febbraio 11:30-13:15 2AB/40 |
10 |
Lezione: Gestione di risorse (parte 1) Per approfondire 4: Priority inheritance protocols Per approfondire 5: Stack-based resource allocation policy |
1.§8-9 | |
| 6 |
16 febbraio |
11 |
Lezione: Gestione di risorse (parte 2) e altre
estensioni di modello |
1.§6.8,12 2.§11-12 2.§15-17 |
| 18 febbraio |
12 |
Lezione: Problematiche di sistema | ||
| 7 |
23 febbraio |
Assenza del docente |
||
| 25 febbraio | ||||
| 8 |
1 marzo 15:30 - 17:15 2AB/40 |
13 |
Lezione:
Restrizioni
di
concorrenza
e
programmazione per sistemi real-time
staticamente analizzabli Per approfondire 6: ISO/IEC TR 24718:2005 |
|
| 2 marzo |
14 |
Esempio: Un
semplice sistema real-time costruito con pattern
di programmazione Per approfondire 7: seminari audio/video su temi rilevanti al corso, offerti dall'iniziativa network of excellence on embedded systems design (ARTIST2) finanziata dalla comunità europea |
GNAT/ORK+ | |
| 3 marzo 11:30 - 13:15 1BC/45 (rilevazione) |
15 |
Seminario (2009): Michael
Gonzalez Harbour, Universidad de Cantabria |
||
| 4 marzo |
16 |
Lezione: Analisi
temporale e analisi di
schedulabilità |
||
| 9 |
9 marzo |
17 |
Lezione:
Multicore |
BJ2000 2.§9.3 |
| 11 marzo |
18 |
Assegnazione
delle prove d'esame |
Note pratiche
Le lezioni indicate in calendario si terranno con l'orario e la collocazione seguenti, salvo ove indicato diversamente:- martedì 09:30 - 12:15 in aula 1BC/50
- giovedì 11:00 - 13:15 in aula 1BC/45
Ricevimento studenti
Il ricevimento studenti si tiene in stanza 409 per appuntamento, preferibilmente:- lunedì 12:00 - 13:00