|
Sistemi
Real-Time
Corso di Laurea Magistrale in Informatica
Università di Padova, a.a. 2019/2020
Docente: Tullio
Vardanega
|
(Ultimo aggiornamento: 2 giugno 2020 ore 9:50)
[pubblicato materiale ultima lezione]
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 autonomi operanti in ambiente aperto e dinamico.
L'insegnamento intende
sollecitare e rafforzare la comprensione dei meccanismi di "runtime"
che governano l'esecuzione di applicazioni soggette a vincoli di tempo
reale: tali meccanismi riguardano, tra l'altro, la gestione della
concorrenza e delle interruzioni, l'ordinamento delle attività rispetto ai
vincoli di priorità o di scadenza, i protocolli di accesso alle risorse
condivise, la migrazione tra CPU.
Le attività didattiche
sollecitano anche opportunità di sperimentazione pratica con tecnologie
rappresentative del dominio.
Materiale didattico
- Real-Time
Systems
Jane W.S. Liu
Prentice Hall ISBN 0-13-099651-3 (2000)
- Analysable
Real-Time Systems - Programmed in Ada
Alan Burns and Andy Wellings
CreateSpace Independent Publishing Platform, Amazon Books (2016)
- Letteratura scientifica
(alla voce "Per approfondire")
Risorse
Strumenti di lavoro
Calendario delle lezioni
Note pratiche
Stante le misure di restrizione cautelativa delle attività assembleari, le
lezioni saranno erogate come risorse digitali per fruizione personale e
asincrona, reperibili attraverso la sezione del portale
Moodle
associata a questo insegnamento. Il materiale di lezione sarà reso
disponibile in esso, prima delle corrispondenti lezioni, secondo il
programma sopra riportato.
Entro le ore 18 di ogni
venerdì di ogni settimana del programma didattico, gli studenti potranno
porre domande sul materiale pubblicato, usando la bacheca digitale del
portale: a tali domande, il docente risponderà in forma collettiva
attraverso il medesimo portale entro le ore 24 della domenica successiva.
Ricevimento studenti
Ricevimenti individuali e collettivi potranno essere richiesti in ogni
momento dagli studenti interessati.
Per tali ricevimenti, il
docente ha riservato la fascia oraria
12:00-13:00 del martedì.
Fino a nuovo ordine,
ogni ricevimento verrà svolto per il tramite dell'applicazione di
video-conferenza Zoom: gli studenti invitati al
ricevimento programmato riceveranno una notifica di accesso a una pagina web
dedicata, tramite la quale essi potranno accedere alla "riunione virtuale"
con il loro client locale Zoom.
Le richieste ricevute
entro le ore 18 del lunedì, verranno servite nel ricevimento del giorno
successivo.
Quelle tardive
scivoleranno alla settimana successiva.
Modalità di esame
L'esame di profitto si svolgerà in una
di due modalità, a scelta dello studente:
- mediante realizzazione e
discussione di uno sviluppo
prototipale di
un piccolo sistema real-time assegnato dal docente. La
realizzazione del prototipo potrà essere intrapresa in gruppi
comprendenti fino ad un massimo di 3 individui. La discussione del
prototipo realizzato sarà preceduta da una presentazione di esso da
parte del/dei candidati;
- mediante lo studio, l'analisi
critica, la presentazione e la discussione, su
base individuale o di coppie di individui, di un lavoro
scientifico, selezionato dal docente tra pubblicazioni
internazionali rilevanti su temi inerenti all'insegnamento.
Calendario degli appelli d'esame
Gli esami si svolgono in sessione
pubblica, su appuntamento.