logo

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

Docente: Tullio Vardanega
(Ultimo aggiornamento: 19 maggio 2018 ore 17:05)
[pubblicato materiale lezioni 21-24]

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 e sempre più rivolti verso sistemi aperti (p.es. self-driving cars). Le attività didattiche includono anche spazi di sperimentazione pratica con tecnologie rappresentative del dominio.

Materiale didattico

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

  2. Analysable Real-Time Systems - Programmed in Ada
    Alan Burns and Andy Wellings
    CreateSpace Independent Publishing Platform, Amazon Books (2016)
  3. Letteratura scientifica (approfondimenti)

Risorse

Strumenti di lavoro

Calendario delle lezioni

Settimana Data Lezione Contenuto Materiale didattico
1
26 febbraio 1 Lezione: Introduzione
Per studio personale: Affidabilità e tolleranza ai guasti (2.§3)
1.§1-3
28 febbraio
2
2
7 marzo
3
Lezione: Problematiche di ordinamento: prima introduzione
Per approfondire 1: Un modello di cyclic executive
1.§4-6
8 marzo
(16:30-18:15)
4
3
12 marzo
5
Lezione: Fixed Priority Scheduling e Response Time Analysis
Per approfondire 2: Response time analysis
2.§5
14 marzo
6
4
19 marzo
7
Lezione: Gestione di risorse (parte 1)
Per approfondire 3: Priority inheritance protocols
1.§8-9
21 marzo
8
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
5
26 marzo 9 Continuazione lezione 8
6
4 aprile
10
Lezione: Restrizioni di concorrenza e programmazione per sistemi real-time staticamente analizzabili
Per approfondire 7ISO/IEC TR 24718:2018 (applicazione di esempio)
2.§16-17
5 aprile
(16:30-18:15)
11
Lezione: Problematiche di sistema
Per approfondire 8: Raffinamenti alla response time analysis
2.§15
7 9 aprile
12
Continuazione lezione 11
11 aprile
13
Presentazione primo tema d'esame (Ravenscar-EDF)
8
16 aprile
14
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

9 23 aprile 15
Lezione:Esercizi di analisi avanzata

Questionario valutazione didattica
10 2 maggio 16 Lezione: Analisi del tempo d'esecuzione
11 7 maggio
17 Lezione: Estensione a sistemi multicore BJ2000
1.§9.1,3
9 maggio 18
12
14 maggio
19
Lezione: Alla ricerca dell'ottimalità perduta
1. DP-Fair
2. RUN orig.
3. RUN impl.
16 maggio
20
13 21 maggio 21 Lezione: Condivisione di risorse globali
Presentazione secondo tema d'esame


23 maggio 22
14 28 maggio 23 Lezione: La sfida del parallelismo predicibile
30 maggio 24 Conclusioni e riepilogo

Note pratiche

Le lezioni si svolgeranno in aula 1BC45, 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