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:
Master's Degree in Computer Engineering for Intelligent Systems - 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. 2025/2026
| Modules | Credits | TAF | SSD |
|---|
3 modules among the following
(A.A. 2025/2026 Internet of medical things not activated)| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
3 modules among the following
(A.A. 2025/2026 Internet of medical things not activated)| Modules | Credits | TAF | SSD |
|---|
4 modules among the following:
- 1st year: Advanced visual computing and 3d modeling, Computer vision, Embedded & IoT systems design, Embedded operating systems, Robotics
- 2nd year: Advanced control systemsLegend | 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 (2024/2025)
Teaching code
4S009005
Teacher
Coordinator
Credits
6
Language
English
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Period
Semester 2 dal Mar 3, 2025 al Jun 13, 2025.
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- Models of embedded systems.
2- Real time operating systems: design principles; task scheduling, resource access protocols
3- Synchronization in distributed systems
4- Case studies
Bibliography
Didactic methods
The course is organized in lectures, exercises and self-assessment activities through the use of online questionnaires. There will also be practical computer exercises.
Learning assessment procedures
The exam consists of three parts:
- a written test containing questions and exercises;
- the presentation of an in-depth study of your choice in the field of process management for embedded operating systems;
- a report applying what learned in the laboratory exercises to a case study. As an alternative to this report, it is possible to carry out a project connected to the thesis.
Evaluation criteria
To pass the exam, students must demonstrate that they:
- have understood the principles underlying the functioning of an embedded and real-time operating system
- are able to present their topics in a precise and organic way without digressions
- know how to apply their 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 test allows you to obtain a maximum mark of 27/30.
The presentation of the in-depth study allows you to obtain up to 3/30 points to be added to the grade of the written test.
The laboratory report allows you to obtain up to 3/30 points to be added to the score of the written test.
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
