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) optional 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.

Bibliography

Teaching materials

•   00.Calendario del corso   (pdf, it, 30 KB, 19/05/16)
•   01.Presentazione del corso   (pdf, it, 292 KB, 02/03/16)
•   02.Wireless sensor networks   (pdf, en, 1540 KB, 02/03/16)
•   03.Medium Access Control in Wireless Sensor Networks   (pdf, en, 639 KB, 08/03/16)
•   04.IEEE 802.15.4 and ZigBee   (pdf, en, 6621 KB, 30/03/16)
•   05.Reti di campo, CAN, CANOpen   (pdf, it, 926 KB, 06/04/16)
•   06.NES Programming and Protocols   (pdf, en, 1811 KB, 13/04/16)
•   07.Model driven design and UML   (pdf, en, 6562 KB, 26/04/16)
•   08.Network simulation   (pdf, en, 789 KB, 27/04/16)
•   09.NES design flow   (pdf, en, 9952 KB, 02/05/16)
•   10.Network Synthesis Lab   (pdf, en, 795 KB, 11/05/16)
•   11.Introduction to Networked Control Systems   (pdf, en, 4651 KB, 16/05/16)
•   12.Optimal Network Synthesis Lab   (pdf, en, 648 KB, 25/05/16)
•   13.NCS Security   (zip, en, 844 KB, 25/05/16)
• 14.Esercitazione su NCS (html, it, 0 KB, 30/05/16)
•   A.Papers about WSN   (zip, en, 4770 KB, 02/03/16)
•   B.Datasheet of TI CC2530   (pdf, en, 972 KB, 02/03/16)
•   C.IEEE 802.15.4 standard   (pdf, en, 3694 KB, 06/04/16)
•   D.Sorgenti SCNSL per esercitazione simulazione di rete   (zip, it, 2496 KB, 27/04/16)