Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Laurea magistrale in Ingegneria e scienze informatiche - Enrollment from 2025/2026The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
Modules | Credits | TAF | SSD |
---|
2° Year activated in the A.Y. 2016/2017
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Due insegnamenti a scelta
Legend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Networked embedded systems (2015/2016)
Teaching code
4S02788
Teacher
Coordinator
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Period
II semestre dal Mar 1, 2016 al Jun 10, 2016.
Location
VERONA
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.
Author | Title | Publishing house | Year | ISBN | Notes |
---|---|---|---|---|---|
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 |
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.
Teaching materials e documents
-
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)