Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:
Laurea magistrale in Ingegneria e scienze informatiche - Immatricolazione dal 2025/2026Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
Insegnamenti | Crediti | TAF | SSD |
---|
2° Anno Attivato nell'A.A. 2016/2017
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Due insegnamenti a scelta
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Sistemi embedded di rete (2015/2016)
Codice insegnamento
4S02788
Docente
Coordinatore
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Periodo
II semestre dal 1 mar 2016 al 10 giu 2016.
Sede
VERONA
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++
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 e documenti
-
00.Calendario del corso (pdf, it, 30 KB, 5/19/16)
-
01.Presentazione del corso (pdf, it, 292 KB, 3/2/16)
-
02.Wireless sensor networks (pdf, en, 1540 KB, 3/2/16)
-
03.Medium Access Control in Wireless Sensor Networks (pdf, en, 639 KB, 3/8/16)
-
04.IEEE 802.15.4 and ZigBee (pdf, en, 6621 KB, 3/30/16)
-
05.Reti di campo, CAN, CANOpen (pdf, it, 926 KB, 4/6/16)
-
06.NES Programming and Protocols (pdf, en, 1811 KB, 4/13/16)
-
07.Model driven design and UML (pdf, en, 6562 KB, 4/26/16)
-
08.Network simulation (pdf, en, 789 KB, 4/27/16)
-
09.NES design flow (pdf, en, 9952 KB, 5/2/16)
-
10.Network Synthesis Lab (pdf, en, 795 KB, 5/11/16)
-
11.Introduction to Networked Control Systems (pdf, en, 4651 KB, 5/16/16)
-
12.Optimal Network Synthesis Lab (pdf, en, 648 KB, 5/25/16)
-
13.NCS Security (zip, en, 844 KB, 5/25/16)
-
14.Esercitazione su NCS (html, it, 0 KB, 5/30/16)
-
A.Papers about WSN (zip, en, 4770 KB, 3/2/16)
-
B.Datasheet of TI CC2530 (pdf, en, 972 KB, 3/2/16)
-
C.IEEE 802.15.4 standard (pdf, en, 3694 KB, 4/6/16)
-
D.Sorgenti SCNSL per esercitazione simulazione di rete (zip, it, 2496 KB, 4/27/16)