Home » Archivo » Archvio 2013 » SISTEMI REAL-TIME - 2013/2014

Laurea Magistrale

Salta il menu di secondo livello

SISTEMI REAL-TIME - 6 CFU - A.A. 2013/2014

Insegnante

Prof. Tullio Vardanega

Periodo

I Anno - 2 Trimestre | 13/01/2014 - 15/03/2014

Ore: 48 (12 esercitazione, 36 lezione)

Torna su ▲

Prerequisiti

L'insegnamento assume familiarità con l'architettura degli elaboratori tradizionali, con la struttura e le attività dei loro sistemi operativi, particolarmente per quanto attiene a concorrenza, sincronizzazione e gestione dell’I/O. L’insegnamento non prevede propedeuticità.

Conoscenze e abilità da acquisire

Il corso si propone di esaminare la struttura dei sistemi software embedded soggetti a vincoli temporali, con l'obiettivo di evidenziarne le caratteristiche che più li differenziano dagli altri sistemi di calcolo. Attenzione sarà posta su alcuni paradigmi di progettazione e programmazione di tali sistemi, che ne facilitano l'analisi e la verifica.

Modalità di esame

L'esame si svolge in una di due modalità a scelta dello studente. Una modalità richiede la redazione e la presentazione di una relazione tecnica sulle problematiche incontrate nell'adattamento a principi di progettazione e programmazione real-time di un piccolo sistema concorrente e distribuito individuato congiuntamente dallo studente e dal docente. L'altra modalità prevede lo studio critico e la presentazione di un lavoro di ricerca recente, che sviluppa qualcuno dei temi toccati in aula, scelto dallo studente tra un insieme di lavori individuati dal docente.

Criteri di valutazione

Lo sviluppo della prova d'esame scelta dallo studente, indipendentemente dalle sue specifiche modalità, viene accompagnato da intenso dialogo con il docente, che consente allo studente di approfondire le principali problematiche affrontate a lezione e associate alla realizzazione del progetto. La presentazione e discussione da effettuare in sede d'esame consente di completare la valutazione il grado di apprendimento complessivo dello studente rispetto ai principali temi della materia.

contenuti

- Introduzione: cenni storici e visione architetturale
- Cenni sulla affidabilità e la tolleranza ai guasti
- Il problema dell'ordinamento, tassonomia di algoritmi
- Politiche di sincronizzazione nella gestione delle risorse condivise
- Problematiche di sistema: una visione d'insieme della pila tecnologica
- Estensione ai sistemi distribuiti
- Estensione ai sistemi multiprocessore

Attività di apprendimento previste e metodologie di insegnamento

Il corso esamina la struttura dei sistemi software embedded soggetti a vincoli di tempo reale, illustrando le principali problematiche nella loro progettazione, realizzazione e validazione. In particolare vengono affrontate:
- caratterizzazione architetturale (livello hardware, software, e sistema)
- controllo e gestione del tempo e delle interfacce hardware
- progettazione e programmazione di software real-time
- tecniche e approcci per la modellazione e l'analisi di sistemi real-time
- problematiche di verifica e validazione.
Nell'ambito del corso, il docente propone allo studente esercizi da realizzare in proprio in laboratorio per sperimentare direttamente le problematiche progettuali e realizzative e i paradigmi di soluzione illustrati a lezione, oltre a familiarizzare gli studenti con i più recenti sviluppi della teoria real-time intorno a tematiche di particolare interesse.

Eventuali indicazioni sui materiali di studio

Il docente pubblica regolarmente tutte le diapositive utilizzate a lezione e anche materiale supplementare utile per l'approfondimento dei temi trattati in aula.

Testi di riferimento

Torna su ▲