Home Program

Program

Tuesday, July 8 — Workshop Day
TimeFunction
8:00 AM – 8:30 AMRegistration
9:00 AM – 10:00 AMWorkshop Day Session
10:00 AM – 10:30 AMCoffee Break
10:30 AM – 12:00 PMWorkshop Day Session
12:00 PM – 1:30 PMLunch Break
1:30 PM – 3:30 PMWorkshop Day Session
3:30 PM – 4:00 PMCoffee Break
4:00 PM – 5:30 PMWorkshop Day Session
5:30 PM – 7:30 PMFirst-Timer Reception
Wednesday, July 9 — Main Conference Day 1
TimeFunction
8:00 AM – 8:45 AMRegistration
8:45 AM – 9:00 AMWelcome & Opening Remarks
9:00 AM – 10:00 AMKeynote – Sandrine Blazy (University of Rennes)
10:00 AM – 10:30 AMCoffee Break
10:30 AM – 12:00 PMSession 1: Real-time Software
12:00 PM – 1:30 PMLunch Break
1:30 PM – 3:30 PMSession 2: Robotics and Control
3:30 PM – 4:00 PMCoffee Break
4:00 PM – 5:30 PMReal-time Pitches
5:30 PM – 7:30 PMPosters & Demos Session and Reception
Thursday, July 10 — Main Conference Day 2
TimeFunction
8:00 AM – 8:30 AMRegistration
8:30 AM – 9:30 AMKeynote – Allan Graves (Oracle)
9:30 AM – 10:00 AMCoffee Break
10:00 AM – 12:00 PMSession 3: Hardware Design and Analysis
12:00 PM – 1:30 PMLunch Break
1:30 PM – 2:45 PMIndustrial Challenge
2:45 PM – 3:30 PMGuided Visit: Gathering and groups formation
3:30 PM – 4:00 PMGuided Visit: first two groups leave
4:00 PM – 4:30 PMGuided Visit: next 2 groups leave
4:30 PM – 5:00 PMGuided Visit: last group leaves
5:00 PM – 6:30 PMGuided Visit and Departure for Dinner Venue
6:30 PM – late eveningArrival at Dinner Venue and Banquet
Friday, July 11 — Main Conference Day 3
TimeFunction
8:30 AM – 10:00 AMSession 4: Data Analysis and Machine Learning
10:00 AM – 10:30 AMCoffee Break
10:30 AM – 12:30 PMSession 5: Real-time Scheduling
12:30 PM – 2:00 PMLunch Break
2:00 PM – 3:30 PMSession 6: Outstanding Papers
3:30 PM – 4:00 PMCoffee Break
4:00 PM – 5:00 PMConcluding Remarks and Awards

Keynotes

Sandrine Blazy, University of Rennes

Trusting Compilers and More: Mechanized Semantics to the Rescue

Wednesday, July 9, 9:00 AM – 10:00 AM

Session Chair: TBD

A formally verified compiler ensures that compilation does not introduce any bugs in programs. In the CompCert C compiler, this correctness property requires reasoning about realistic languages by using a semantic framework. This talk explains how this framework has been effectively used to turn CompCert from a prototype in a lab into a real-world compiler. More generally, this approach paves the way to the verification of software tools involved in software production and verification.

Bio – Sandrine Blazy is professor at the University of Rennes and deputy director of the IRISA CNRS laboratory. Her research interests include verified compilation with the CompCert C compiler, formal semantics, deductive verification, static analysis and software security. CompCert has won several awards, including the ACM software system award (2021), the ACM SIGPLAN Programming Languages Software Award (2022). Sandrine Blazy received in 2023 the CNRS silver medal.

Image Copyright: CNRS JC Moschetti

Allan Graves, Oracle

Oracle Exadata: Designing the World’s Largest Embedded System

Thursday, July 10, 8:30 AM – 9:30 AM

Session Chair: TBD

Oracle Exadata is a specialized computing and storage platform designed to optimize Oracle Database real-time performance. It combines hardware and software to provide high-performance, low-cost, and highly available database solutions. Exadata achieves this by moving database processing and algorithms into storage and networking, bypassing traditional server limitations. This talk will cover recent efforts in the design and development of Oracle Exadata, which can be considered the world’s largest embedded system. It will cover our everyday challenges and work to provide the best system for every customer’s needs at this scale of data processing.

