February 2, 2026 at 2 PM
ABSTRACT:
In embedded computing domains, including the automotive industry, complex functionalities are split across multiple tasks that form task chains. These tasks are functionally dependent and communicate partial computations through shared memory slots based on the Logical Execution Time (LET) paradigm. This talk introduces a model that captures the behavior of a producer-consumer pair of tasks in a chain, characterizing the timing of reading and writing events. Using ring algebra, the combined behavior of the pair can be modeled as a single periodic task. We also presents a lightweight mechanism to eliminate jitter in an entire chain of any size, resulting in a single periodic LET task with zero jitter. All presented methods are available in a public repository.
BIO:
Enrico Bini is Associate Professor at Department of Computer Science, University of Turin. He also held positions at Scuola Superiore Sant’Anna (assistant professor, until 2016) and Lund Universit (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 82 Technical Program Committees.
Salle ATRIUM Bâtiment ESPRIT
français
English