Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:More Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded Systems
Speaker:Georg von der Brueggen
coming from:TU Dortmund
Speakers Bio:
Event Type:SWS Colloquium
Visibility:D1, D2, D3, INET, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Date, Time and Location
Date:Thursday, 22 November 2018
Duration:60 Minutes
In real-time embedded systems, for each task the compliance to timing
constraints has to be guaranteed in addition to the functional
correctness. The first part of the talk considers the theoretical
comparison of scheduling algorithms and schedulability tests by evaluating
speedup factors for non-preemptive scheduling, which leads to a
discussion about general problems of resource augmentation bounds. In
addition, it is explained how utilization bounds can be parametrized,
resulting in better bounds for specific scenarios, i.e., when analyzing
non-preemptive Rate-Monotonic scheduling as well as task sets inspired by
automotive applications.

In the second part, a setting similar to mixed-criticality systems is
considered and the criticism on previous work in this area is detailed.
Hence, a new system model that allows a better applicability to realistic
scenarios, namely Systems with Dynamic Real-Time Guarantees, is explained.
This model is extended to a multiprocessor scenario, considering CPU
overheating as a possible cause for mixed-criticality behaviour. Finally,
a way to determine the deadline-miss probability for such systems is
described that drastically reduces the runtime of such calculations.

The third part discusses tasks with self-suspension behaviour, explains a
fixed-relative-deadline strategy for segmented self-suspension tasks with
one suspension interval, and details how this approach can be exploited in
a resource-oriented partitioned scheduling. Furthermore, it is explained
how the gap between the dynamic and the segmented self-suspension model
can be bridged by hybrid models.

Name(s):Mouna Litz
Video Broadcast
Video Broadcast:YesTo Location:Saarbr├╝cken
To Building:E1 5To Room:029
Meeting ID:
Tags, Category, Keywords and additional notes
Attachments, File(s):

Mouna Litz/MPI-SWS, 11/08/2018 09:42 AM
Last modified:
Uwe Brahm/MPII/DE, 11/22/2018 07:01 AM
  • Susanne Girard, 11/14/2018 12:56 PM
  • Mouna Litz, 11/08/2018 09:55 AM -- Created document.