Turin, November 3rd—4th, 2025
Welcome to our workshop on Task Chains. The workshop is organized in the context of the Italy-Sweden collaboration financed by the Italian Ministry of Foreign Affairs and International Cooperation and the Swedish Research Council.
This event brings together leading researchers and practitioners to explore the latest methods for analyzing and optimizing task chains across a variety of domains, mostly in connection with cyber-physical systems. The program is structured around key themes highlighting both foundational theory and applied techniques.
By addressing challenges such as end-to-end latency, determinism, and efficient system design, the workshop aims to provide a comprehensive view of current advances and open questions in this area. With contributions spanning from formal models to practical analysis tools, the sessions are designed to foster in-depth discussion and encourage cross-domain perspectives on how to tackle the complexity of modern real-time systems.
The participation to the workshop is free of charge and based on invitations only.
By clicking on this link, you can subscribe to the Google Calendar of the event
November 2nd (Sunday)
- 19:00-20:30, Welcome reception at Baratti & Milano, Galleria Subalpina
November 3rd (Monday)
The technical sessions are planned in Sala Multifunzione at the Cavallerizza Reale
- 09:00-10:30, Session 1: Synchronous languages
- Enrico Bini, Opening (5 min)
- Christoph Kirsch, From Logical Execution Time to Symbolic Execution (20 min)
- Julien Forget, Synchronous model-based end-to-end chain analysis (20 min) [slides]
- Timothy Bourke, Scheduling Synchronous Control Software by Solving Constraints (20 min) [slides]
- 10:30-11:00, Coffee
- 11:00-12:30, Session 2: Theory of E2E latency
- Mario Guenzel, Fundamental Properties of End-to-End Latency of Cause-Effect Chains (20 min) [slides]
- Shumo Wang, Jitter Propagation in Task Chains (20 min) [slides]
- Tomasz Kłoda, Latency upper bound for data chains of real-time periodic tasks (20 min) [slides]
- Matthias Becker, Configuring Task Phases to Optimize the End-to-End Latency of LET Task Chains (20 min) [slides]
- 12:30-13:30, Lunch
- 13:30-15:00, Session 3: ROS & Communication
- Harun Teper, End-To-End Latency Analysis and Optimization in ROS 2 (20 min) [slides]
- Johan Eker, Compute services for offloading in 6G (20 min) [slides]
- Rodolfo Pellizzoni, Modeling and end-to-end latency analysis of memory requests using task chains (20 min)
- Marc Boyer, Modeling task chains with network calculus (20 min) [slides]
- 15:00-15:30, Coffee
- 15:30-17:00, Session 4: Theory and more from the locals
- Enrico Bini, Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings (20 min) [slides]
- Andrea Bracciali, Task-analysis as event ordering in blockchain (20 min)
- Michele Castrovilli, SlackCheck: Verification of Temporal Properties in Linux (20 min) [slides]
- Alessandro Mandrile, Using Performance Counters for Execution Time Estimation (10 min) [slides]
- 17:55-19:30, Visit at Museo Egizio
- 20:00-22:00, Social dinner at Ristorante La Badessa
November 4th (Tuesday)
The technical sessions are planned in Sala Multifunzione at the Cavallerizza Reale
- 09:00-10:30, Session 5: CPS over the Cloud
- Yde Sinnema, Analysis of Control Systems Under Sensor Timing Misalignments (20 min)
- Andrés Goens, Provable Determinism in Cyber-Physical Systems (20 min)[slides] [paper]
- Martina Maggio, Task chains and deadline misses (20 min) [slides]
- Karl-Erik Årzén, Control over the cloud (20 min) [slides]
- 10:30-11:00, Coffee
- 11:00-12:30, Session 6: Distributed Sytems and DAGs
- Daniel Casini, End-To-End Response-Time Analysis of DDS-based Real-Time Applications [slides]
- Jonas Peeck, Exploiting Synchronization in End-to-End Chains for an Efficient Design of Distributed Real-Time Systems [slides]
- Federico Aromolo, Analyzing Parallel and Accelerated Systems with Event-Driven Delay-Induced Tasks [slides]
- 12:30-13:30, Lunch
Social event
As part of our social programme, on November 3 we will visit the Museo Egizio in Turin, the second largest collections of Egyptian antiquities in the world after Cairo’s. We will explore the museum’s galleries together, discovering mummies, papyri, statues, and ancient treasures that trace over four millennia of Egyptian history. After our visit, we’ll all go out to enjoy dinner together, giving us more time to chat, relax, and continue the conversations sparked by the day’s talks.
Organizers
Trustworthy Cyber-Physical Pipelines PI
University of Turin (Italy)
Trustworthy Cyber-Physical Pipelines PI
Saarland University (Germany) and Lund University (Sweden)