Bio – Allan Graves began his technology journey in the 1980s with hobby computers like the Z80. After earning a degree in Computer Engineering, he worked at Compaq/HP on Tru64 Unix and the DEC Alpha chip. He later joined Oracle, contributing to products like Oracle ACFS, clustering solutions, and kernel development across multiple operating systems. His passion has remained constant: creating great technology to solve fascinating problems.

Wednesday, July 9

Session 1: Real-time Software

10:30 AM – 12:00 PM

Session Chair: TBD

  • Enabling Containerisation of Distributed Applications with Real-Time Constraints
    Nasim Samimi (Eindhoven University of Technology, Netherlands), Luca Abeni (Scuola Superiore Sant’Anna, Italy), Daniel Casini (Scuola Superiore Sant’Anna, Italy), Mauro Marinoni (Scuola Superiore Sant’Anna, Italy), Twan Basten (Eindhoven University of Technology, Netherlands), Mitra Nasri (Eindhoven University of Technology, Netherlands), Marc Geilen (Eindhoven University of Technology, Netherlands), Alessandro Biondi (Scuola Superiore Sant’Anna, Italy)
  • Multi-Objective Memory Bandwidth Regulation and Cache Partitioning for Multicore Real-Time Systems
    Binqi Sun (Technical University of Munich, Germany), Zhihang Wei (Technical University of Munich, Germany), Andrea Bastoni (Technical University of Munich, Germany), Debayan Roy (Technical University of Munich, Germany), Mirco Theile (Technical University of Munich, Germany), Tomasz Kloda (LAAS-CNRS, France), Rodolfo Pellizzoni (University of Waterloo, Canada), Marco Caccamo (Technical University of Munich, Germany), Rodolfo Pellizzoni (University of Waterloo, Canada)
  • Timing analysis and optimization of ROS 2 applications written in asynchronous Rust
    Martin Škoudlil (Czech Technical University in Prague, Czech Republic), Michal Sojka (Czech Technical University in Prague, Czech Republic)

Session 2: Robotics and Control

1:30 PM – 3:30 PM

Session Chair: TBD

  • A Multi-UAV Router and Scheduler for Executing Spatially Scattered Real-time Tasks
    Sreyashi Mukherjee (Indian Institute of Technology, India), Sachin Yadav (Indian Institute of Technology, India), Yedla Anil Kumar (Indian Institute of Technology, India), Dr. Arnab Sarkar (Indian Institute of Technology, India)
  • RESCUE: Multi-Robot Planning under Resource Uncertainty and Objective Criticality
    Franco Cordeiro (Télécom Paris, Institut Polytechnique de Paris, France), Samuel Tardieu (Télécom Paris, Institut Polytechnique de Paris, France), Laurent Pautet (Télécom Paris, Institut Polytechnique de Paris, France)
  • Sensor Fusion Desynchronization Attacks
    Andreas Finkenzeller (Technical University of Munich, Germany), Andrew Roberts (Tallinn University of Technology, Estonia), Mauro Bellone (Tallinn University of Technology, Estonia), Olaf Maennel (The University of Adelaide, Australia), Mohammad Hamad (Technical University of Munich, Germany), Sebastian Steinhorst (Technical University of Munich, Germany)
  • Period Assignment for Real-time Cascade Control Tasks under Stability and Schedulability Constraints
    Ismail Hawila (StatInf / INRIA, France), Liliana Cucu-Grosjean (INRIA, France), Slim Ben Amor (StatInf, France)

Thursday, July 10

Session 3: Hardware Design and Analysis

10:00 PM – 12:00 PM

Session Chair: TBD

  • On Real-Time Guarantees of Intel SGX and TDX
    Peterson Yuhala (University of Neuchatel, Switzerland), Christian Göttel (ABB Corporate Research, Swizerland), Jämes Ménétrey (University of Neuchâtel, Swizerland), Valerio Schiavoni (University of Neuchatel, Swizerland), David Kozhaya (ABB Corporate Research, Swizerland), Pascal Felber (University of Neuchatel, Switzerland)
  • DAMA: A Dual Arbitration Mechanism for Mixed-Criticality Applications
    Wafic Lawand (University of Waterloo, Canada), Rodolfo Pellizzoni (University of Waterloo, Canada)
  • LoRaHART: Hardware-Aware Real-Time Scheduling for LoRa
    Soumya Ranjan Sahoo (Nanyang Technological University, Singapore), Amalinda Gamage (National University of Singapore, Singapore), Niraj Kumar (IIT Goa, India), Arvind Easwaran (Nanyang Technological University, Singapore)
  • Bounding the WCET of a GPU thread block with a multi-phase representation of warps execution
    Louison Jeanmougin (Université de Toulouse, France), Thomas Carle (Université de Toulouse, France), Christine Rochange (Université de Toulouse, France)

