logo

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

Docente: Tullio Vardanega
(Ultimo aggiornamento: 27 maggio 2017 ore 17:45)
[pubblicato materiale lezione 22-23]

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)

Risorse

Strumenti di lavoro

Calendario delle lezioni

Settimana Data Lezione Contenuto Materiale didattico
1
27 febbraio 1 Lezione: Introduzione
1.§1-3
1 marzo
2
2
6 marzo 
3
Lezione: Affidabilità e tolleranza ai guasti
2.§3
8 marzo
4
Lezione: Problematiche di ordinamento: prima introduzione
Per approfondire 1: Un modello di cyclic executive
1.§4-6
3
13 marzo
5
Continuazione argomento lezione 4

15 marzo
6
4
20 marzo
7
Lezione: Fixed Priority Scheduling e Response Time Analysis
Per approfondire 2: Response time analysis
2.§5
5
27 marzo
8
Continuazione argomento lezione 7
29 marzo
9
Lezione: Gestione di risorse (parte 1)
Per approfondire 3: Priority inheritance protocols
1.§8-9
6 3 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
5 aprile 11 Continuazione argomento lezione 10
7
10 aprile
12
Lezione: Problematiche di sistema
Per approfondire 7: Raffinamenti alla response time analysis
2.§16-17
12 aprile
13
Continuazione lezione 12
8
19 aprile
14
Lezione: Restrizioni di concorrenza e programmazione per sistemi real-time staticamente analizzabili
Per approfondire 8ISO/IEC TR 24718:2005
2.§15
9 26 aprile
15
Continuazione argomento lezione 14
10
3 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 8 maggio 17
Continuazione argomento lezione 16
10 maggio 18 Lezione: Analisi temporale e analisi avanzata di schedulabilità

Questionario valutazione didattica
12
17 maggio
19 Lezione: Estensione a sistemi multicore BJ2000
1.§9.1,3
13
22 maggio
20
Lezione: Altre vie per l'ottimalità DP-Fair
24 maggio
21
Continuazione argomento lezione 20
Per approfondire 11: RUN: interpretazione, implementazione e valutazione
Reduction to Uniprocessor
14 29 maggio 22
Lezione: Condivisione di risorse - presentazione prove d'esame
31 maggio 23 Continuazione argomento lezione 22
15 5 giugno 24 Riepilogo e ripasso

Note pratiche

Le lezioni si svolgeranno in alternanza nelle aule 1BC50 e 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