|
Dettaglio Insegnamento
Anno Accademico |
2021/2022 |
Corso di Studi |
Dott. - MI (1380) Ingegneria dell'Informazione / Information Technology |
Anno di Corso |
1 |
Codice Identificativo |
057380 |
Denominazione Insegnamento |
DESIGN OF REAL-TIME AND MIXED-CRITICALITY SYSTEMS |
Tipo Insegnamento |
MONODISCIPLINARE |
Crediti Formativi Universitari (CFU) |
5.0 |
Programma sintetico |
MISSION AND GOALS:
The course aims to present the challenges in designing safety-critical systems focusing on timing requirements in hard real-time environments. In particular, the course focuses on the state-of-the-art scheduling strategies to allocate tasks in single- and multi-core platforms, including in mixed-criticality setup. The current scientific trends and the status of industry-grade methodologies are also briefly presented to spur the students to do research in real-time computing. At the end of the course, the students will have acquired a general knowledge on the methodologies to design real-time systems and, thanks to the course project, how to implement them in simple but realistic platforms.
SUBJECT AND PROGRAMME OF THE COURSE:
The course covers the fundamentals of hard real-time computing, from the basic modeling of the workload and system to the scheduling of the activities. After uniforming the students' background, a compendious outline of the latest research (mixed-criticality, energy-aware scheduling, multi-core approaches, etc.) is presented.
The teaching goal is three-fold: (1) to provide the basics of real-time and safety-critical systems, including the timing requirements specification, task/job models, single-core and
multi-core platform models; (2) to present the state-of-the-art scheduling algorithms, including some formal proofs; (3) to give an overview of the current research and industry
trends, including the mixed-criticality problem and its applicability to industry.
Preliminary Syllabus:
1. Introduction to embedded safety-critical systems and their requirements
2. Hard real-time computing, jobs/tasks, and computing platform models
3. Clock-driven scheduling
4. Fixed-Priority and Dynamic-Priority scheduling algorithms
5. Overview of multi-core approaches
6. Mixed-criticality systems
7. Energy-aware real-time scheduling
8. Current research and industry trends, case studies |
Settori Scientifico Disciplinari (SSD) |
Codice SSD
|
Descrizione SSD
|
CFU
|
ING-INF/05
|
SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
|
5.0
|
|
Scaglione
|
Docente
|
Programma dettagliato
|
Da (compreso)
|
A (escluso)
|
A
|
ZZZZ
|
Fornaciari William, Guo Zhishan, Reghenzani Federico
|
|
|