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. 2014/2015
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Modules | Credits | TAF | SSD |
---|
Tre insegnamenti a scelta tra i seguenti
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 (2013/2014)
Teaching code
4S02788
Teacher
Coordinator
Credits
6
Language
Italian
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Period
II semestre dal Mar 3, 2014 al Jun 13, 2014.
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) 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, 31 KB, 6/12/14)
-
01.Introduzione al corso (pdf, it, 317 KB, 3/6/14)
-
02.Introduzione alle Wireless Sensor Network (pdf, en, 1747 KB, 3/6/14)
-
03.Medium Access Control in Wireless Sensor Networks (pdf, en, 629 KB, 3/18/14)
-
04.Introduction to ZigBee (pdf, en, 7030 KB, 4/9/14)
-
05.Lab on IEEE 802.15.4 (pdf, en, 7918 KB, 4/10/14)
-
06.Introduzione alle reti di campo, CAN, CANOpen (pdf, it, 779 KB, 5/2/14)
-
07.Model-Driven Design and UML (pdf, en, 2481 KB, 5/5/14)
-
08.Design flow for NES (pdf, en, 1952 KB, 5/12/14)
-
09.Sorgenti SCNSL (zip, it, 4486 KB, 5/23/14)
-
10.Lectures prof. Pegatoquet (zip, en, 8102 KB, 5/26/14)
-
11.Presentation of Emad PhD (pdf, en, 6704 KB, 5/26/14)
-
12.Introduction to SCNSL (pdf, en, 6934 KB, 5/27/14)
-
13.Introduction to Networked Control Systems (pdf, en, 4651 KB, 5/26/14)
-
14.Workshop on UML toolchain (pdf, en, 866 KB, 5/30/14)
-
15.Esercitazione su NCS (zip, it, 29434 KB, 6/6/14)
-
16.Lista proposte di progetti e tesi (pdf, it, 171 KB, 6/12/14)
-
A.Datasheet Texas Instruments CC2530 (pdf, en, 972 KB, 3/18/14)
-
B.Papers on WSN MAC (zip, en, 4770 KB, 3/18/14)
-
C.IEEE 802.15.4 standard (pdf, en, 3694 KB, 3/18/14)
-
D.Appunti degli anni precedenti (pdf, it, 4321 KB, 6/20/14)