Text
MARC Seminar Series 07
.webp)
Date and Time: March 23, 2026, 10:15-11:15 (CET)
Location: Hybrid. Room: U1-214, Mälardalen University, Västerås Campus
Title: Time Uncertainties in Task Chains
Time: 10:15-11:15 (CET)
Seminar Abstract
Chains of tasks are ubiquitous and are used in a broad spectrum of applications; automotive and robotics systems are two notable examples. In such chains, tasks execute according to their timing parameters and communicate by writing to and reading from shared memory. The scheduling of tasks and the read/write instants are naturally subject to uncertainties (e.g., variability in execution time, interference due to shared resources used by higher-priority tasks, etc.). Existing analyses, however, either do not take these uncertainties into account or introduce pessimistic bounds (as in the Logical Execution Time model).
In this presentation, we propose a novel task model that explicitly accounts for uncertainties in read and write operations. We develop a compositional analysis framework with linear-time complexity that tracks how these uncertainties propagate across task chains and impact overall control performance. Our model supports arbitrary communication paradigms (e.g., implicit communication, LET, mid-execution communication) and is applicable to the analysis of real-world frameworks such as ROS2 without requiring intrusive changes.
Speaker
Enrico Bini is Associate Professor at the Department of Computer Science, University of Turin. He also held positions at Scuola Superiore Sant'Anna (assistant professor, until 2016) and Lund University (Marie-Curie fellow, 2012-14). In 2004, he completed the PhD on Real-Time Systems at Scuola Superiore Sant'Anna (recipient of the "Spitali Award" for best PhD thesis of the whole university). In January 2010 he also completed a Master degree in Mathematics with a thesis on optimal sampling for linear control systems.
He has published more than 100 papers (1 Test-of-Time award by the IEEE TCRTS, 4 best-paper awards @RTNS @RTCSA @ICC) on real-time scheduling, operating systems, optimization methods for real-time and control systems, optimal management of distributed and parallel resources. He is Associate Editor of IEEE Transactions on Computers, ACM Computing Surveys, and Springer's Real-Time Systems journal. His service to the scientific community includes chairing 12 events (including Program Chair of RTSS21, Program co-Chair of RTCSA2020, chair of the Embedded Software track of DAC2020) and the participation in 90 Technical Program Committees.