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.

Type D and Type F activities

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 interateneo in Ingegneria dei sistemi medicali per la persona - Enrollment from 2025/2026

Students can choose the type D training activities among a catalogue of courses, while type F activities provide additional knowledge useful for entering the job market (internships, transferable skills, project works, etc.). According to the Degree Programme description and regulation, some activities can be chosen and added autonomously by the students to the academic record, whereas others must be approved by a committee to verify their coherence with the study plan. Type D or F training activities can be covered by the following activities: 

1. Courses offered at the University of Verona: 

This includes the course listed below and/or in the Course Catalogue (which can be filtered by language using advanced search) 

Procedure for adding courses to the academic record: Ig the course is among those listed below or in the Catalogue, the student can add it independently when the study plan is open for modifications; otherwise, the student must request approval from the Student Office by sending the form to carriere.scienze@ateneo.univr.it during the specified periods

Starting from students enrolled in the Academic Year 2022/2023, courses offered in the 2nd and 3rd years of the study plan can be autonomously added to the academic record.

There is no need to submit the request to add the following courses to the academic record to the “Commissione Pratiche Studenti”: Database and Web (BSc in Bioinformatics); General Biology (BSc in Bionformatics); Molecular Biology (BSc in Bioinformatics); Probaility and Statistics (BSc in Computer Science); Programming and Network Security (BSc in Computer Science). 

2. CLA Language Certification or Equivalence 

Beside to to those already required by the study plan, the following language certifications can be added as additional training activities for students enrolled in the academic years 2021/2022 and 2022/2023: 

English language: 3 CFU will be granted for each level of proficiency above the level required by the study program (if not already granted in the previous degree programme). 

Other languages and Italian for foreigners: 3 CFU will be granted for each level of proficiency starting from A2 (if not already granted in the previous degree programme). 

These CFU will be granted as type D activities and up to a 3 CFU in total. In case the language certification is dated prior to 27/10/2023 (date of the vote of the Teaching Board of Information Engineering) the maximum CFU to be granted can be extended to 6, as for previous regulation. Additional credits for language knowledge can only be granted if consistent with the student's educational project and adequately justified. 

For students enrolled in the academic year 2023/2024, credits for language certifications beyond those specified in the teaching plan will be recorded as extra type D CFU. 

Procedure for adding the relevant academic record: Request the certificate or equivalence certificate to the CLA and send it to the Student Administration Office via email (carriere.scienze@ateneo.univr.it) for the exam to be recorded. 

3. Transferable Skills 

Discover the training paths promoted by TALC – Teaching and Learning Center of the University, intended for students regularly enrolled in the Academic Year offering the modules https://talc.univr.it/en/competenze-trasversali  

Procedure for adding the relevant academic record: the modules will not be added to the study plan, but CFU will be granted after obtaining the Open Badge. The procedure may require a certain amount of time to reach a conclusion. 

4. Contamination Lab 

The Contamination Lab Verona (CLab Verona) is an experiential program with modules dedicated to innovation and corporate culture that offers the opportunity to work in teams with students from all degree programs to solve challenges posed by companies and organizations. The program allows receiving 6 type D or F CFU. Discover the challenges: https://www.univr.it/en/clabverona. 

NOTE: To be admitted to any educational activity, including electives, students must be enrolled in the specific Academic Year of the course being offered. Therefore, it is recommended that those who foresee to graduate December and April sessions do NOT undertake extracurricular activities for the new Academic Year in which they are not enrolled, as these graduation sessions are valid for the previous Academic Year. Therefore, modules carried out in an Academic Year when the students is not enrolled with the University of Verona, the relevant CFU will not be recorded. 

5. Internship/Stage and other activities 

The student must complete a 7 CFU internship and attend a 2 CFU module on “Medical Systems Seminars”. 

Annually, the Internship Committee (tirocini-ismp@ateneo.univr.it) proposes a list of internship projects from which students can choose in line with their study plan and interests. The list can be complemented, after the approval of the Internship Committee, with proposals made by students who independently look for internship opportunities within the departments of the universities involved in the Degree programme, or within external organizations/companies. The management of the internship process is detailed in the  Vademecum delle Attività di Tirocinio. Here is the relevant information page (with a link to Moodle) and here the general information on how to activate an internship. 

Please note that for internships starting from October 1, 2024 with external partners/company, extra hours can lead to extra type D CFU. 

Academic year:

Teaching code

4S009887

Credits

6

Language

Italian

Scientific Disciplinary Sector (SSD)

ING-INF/05 - INFORMATION PROCESSING SYSTEMS

Courses Single

Authorized

The teaching is organized as follows:

Teoria

Credits

4

Period

Semester 1

Academic staff

Graziano Pravadelli

Laboratorio

Credits

2

Period

Semester 1

Academic staff

Samuele Germiniani

Learning objectives

The course aims to introduce the principles of operating systems, regarding the software architecture of an operating system, the management and synchronization of processes and the management of the computing system resources. At the end of the course, students must demonstrate that they have:
- Knowledge and understanding related to the internal organization, functioning and services of an operating system. In particular, they will have understood: the main functions of an operating system in relation to users and application programs, the strategies used by the operating system to manage the resources of a computer, and the techniques used to implement the components of an operating system.
- Ability to apply the acquired knowledge to: develop applications with awareness of how the operating system manages processes, develop applications that use the primitives made available by the operating system, and develop and modify components of an operating system.
- Ability to autonomously evaluate the advantages and disadvantages of different design choices in the context of the services offered by an operating system.
- Ability to carry out a group laboratory project and to present the relative results, motivating the choices with appropriate language.
- Ability to develop the skills necessary to continue studying operating systems, addressing advanced issues related to distributed, real-time and embedded systems.

Prerequisites and basic notions

In order to better learn the topics covered in the course it is necessary to have acquired knowledge and skills related to:
- Computer architecture
- C programming

Program

Theory
---------
* Introduction: Structure and functions of an operating system.
* Process Management: in memory image and state of a process. Context switch. Process operations. Cooperation and communication between processes.
* Scheduling: Long, medium and short term scheduling. CPU scheduling with and without preemption.
* Synchronization between processes: Data consistency. Critical sections. Synchronization schemes and constructs.
* Deadlock: Conditions for triggering a deadlock. Prevention, detection and recovery techniques.
* Main memory management: Logical and physical addressing, and address binding. Memory allocation techniques. Virtual memory management.
* Secondary storage management: Storage devices. File system.
Lab:
------------
* System call for process and thread management
* System call for interprocess communication
* System calls for process synchronization
* System calls for shared memory

Bibliography

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

The theory will be organized in lectures, exercises and self-assessment activities. The laboratory will be structured in practical exercises on the computer.

Learning assessment procedures

The exam consists of two tests, one in theory and one in the laboratory
Theory
---------
The exam of the theory part consists of a written test, containing multiple choice questions, open-ended questions and exercises.
Lab
-----------------
The examination of the laboratory part consists in developing and delivering a laboratory project according to the specifications provided by the teacher. The project will then be discussed in an oral exam.

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Evaluation criteria

To pass the exam, the student must show
- they have understood the principles related to how an operating system works
- they are able to describe the concepts in a clear and exhaustive way without digressions
- they are able to apply the acquired knowledge to solve application scenarios described by means of exercises, questions and projects.

Criteria for the composition of the final grade

The final grade is obtained from the following formula: grade_theory*0.5 + grade_laboratory*0.5.

Exam language

Italiano

Sustainable Development Goals - SDGs

This initiative contributes to the achievement of the Sustainable Development Goals of the UN Agenda 2030. More information on sustainability