logo

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

Docente: Tullio Vardanega
(Ultimo aggiornamento: 27 maggio 2016 ore 16:00)
[pubblicato materiali lezioni 21-22]

Presentazione

Obiettivi formativi

L'insegnamento Sistemi Real-Time si propone di introdurre 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.

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

Risorse

Strumenti di lavoro

Calendario delle lezioni

Settimana Data Lezione Contenuto Materiale didattico
1
2 marzo 1 Lezione: Introduzione
1.§1-3
4 marzo
(14:00-15:30)
2
2
  9 marzo
3
Lezione: Affidabilità e tolleranza ai guasti
§5
A. Burns,
A. Wellings
Real-Time Systems and Programming Languages (4th edition)

11 marzo
4
Lezione: Problematiche di ordinamento: prima introduzione
Per approfondire 1: Un modello di cyclic executive
1.§4-6
3 16 marzo
5
Continuazione argomento lezione 4  
4
23 marzo
6
Lezione: Fixed Priority Scheduling e Response Time Analysis
Per approfondire 2: Response time analysis
2.§13-14
5
 30 marzo
7
Continuazione argomento lezione 6
01 aprile
8
Lezione: Gestione di risorse (parte 1)
Per approfondire 3: Priority inheritance protocols
1.§8-9
6
06 aprile
9
Continuazione argomento lezione 8
 08 aprile
10
Lezione: Gestione di risorse (parte 2) e altre estensioni di modello
Per approfondire 4: Stack-based resource allocation policy
Per approfondire 5: Una implementazione di deferred preemption
Per approfondire 6: Considerazioni sulla deferred preemption
1.§6.8,12
7 15 aprile
(2BC60)
11 Continuazione argomento lezione 10
8
20 aprile
12
Lezione: Problematiche di sistema
Per approfondire 7: Raffinamenti alla response time analysis
2.§11-12
2.§15-17
22 aprile
13
Continuazione lezione 12
9
27 aprile
14
Lezione: Restrizioni di concorrenza e programmazione per sistemi real-time staticamente analizzabili
Per approfondire 8ISO/IEC TR 24718:2005
2.§17
29 aprile
15
Continuazione argomento lezione 14
10
 04 maggio
16
Lezione: Analisi di sistemi distribuiti
Per approfondire 9: Worst-Case Dynamic Offsets with Priority Schemes
Per approfondire 10: seminari audio/video su temi rilevanti al corso, offerti dall'iniziativa Network of Excellence on embedded systems design (ARTIST2) finanziata dalla Unione Europea

11 11 maggio 17
Continuazione argomento lezione 16
13 maggio 18 Lezione: Analisi temporale e analisi avanzata di schedulabilità

Questionario valutazione didattica
12
18 maggio
19 Lezione: Estensione a sistemi multicore
20 maggio
20
Lezione: Altre vie per l'ottimalità BJ2000
1.§9.1,3
DP-Fair
13
25 maggio
21
Continuazione argomento lezione 20 Reduction to Uniprocessor
27 maggio 22
Lezione: Condivisione di risorse - presentazione prove d'esame Esperienze di implementazione:
RUN
QPS

15 8 giugno 23 Riepilogo e ripasso

Note pratiche

Le lezioni si svolgeranno in aula 1BC50 nelle date indicate nel calendario sopra riportato con l'orario specificato sul sito del corso di studi.

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

Gli esami si svolgono in sessione pubblica, su appuntamento.

Valid HTML
          4.01 Transitional