REAL TIME OS (UNIT1)
cod. 1010688

Academic year 2023/24
1° year of course - Second semester
Professor
Dario STABILI
Academic discipline
Sistemi di elaborazione delle informazioni (ING-INF/05)
Field
A scelta dello studente
Type of training activity
Related/supplementary
30 hours
of face-to-face activities
3 credits
hub: UNIBO
course unit
in ENGLISH

Integrated course unit module: HARDWARE-SOFTWARE DESIGN OF EMBEDDED SYSTEMS I.C.

Learning objectives

The course covers the fundamentals of modern real-time operating systems. Arguments that are addressed in the course are architecture, organization, and functionalities of modern operating systems, task management and resource allocation, mechanisms and tools for synchronisation and concurrent programming, characteristics of real-time operating systems and main scheduling algorithms for hard real-time periodic processes.

Prerequisites

- - -

Course unit content

Course organization
Real Time OS M is a 6 cfu, 60 hours course for EEIV students, together with Architectures & Firmware M constitute a 12 cfu integrated course called HARDWARE-SOFTWARE DESIGN OF EMBEDDED SYSTEMS M.
Real Time OS M is itself divided in two, one during the fall semester and the other in the spring semester.
The fall modules (30 hours) cover fundamentals of Operating Systems and includes some hands-on sessions.
The spring module (30 hours) covers Real-Time systems, and does not include any lab.

Contents
• Operating Systems (fall lectures): Overview and system structures. Processes and threads. Scheduling. Memory management. I/O systems. Process synchronization and deadlocks.
Basic coverage of multiple processor systems and security concepts.

• Real Time (spring lectures): Basic concepts. Aperiodic task scheduling. Clock-based and priority-based scheduling of periodic tasks. Resource access protocols.

Full programme

- - -

Bibliography

Operating Systems
• Andrew S. Tanenbaum, Herbert Bos, "Modern Operating Systems" (4th edition), Pearson 2014. ISBN: 013359162X. Chapters 1, 2, 3, 5, 6, 8, 9.
• Lab sofware: Any Linux machine is enough (the teacher will be using a Fedora 38 workstation)

Real Time
• Giorgio C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 3rd Edition. Springer 2011. ISBN: 978-1-4614-3019-3
Chapters 1 — 4, 7 & 11
All modules
• Lecture slides, description of lab activities, software, and all teaching materials also available

Teaching methods

Presential lectures covering theory and exercises, meant to be highly interactive
Supervised lab sessions on Linux with POSIX programming.
Notice: as per university regulations, all students must attend Module 1, 2 on Health and Safety online.
Lecture slides will be made available after class.
A limited number of copies of the adopted textbooks and other relevant textbooks are available at the library.
The software used in the lab is open source and freely available. The lab software can also be installed on the student's own computer. In this way, lab work can be carried out autonomously, without having to access the lab.

Assessment methods and criteria

Operating Systems: oral exam.
Real-Time: written exam (tbd at the beginning of the second module).
For EEIV students, the final grade is 1/4 the grade obtained in OS + 1/4 the grade obtained in RT + 1/2 the grade obtained in Architectures & Firmware.
To register the grade, after passing all three exams of HARDWARE-SOFTWARE DESIGN OF EMBEDDED SYSTEMS M I.C. (OS, RT and AF), you should send an email to prof. Stabili.

Other information

- - -

2030 agenda goals for sustainable development

Contacts

Toll-free number

800 904 084

Student registry office

E. segreteria.ingarc@unipr.it

Quality assurance office

Education manager:
Dott.ssa Jasmine Salame Younis
T. +39 0521 906045
Office E. dia.didattica@unipr.it
Manager E. jasmine.salameyounis@unipr.it

 

President of the degree course

Prof. Massimo Bertozzi
E. massimo.bertozzi@unipr.it

Faculty advisor

Prof. Letizia Marchegiani
E. letizia.marchegiani@unipr.it

Career guidance delegate

Prof. Letizia Marchegiani
E. letizia.marchegiani@unipr.it

Tutor professor

Prof. Nicola Mimmo (UNIBO)
E. nicola.mimmo2@unibo.it
Prof. Riccardo Rovatti (UNIBO)
E. riccardo.rovatti@unibo.it

Erasmus delegates

to be determined

Quality assurance manager

Prof. Nicola Mimmo (UNIBO)
E. nicola.mimmo2@unibo.it
 

Internships

Prof. Alessandro Chini (UNIMORE)
E. alessandro.chini@unimore.it
Prof. Gaetano Bellanca (UNIFE)
E. gaetano.bellanca@unife.it
Prof.ssa Annamaria Cucinotta (UNIPR)
E. annamaria.cucinotta@unipr.it
Prof. Nicola Mimmo (UNIBO)
E. nicola.mimmo2@unibo.it
Prof. Paolo Pavan (UNIMORE)
E. paolo.pavan@unimore.it
Prof. Riccardo Rovatti (UNIBO)
E. riccardo.rovatti@unibo.it

Tutor students

to be determined