DTA

Digital Theses Archive

 

Tesi etd-09062019-141621

Type of thesis
Dottorato
Author
CASINI, DANIEL
URN
etd-09062019-141621
Title
Advancements in Modeling and Analysis of Multi-Processor Real-Time Systems
Scientific disciplinary sector
ING-INF/05
Course
INGEGNERIA - Ph.D. Programme in Emerging Digital Technologies (EDT)
Committee
relatore BUTTAZZO, GIORGIO CARLO
Membro Prof. JIAN-JIA, CHEN
Presidente Prof. CUCINOTTA, TOMMASO
Membro Prof. ÅRZEN, KARL-ERIK
Membro Prof. ABENI, LUCA
Keywords
  • parallel tasks
  • real-time systems
  • schedulability analysis
  • timing analysis
Exam session start date
;
Availability
parziale
Abstract
Nowadays, embedded real-time applications are becoming always more demanding, requiring more and more computing power.<br>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.<br><br>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.<br><br>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.<br><br>This thesis presents new models and analysis techniques for real-time workloads. The thesis is divided into three parts.<br><br>The first one addresses techniques to handle dynamic real-time workloads scheduled upon multi-core platforms.<br><br>The second part proposes analysis techniques for tasks modeled as direct acyclic graphs and explicitly targeting the features of specific execution platforms.<br><br>Finally, the scheduling effects due to popular middleware frameworks (such as ROS and Tensorflow) are considered, proposing suitable models and analysis techniques.
Files