| Day | Time | Type | Place | Note |
|---|---|---|---|---|
| Thursday | 2:30 PM - 4:30 PM | lesson | Lecture Hall C | |
| Friday | 11:30 AM - 2:30 PM | laboratorio | Lecture Hall B, Alfa | from Apr 2, 2014 to Jun 13, 2014 |
This class aims at providing a scientific approach to the design, implementation and verification of applications based on networked embedded systems, e.g., for building automation, factory automation, healthcare, automotive, environmental control. The class will describe the main communication protocols, design/simulation/verification methodologies as well as the design of networked control systems. The contents will be taken from state-of-the-art papers and research activities directly performed by the University of Verona.
Theory
------
Communication protocols for networked embedded systems
- Wireless networks
- Fieldbus networks
Methodologies for networked embedded systems
- design
- simulation
- verification
Networked control systems
- description
- design techniques
Laboratory
----------
- Node programming for sensor networks
- Example of design of a networked embedded system
- Simulation of networked embedded systems
- Examples of design of networked control systems
To attend fruitfully the class, the students should know
Computer Architectures, Computer Networks, Embedded Systems Design, System Theory, SystemC, C/C++ programming.
| Author | Title | Publisher | Year | 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 |
The examination consists of:
1) written test with questions about the theory and practice part of the class
2) project
- Bibliographic research (max 2 points, no groups)
- Experimental activity (max 3 points, max 2 people)
For the project, synergies are possibles with other classes, stage and thesis.
The final result (over 30 points) is computed by summing the result of both the written test and the project.
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)
