Sistemi Real-Time Corso di Laurea Magistrale in Informatica Università di Padova, a.a. 2008/9 Docente: Tullio Vardanega

(Ultimo aggiornamento: 5 marzo 2009 ore 10:45)
[aggiunto materiale lezioni 19-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 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

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

• GNAT GPL edition 2008 (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
2	21 gennaio	4	Lezione: Affidabilità e tolleranza ai guasti	§5 Alan Burns, Andy Wellings Real-Time Systems and Programming Languages (3rd edition)
	22 gennaio	5
	23 gennaio	6
3	28 gennaio	7	Lezione: Problematiche di ordinamento (parte 1, parte 2) Per approfondire 2: Un modello di cyclic executive Per approfondire 3: Response time analysis	1.§4-6 2.§13-14
	29 gennaio	8
	30 gennaio	9
4	4 febbraio	10	Lezione: Gestione di risorse (parte 1, parte 2) Per approfondire 4: Priority inheritance protocols Per approfondire 5: Stack-based resource allocation policy	1.§8-9
	5 febbraio	11
	6 febbraio	12
5	11 febbraio		Assenza del docente
	12 febbraio
	13 febbraio	13	Lezione: Problematiche di sistema (parte 1, parte 2, parte 3) Esercitazione: Restrizioni di concorrenza per sistemi real-time staticamente analizzabli (parte 1, ISO/IEC TR 24718:2005) Esercitazione: programmazione per sistemi real-time Esempio: un sistema real-time costruito con pattern di programmazione	1.§6.8,12 2.§11-12 2.§15-17
6	18 febbraio	14
	19 febbraio	15
	20 febbraio	16
7	25 febbraio	17
	26 febbraio	18	Seminario di Michael Gonzalez Harbour (Universidad de Cantabria) Per approfondire 6: seminari audio/video su temi rilevanti al corso, offerti dall'iniziativa network of excellence on embedded systems design (ARTIST2) finanziata dalla comunità europea
	27 febbraio (valutazione didattica)	19	Lezione/Esercitazione: Analisi temporale (parte 1, parte 2)
8	4 marzo	20	Lezione/Esercitazione: Analisi di schedulabilità (parte 1, parte 2) Esercitazione: Progettazione, realizzazione e uso di un real-time kernel aderente al profilo Ravenscar	GNAT/ORK+
	5 marzo	21
	6 marzo	22	Ricapitolazione finale
		Esami	Specifica del progetto didattico

Note pratiche

Le lezioni indicate in calendario si terranno con l'orario e la collocazione seguenti:

• mercoledì 11:30 - 13:15 in aula 1BC/45
• giovedì 11:30 - 13:15 in aula 1BC/45
• venerdì 11:30 - 13:15 in aula 1BC/45

Ricevimento studenti

Il ricevimento studenti si tiene in stanza 409 per appuntamento, oppure anche settimanalmente (salvo diverso avviso):

• lunedì 12:00 - 13:00