DTA

Archivio Digitale delle Tesi e degli elaborati finali elettronici

 

Tesi etd-09062019-141621

Tipo di tesi
Dottorato
Autore
CASINI, DANIEL
URN
etd-09062019-141621
Titolo
Advancements in Modeling and Analysis of Multi-Processor Real-Time Systems
Settore scientifico disciplinare
ING-INF/05
Corso di studi
INGEGNERIA - Ph.D. Programme in Emerging Digital Technologies (EDT)
Commissione
relatore BUTTAZZO, GIORGIO CARLO
Membro Prof. JIAN-JIA, CHEN
Presidente Prof. CUCINOTTA, TOMMASO
Membro Prof. Ă…RZEN, KARL-ERIK
Membro Prof. ABENI, LUCA
Parole chiave
  • parallel tasks
  • real-time systems
  • schedulability analysis
  • timing analysis
Data inizio appello
10/07/2020;
DisponibilitĂ 
completa
Riassunto analitico
Nowadays, embedded real-time applications are becoming always more demanding, requiring more and more computing power.
Consequently, the adoption of multi-core platforms is an unavoidable choice: nonetheless, it increases the analysis complexity due to multiple sources of unpredictability. To fully exploit the available computing power, tasks running upon a multi-core system often exhibit a parallel structure with complex internal dependencies.

The analysis complexity is further exacerbated by the scheduling effects imposed by the operating systems and, sometimes, by middleware frameworks that execute the actual workload on behalf of the operating system.

As a result, modern real-time systems are influenced by manifold effects, giving rise to the need for more complex scheduling models and analyses techniques.

This thesis presents new models and analysis techniques for real-time workloads. The thesis is divided into three parts.

The first one addresses techniques to handle dynamic real-time workloads scheduled upon multi-core platforms.

The second part proposes analysis techniques for tasks modeled as direct acyclic graphs and explicitly targeting the features of specific execution platforms.

Finally, the scheduling effects due to popular middleware frameworks (such as ROS and Tensorflow) are considered, proposing suitable models and analysis techniques.
File