First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
Course unit
SC01123264, A.A. 2019/20

Information concerning the students who enrolled in A.Y. 2019/20

Information on the course unit
Degree course Second cycle degree in
SC1176, Degree course structure A.Y. 2014/15, A.Y. 2019/20
bring this page
with you
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination REAL-TIME SYSTEMS
Website of the academic structure
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction Italian
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Teacher in charge TULLIO VARDANEGA INF/01

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses INF/01 Computer Science 6.0

Course unit organization
Period Second semester
Year 1st Year
Teaching method frontal

Type of hours Credits Teaching
Hours of
Individual study
Practice 1.0 8 17.0 No turn
Lecture 5.0 40 85.0 No turn

Start of activities 02/03/2020
End of activities 12/06/2020
Show course schedule 2019/20 Reg.2014 course timetable

Examination board
Board From To Members of the board
6 a.a. 2019/2020 01/10/2019 28/02/2021 VARDANEGA TULLIO (Presidente)
CONTI MAURO (Membro Effettivo)
5 a.a. 2018/2019 01/10/2018 28/02/2020 VARDANEGA TULLIO (Presidente)
CONTI MAURO (Membro Effettivo)

Prerequisites: The class subject requires familiarity with the architecture of traditional computer systems as well as with the organization and activity of operating systems for those architectures, especially regarding their support for concurrency, synchronization and handling of I/O. The class does not place prerequisites on entry.
Target skills and knowledge: The class subject illustrates the software architecture of real-time embedded systems, with the intent of highlighting their distinguishing traits, in contrast with other classes of software systems. Special attention will be paid to the study of design and programming paradigms that facilitate the analysis and verification of those systems.
Examination methods: The exam takes one of two forms: one form consists in the production and presentation of a a technical report that discusses the issues dealt with and the solutions adopted in the development of a comparatively small practical assignment which involves the analysis, design, implementation and verification of
systematic improvements to a distributed concurrent application supplied by the instructor; the other form requires the study, critique and oral presentation of a fresh research paper, chosen by the student out of manuscripts selected by the instructor, which touches upon subjects addressed in class.
Assessment criteria: Regardless of the chosen form of exam, the tasks involved in its execution entail frequent and intense dialogue with the instructor. The project work allows the student to acquire increasing familiarity with the principal challenges posed by the design and implementation of a distributed concurrent system as well as with scientific research in the domain. The student’s presentation of the project work and of the accompanying report allows the instructor to complete the assessment of the student’s understanding of the main themes of the class, including the student’s mastering of the implementation technology.
Course unit contents: - Introduction: industrial needs (brief) and system architecture (outline)
- Reliability and fault tolerance
- Scheduling: taxonomy of algorithms
- Synchronization policies that enable resource sharing
- System-level issues: understanding the technology stack
- Extension to distributed systems
- Extension to multiprocessors
Planned learning activities and teaching methods: Class lectures examine the software architecture of real-time embedded systems, paying particular attention to their design, implementation and verification. The issues that are discussed include:
- architectural characterization (at hardware, software and system level)
- time management and handling of hardware interfaces
- paradigms for the design and programming of real-time embedded software
- techniques and approaches for model-based analysis of real-time systems
- verification and validation.
As part of the class, students will be confronted with practicals that facilitate the familiarization with some of the some of the key issues in the domain, as well as with selected advances in real-time systems theory.
Additional notes about suggested reading: The instructor publishes regularly of the slide decks used for lecturing, along with additional material that aids the students' understanding of the topics addressed in the class.
Textbooks (and optional supplementary readings)

Sustainable Development Goals (SDGs)
Quality Education