logo

Sistemi Real-Time
Corso di Laurea Magistrale in Informatica
Università di Padova, a.a. 2010/11

Docente: Tullio Vardanega
(Ultimo aggiornamento: 11 marzo 2011 ore 14:45)
[inserita variazione orario lezione 16
aggiornato materiale L10.pdf]

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

  1. Real-Time Systems
    Jane W.S. Liu
    Prentice Hall ISBN 0-13-099651-3

  2. Concurrent and Real-Time Programming in Ada
    Alan Burns and Andy Wellings
    Cambridge University Press ISBN 978-0-521-86697-2

Strumenti di lavoro

Calendario delle lezioni

Settimana Data Lezione Contenuto Materiale didattico
1
21 gennaio
1 Lezione: Introduzione
Per approfondire 1: Un manifesto sulla nozione di real-time
1.§1-3
2
25 gennaio
2
27 gennaio
3
Lezione: Affidabilità e tolleranza ai guasti §5
Alan Burns, Andy Wellings
Real-Time Systems and Programming Languages (4th edition)

28 gennaio
4
3
01 febbraio
5
Lezione: Problematiche di ordinamento
Per approfondire 2: Un modello di cyclic executive
1.§4-6
03 febbraio
6
4
08 febbraio
7
Lezione: Fixed Priority Scheduling e Response Time Analysis
Per approfondire 3: Response time analysis
2.§13-14
10 febbraio
8
Lezione: Gestione di risorse (parte 1)
Per approfondire 4: Priority inheritance protocols
Per approfondire 5: Stack-based resource allocation policy
1.§8-9
11 gennaio
9
Lezione: Gestione di risorse (parte 2) e altre estensioni di modello 1.§6.8,12
5
15 febbraio
10
Lezione: Problematiche di sistema
2.§11-12
2.
§15-17
6
22 febbraio
11
24 febbraio
12
Lezione: Restrizioni di concorrenza e programmazione per sistemi real-time staticamente analizzabili
Per approfondire 6ISO/IEC TR 24718:2005
2.§17
8
7 marzo
(1BC45 13:30-15:15)

13
Seminario (2009): Michael Gonzalez Harbour, Universidad de Cantabria
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

10 marzo
14
Lezione: Analisi temporale e analisi avanzata di schedulabilità
11 marzo
15
Lezione: Estensione a multicore (cenni); sustainability
BJ2000
1.§9.1,3
9
14 marzo
(1A150 11:30-13:15)
16
15 marzo
17
Lezione: Ricapitolazione

16 marzo
(1BC45 15:30-17:15)
18
Presentazione e assegnazione delle prove d'esame

Note pratiche

Le lezioni si svolgeranno in aula 1BC/50 nelle date indicate in calendario con l'orario seguente:

Ricevimento studenti

Il ricevimento studenti si tiene in stanza 400 per appuntamento, preferibilmente:

Modalità di esame

L'esame di profitto si svolgerà in una di due modalità, a scelta dello studente:

Calendario degli appelli d'esame

I sessione (orale)

II sessione (orale)

III sessione (orale)

Valid HTML 4.01 Transitional