Learning outcomes

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.

Program

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.

Examination Methods

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.

Teaching materials e documents

•   00.Calendario delle lezioni   (pdf, it, 30 KB, 31/05/13)
•   01.Introduzione al corso   (pdf, it, 408 KB, 06/03/13)
•   02.Introduction to wireless sensor network   (pdf, en, 1747 KB, 06/03/13)
•   03.Medium Access Control in Wireless Sensor Networks   (pdf, en, 629 KB, 09/04/13)
•   04.Introduction to UML   (pdf, en, 2080 KB, 02/04/13)
•   05.Reti di campo, CAN, CANopen   (pdf, it, 779 KB, 16/04/13)
•   06.Introduction to RFID   (pdf, en, 1163 KB, 29/04/13)
•   07.ZigBee and IEEE 802.15.4 packet capturing   (pdf, en, 1404 KB, 30/04/13)
•   08.Design flow for Networked Embedded Systems   (pdf, en, 1952 KB, 07/05/13)
•   09.SystemC Network Simulation Library (SCNSL)   (pdf, en, 1083 KB, 14/05/13)
•   10.SCNSL with examples and exercises   (zip, en, 6715 KB, 14/05/13)
•   11.Toolchain for NES design flow   (pdf, en, 10662 KB, 15/05/13)
•   12.Design of Networked Control System   (pdf, en, 4651 KB, 05/06/13)
•   13.Exercices with the UML toolchain   (pdf, en, 2568 KB, 29/05/13)
•   14.Esercitazione su NCS e DiffServ   (zip, it, 21025 KB, 04/06/13)
• 15.Esercitazione su NCS e buffering (html, it, 0 KB, 04/06/13)
•   A.Datasheet Texas Instruments CC2530   (pdf, en, 972 KB, 13/03/13)
•   B.Papers on WSN MAC   (zip, en, 4770 KB, 09/04/13)
•   C.IEEE 802.15.4 standard   (pdf, en, 3694 KB, 10/04/13)
•   D.Documents about NES design flow   (zip, en, 11104 KB, 07/05/13)
•   Z.Proposte di elaborati/stage/tesi   (pdf, it, 40 KB, 18/04/13)