RTSOPS 2022 – Program

Home | Program | Call for papers | Submission instructions | Organizers

This year, the RT-Cloud, WCET, and RTSOPS workshops have a common program, organized as follows:

8:30 – 8:45 Opening
8:45 – 9:30 WCET Invited talk : From Timing Prediction to Predictable Timing

Peter Puschner (Technische Universitaet Wien)
9:30 – 10:00 WCET paper #1: Théo Degioanni and Isabelle Puaut, StAMP: Static Analysis of Memory access Profiles for real-time tasks
10:00 – 10:30 Coffee break
10:30 – 11:00 WCET paper #2: Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen and Jan Reineke, LLVMTA: An LLVM-based WCET Analysis Tool,
11:00 – 11:30 WCET paper #3: Hazem Abaza, Zain A. H. Hammadeh and Daniel Lüdtke, DELOOP: Automatic Flow Facts Computation using Dynamic Symbolic Execution,
11:30 – 12:00 RT-Cloud paper #1: Gabriele Monaco, Gautam Gala and Gerhard Fohler, Extensions for Shared Resource Orchestration in Kubernetes to Support RT-Cloud Containers
12:00 – 13h30 Lunch break
13:30 – 14:10 RT-Cloud Invited talk
14:10 – 14:35 RT-Cloud paper #2: Franz-Josef Grosch, Dakshina Dasari, Nuno Pereira and Anthony Rowe, Building Reliable Distributed Edge-Cloud Applications with WebAssembly
14:35 – 15:00 RT-Cloud paper #3: Marco Barletta, Marcello Cinque, Luigi De Simone and Raffaele Della Corte, Introducing k4.0s: a Model for Mixed-Criticality Container Orchestration in Industry 4.0
15:00 – 15:30 Coffee break
15:30 – 16:10 RTSOPS Invited talk: Reachability-based response-time analysis: motivation, challenges, and open problems
Mitra Nasri, Eindhoven University of Technology (TU/e).
16:10 – 16:30 RTSOPS paper #1: Alexander Stegmeier and Sebastian Altmeyer, Extension of Multicore Response Time Analysis to analyse the Utilization of DMA Units

[PDF copy of the paper]
16:35 – 17:00 RTSOPS paper #2: Paola Cappanera, Laura Carnevali, Leonardo Paroli, Riccardo Reali and Enrico Vicario, Resource allocation for complex DAG tasks with probabilistic execution times

[PDF copy of the paper]

Comments are closed.