Sistemi embedded di rete (2016/2017)

Codice insegnamento
4S02788
Docente
Davide Quaglia
Coordinatore
Davide Quaglia
crediti
6
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Periodo
II sem. dal 1-mar-2017 al 9-giu-2017.

Orario lezioni

II sem.
Giorno Ora Tipo Luogo Note
mercoledì 11.30 - 13.30 lezione Aula I  
mercoledì 14.30 - 17.30 laboratorio Aula D dal 8-mar-2017  al 9-giu-2017

Obiettivi formativi

Questo corso si propone di fornire un approccio scientifico alla progettazione, realizzazione e verifica di applicazioni basate su sistemi embedded di rete come quelle per domotica, automazione industriale, sanità, automotive, controllo e gestione delle risorse ambientali. Verranno descritti i principali protocolli di comunicazione, le metodologie di progettazione, simulazione e verifica e verrà presentato il problema della progettazione di sistemi di controllo mediante rete. La trattazione avverrà attingendo dalla letteratura scientifica e da attività di ricerca direttamente svolte dall'Università di Verona.

Programma

Teoria
------

Protocolli di comunicazione per sistemi embedded di rete
- Reti wireless
- Reti di campo
Metodologie per sistemi embedded di rete
- progetto
- simulazione
- verifica
Sistemi di controllo mediante rete
- descrizione
- tecniche di progettazione

Laboratorio
-----------

- Programmazione di nodi per reti di sensori
- Esempio di progettazione di un sistema embedded di rete
- Simulazione di sistemi embedded di rete
- Esempi di progettazione di sistemi di controllo mediante rete

Per seguire con profitto l'insegnamento è consigliabile che lo studente abbia già acquisito competenze in Architettura degli elaboratori, Reti di calcolatori, Progettazione di sistemi embedded, Teoria dei sistemi, SystemC, Programmazione C/C++

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
John L. Hennessy, David A. Patterson Computer Architecture - A Quantitative Approach (Edizione 5) Morgan Kaufmann 2011 012383872X
C. Hamacher, Z. Vranesic, S. Zaky, N. Manjikian Introduzione all'architettura dei calcolatori (Edizione 1) McGraw-Hill 2012 9788838667510
Andrew S. Tanenbaum Reti di calcolatori (Edizione 4) Pearson - Prentice Hall 2003 8871921828

Modalità d'esame

L'esame consiste di:

1) una prova scritta con domande su teoria ed esercitazioni
2) svolgimento facoltativo di un progetto
- Elaborato bibliografico (max 2 punti, no gruppi)
- Elaborato sperimentale (max 3 punti, max 2 persone)

Per il progetto sono possibili sinergie con altri corsi, stage, e tesi.

Il voto finale (in trentesimi) si ottiene sommando il voto della prova scritta al punteggio del progetto.

Materiale didattico

Documenti

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

I dati relativi all'AA 2016/2017 non sono ancora disponibili