| Giorno | Ora | Tipo | Luogo | Note |
|---|---|---|---|---|
| giovedì | 14.30 - 16.30 | lezione | Aula C | |
| venerdì | 11.30 - 14.30 | laboratorio | Aula B, Alfa | dal 2-apr-2014 al 13-giu-2014 |
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.
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 |
L'esame consiste di:
1) una prova scritta con domande su teoria ed esercitazioni
2) svolgimento 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.
00.Calendario delle lezioni
(pdf, it, 31 KB, 12/06/14)
01.Introduzione al corso
(pdf, it, 317 KB, 06/03/14)
02.Introduzione alle Wireless Sensor Network
(pdf, en, 1747 KB, 06/03/14)
03.Medium Access Control in Wireless Sensor Networks
(pdf, en, 629 KB, 18/03/14)
04.Introduction to ZigBee
(pdf, en, 7030 KB, 09/04/14)
05.Lab on IEEE 802.15.4
(pdf, en, 7918 KB, 10/04/14)
06.Introduzione alle reti di campo, CAN, CANOpen
(pdf, it, 779 KB, 02/05/14)
07.Model-Driven Design and UML
(pdf, en, 2481 KB, 05/05/14)
08.Design flow for NES
(pdf, en, 1952 KB, 12/05/14)
09.Sorgenti SCNSL
(zip, it, 4486 KB, 23/05/14)
10.Lectures prof. Pegatoquet
(zip, en, 8102 KB, 26/05/14)
11.Presentation of Emad PhD
(pdf, en, 6704 KB, 26/05/14)
12.Introduction to SCNSL
(pdf, en, 6934 KB, 27/05/14)
13.Introduction to Networked Control Systems
(pdf, en, 4651 KB, 26/05/14)
14.Workshop on UML toolchain
(pdf, en, 866 KB, 30/05/14)
15.Esercitazione su NCS
(zip, it, 29434 KB, 06/06/14)
16.Lista proposte di progetti e tesi
(pdf, it, 171 KB, 12/06/14)
A.Datasheet Texas Instruments CC2530
(pdf, en, 972 KB, 18/03/14)
B.Papers on WSN MAC
(zip, en, 4770 KB, 18/03/14)
C.IEEE 802.15.4 standard
(pdf, en, 3694 KB, 18/03/14)
D.Appunti degli anni precedenti
(pdf, it, 4321 KB, 20/06/14)
