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
The 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 It will be activated in the A.Y. 2026/2027
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
4 modules among:
- 1st year - Embedded operating systems, Embedded & IoT Systems design, Robotics, Computer vision, Advanced visual computing and 3D modeling - delivered in 2025/2026
- 2nd year - Advanced control systems - delivered in 2026/20273 modules among:
- 2nd year - Advanced methods for biomedical signal processing, Neurohealth, Medical robotics, Internet of Medical things - delivered in 2026/2027
- 1st or 2nd year - Mathematical modeling for Industrial and medical digital twins, Cloud computing and distributed systems - delivered in 2025/2026 or in 2026/2027 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.
Embedded operating systems (2025/2026)
Teaching code
4S009005
Teacher
Coordinator
Credits
6
Language
English
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Period
2nd semester dal Mar 2, 2026 al Jun 12, 2026.
Courses Single
Authorized
Learning objectives
The course aims to train students on advanced theoretical and implementation aspects of embedded operating systems, in a distributed and real-time scenario. The main objective of the course is therefore to highlight the main differences between conventional operating systems and embedded operating systems in the field of process, memory and file system management, taking into account the typical constraints of an embedded system and its interaction with the environment. Upon completion of the course, the students must demonstrate that they have acquired the fundamental knowledge to understand the internal organization, operation and services of the embedded operating systems. In particular, they will have knowledge on: i) the differences between a conventional operating system and an embedded operating system in a distributed and real-time scenario; ii) the strategies used by the embedded operating systems to manage the resources of the computing system; iii) the application fields of embedded operating systems. This knowledge will allow the students to: i) develop programs with the awareness of how an embedded operating system manages processes; ii) develop applications that use primitives (called system functions) made available by particular categories of embedded operating systems; iii) develop and modify components of an embedded operating system. At the end of the course, the students will have acquired the ability to independently assess the advantages and disadvantages of different design choices in the context of the services offered by an embedded operating system, also in a distributed and real-time environment. In addition, they will be able to: i) carry out a group laboratory project and present the results by motivating the choices with language appropriateness: ii) independently continue the study and research in the field of distributed, embedded and real time operating systems, addressing advanced issues both in the industrial and scientific fields.
Prerequisites and basic notions
Basic knowledge of traditional operating systems
Program
1- Embedded system models
2- Real-time operating systems: design principles, task scheduling, resource access protocol
3- Synchronization in distributed environment
4- Case studies
Bibliography
Didactic methods
The course is organized in lectures, exercises and practical computer activities.
Learning assessment procedures
The exam consists of three parts:
- a written test containing three questions, including open-ended questions and exercises;
- a presentation of a topic of your choice in the field of process management for embedded operating systems;
- a report describing the application of what was learned in the laboratory exercises to a case study. Alternatively, students may complete a project related to their thesis.
There are no midterm exams. The exam is the same for both attending and non-attending students.
Evaluation criteria
To pass the exam, students must demonstrate that they:
- understand the principles underlying the functioning of an embedded and real-time operating system
- are able to present their arguments in a precise and organic way without digressions
- know how to apply the knowledge acquired to solve application problems presented in the form of exercises, questions and computer projects.
Criteria for the composition of the final grade
The written exam yields a maximum grade of 27/30. The presentation of an in-depth study yields up to 3/30 points, which can be added to the written exam grade. The laboratory report yields up to 3/30 points, which can be added to the written exam grade. Honors will be awarded to those with a final score higher than 30.
Exam language
English
Sustainable Development Goals - SDGs
This initiative contributes to the achievement of the Sustainable Development Goals of the UN Agenda 2030. More information on sustainability
