Probabilistic Analysis and Scheduling of Real-Time Systems

Student   Anna Friebe
Advisors   Thomas Nolte
Alessandro V. Papadopoulos
Filip Markovic
Faculty Reviewer   Luca Abeni, Scuola Superiore Sant’Anna, Pisa, Italy
Grading Committee   Lucia Lo Bello, University of Catania, Catania, Italy
Liliana Cucu-Grosjean, INRIA, Paris, France
Francisco J. Cazorla, Barcelona Supercomputing Center, Barcelona, Spain
Hossein Fotouhi, Mälardalen University, Västerås, Sweden (reserve)
Defence   Mälardalen University, Västerås, Sweden
Room Kappa and Zoom meeting
April 29th, 2025 13:00
Abstract   In this thesis, probabilistic methods are explored for the analysis and scheduling of real-time systems, where computation times vary significantly. The aim is to enable sufficient timing-related performance while allowing for economic resource provisioning or other average-case objectives. In one line of research, Hidden Markov Models (HMMs) with continuous emission distributions are used to model execution times of periodic tasks. A framework for the identification and validation of such models is presented. Methods are developed for updating model parameters in systems where the execution time behavior changes, and for bounding the deadline miss probability for such periodic tasks in a reservation-based server. For scheduling parallel workload with varying computational demand, a mechanism is proposed for sharing a job queue among several reservation-based servers. The mechanism guarantees executing jobs a certain amount of computational resources prior to their deadline, by enabling job dismissal in overload situations. Another contribution regards parallel synchronous tasks, and the problem of assigning a suitable number of cores to the task, so that the deadline is met while optimizing towards a goal such as minimizing energy consumption. A suitable core assignment is found using a Multi-Armed Bandit (MAB) formulation of the problem, requiring only limited knowledge of the worst-case properties of the task structure. Using derived response time bounds in the MAB formulation reduces the time to convergence and the energy consumption.
Rules and Guidelines   The PhD procedure summary
Rules for Third-cycle Studies at MDH - Chapter 3.1.7 Public Defence of a Thesis
Thesis   Thesis
Included Papers   Paper A: Identification and Validation of Markov Models with Continuous Emission Distributions for Execution Times .
Paper B: Adaptive Runtime Estimate of Task Execution Times using Bayesian Modeling .
Paper C: Efficiently Bounding Deadline Miss Probabilities of Markov Chain Real-Time Tasks .
Paper D: Nip It In the Bud - Job Acceptance Multi-Server
Paper E: Resource Management for Stochastic Parallel Synchronous Tasks: Bandits to the Rescue
Publications   Complete list of publications

Back to Research

Last modified: 2025-04-29 10:17:45 +0200