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] |