Friday, July 11

Session 4: Data Analysis and Machine Learning

8:30 AM – 10:00 AM

Session Chair: TBD

  • Faster Classification of Time-Series Input Streams
    Kunal Agrawal (Washington University in St. Louis, USA), Sanjoy Baruah (Washington University in St. Louis, USA), Zhishan Guo (NC State University, USA), Jing Li (NJIT, USA), Federico Reghenzani (Politecnico di Milano, Italy), Kecheng Yang (Texas State University, USA), Jinhao Zhao (Washington University in St. Louis, USA)
  • Real-Time System Evaluation Techniques: A Systematic Mapping Study
    Tilmann Unte (University of Augsburg Embedded Systems Chair, Germany), Sebastian Altmeyer (University of Augsburg Embedded Systems Chair, Germany)
  • Auto-Configuring Real-Time Distributed Systems Using Inductive Logic Programming
    Marcus Gualtieri (Robert Bosch LLC, USA), Christian Juette (Robert Bosch LLC, Germany), Dakshina Dasari (Robert Bosch GmbH, Germany)

Session 5: Real-time Scheduling

10:30 AM – 12:30 PM

Session Chair: TBD

  • Analysis of EDF for Real-Time Multiprocessor Systems with Resource Sharing
    Kunal Agrawal (Washington University in St. Louis, USA), Sanjoy Baruah (Washington University in St. Louis, USA), Jeremy Fineman (Georgetown University, USA), Alberto Marchetti-Spaccamela (University of Rome, Italy), Jinhao Zhao (Washington University in St. Louis, USA)
  • Formal Comparison of Outgoing Event Streams
    Victor Pollex (INCHRON AG, Germany), Frank Slomka (Ulm University, Germany)
  • Theoretical Foundations of Utility Accrual for Real-Time Systems
    Jian-Jia Chen (TU Dortmund University, Germany), Junjie Shi (TU Dortmund University, Germany), Mario Guenzel (TU Dortmund, Germany), Georg von der Brüggen (TU Dortmund, Germany), Kuan-Hsun Chen (University of Twente, Netherlands), Peter Bella (TU Dortmund University, Germany)
  • Per-Flow Performance Guarantees in Networked Systems with Complex Feedback Structures
    Anja Hamscher (RPTU Kaiserslautern-Landau, Germany), Lukas Wildberger (RPTU Kaiserslautern-Landau, Germany), Jens Schmitt (RPTU Kaiserslautern-Landau, Germany)

Session 6: Outstanding Papers

2:00 PM – 3:30 PM

Session Chair: TBD

  • Revisiting Timing Anomalies in Predictable In-order Pipelines
    Lilia Rouizi (Université Paris-Saclay, CEA List, France), Mihail Asavoae (Université Paris-Saclay, CEA List, France), Benjamin Binder (Independent researcher, France), Lionel Rieg (Grenoble INP – UGA, Université Grenoble Alpes, Verimag, France), Florian Brandner (LTCI, Télécom Paris, Institut Polytechnique de Paris, France)
  • Detecting Low-Density Mixture Component Distributions in High-Quantile Tails
    Blau Manau (Barcelona Supercomputing Center, Spain), Sergi Vilardell (Barcelona Supercomputing Center, Spain), Isabel Serra (Autonomous University of Barcelona, Spain), Enrico Mezzetti (Barcelona Supercomputing Center, Spain), Jaume Abella (Barcelona Supercomputing Center, Spain), Francisco J. Cazorla (Barcelona Supercomputing Center, Spain)
  • Hardware Compute Partitioning on NVIDIA GPUs for Composable Systems
    Joshua Bakita (University of North Carolina at Chapel Hill, USA), James H. Anderson (University of North Carolina at Chapel Hill, USA)

Comments are closed.