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

• GNAT GPL edition 2010 (offerto da AdaCore)
• GNAT/ORK+ for Leon (offerto da DIT/UPM)
  

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 6: ISO/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:

• martedì 09:30 - 12:15 
• giovedì 09:30 - 12:15 
• venerdì 09:30 - 12:15 

Ricevimento studenti

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

• lunedì 12:00 - 13:00

Modalità di esame

• mediante realizzazione e discussione di uno sviluppo prototipale di un piccolo sistema real-time assegnato dal docente. La realizzazione del progetto potrà essere intrapresa in gruppi comprendenti fino ad un massimo di 3 componenti. La discussione del progetto realizzato sarà invece individuale e preceduta da una presentazione di esso da parte dello studente e/o del gruppo di appartenenza
• mediante lo studio critico, la presentazione e la discussione, su base strettamente individuale, di un lavoro scientifico, selezionato dal docente tra pubblicazioni internazionali rilevanti su temi inerenti all'insegnamento.
  

Calendario degli appelli d'esame

I sessione (orale)

• I appello: su appuntamento
• II appello: su appuntamento

II sessione (orale)

• Recupero estivo: su appuntamento
  

• Recupero autunnale: su appuntamento