Program Summary is not yet available
Keynotes
Wednesday, July 8, 09:00 AM – 10:00 PM
Edward Lee – Distributed Real-Time Computing
Edward A. Lee is Professor of the Graduate School and Distinguished Professor Emeritus in Electrical Engineering and Computer Sciences (EECS) at the University of California at Berkeley, where he has been on the faculty since 1986. He is also co-founder of Xronos Inc. and BDTI, Inc. He is the author of seven books, some with several editions and translations, including two for a general audience, and hundreds of papers and technical reports. Lee has delivered hundreds of keynotes and other invited talks at venues worldwide and has graduated 40 PhD students.
Professor Lee’s research studies cyber-physical systems, which integrate physical dynamics with software and networks. His focus is on the use of deterministic models as a central part of the engineering toolkit for such systems. He is the director of iCyPhy, the Berkeley Industrial Cyber-Physical Systems Research Center. From 2005-2008, he served as Chair of the EE Division and then Chair of the EECS Department at UC Berkeley. He has led the development of several influential open-source software packages, notably Ptolemy and Lingua Franca.
Lee received his BS degree in 1979 from Yale University, with a double major in Computer Science and Engineering and Applied Science, an SM degree in EECS from MIT in 1981, and a Ph.D. in EECS from UC Berkeley in 1986. From 1979 to 1982 he was a member of technical staff at Bell Labs in Holmdel, New Jersey, in the Advanced Data Communications Laboratory.
Lee is a Fellow of the IEEE, was an NSF Presidential Young Investigator, and won the 1997 Frederick Emmons Terman Award for Engineering Education. He received the 2016 Outstanding Technical Achievement and Leadership Award from the IEEE Technical Committee on Real-Time Systems (TCRTS), the 2018 Berkeley Citation, the 2019 IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Technical Achievement Award, the 2022 European Design and Automation Association (EDAA) Achievement Award, the 2022 ACM SIGBED Technical Achievement Award, an honorary doctorate from the Technical University of Vienna in 2022, the 2023 CASES Test of Time Award for a paper published in 2008 on PRET machines, and the 2024 HiPEAC Technology Transfer Award.
Umut Durak- WebAssembly for Safety-Critical Systems: From Sandbox to Flight Deck
Thursday, July 9, 09:00 AM – 10:00 PM
Umut Durak is the Deputy Head of the Safety Critical Systems and Systems Engineering Department in the Institute of Flight Systems at the German Aerospace Center (DLR). He is also a Professor for Aeronautical Informatics in the Informatics Institute at the Clausthal University of Technology.
His research interests concentrate on engineering of software intensive airborne systems. He has published 5 books and more than 100 papers in various conference proceedings and journals. He is an Associate Fellow and the Chair of Software Technical Committee at the American Institute of Aeronautics and Astronautics (AIAA) and an Executive Board Member of the German Simulation Association Arbeitsgemeinschaft Simulation (ASIM).
Preliminary program
Wednesday, July 8
Session 1: Scheduling & Predictability
10:30 AM – 12:15 PM
Session Chair: TBD
- Critical-Section Granularity for Multi-Resource Systems with Nested Critical Sections
Catherine Nemitz (Davidson College); Tanya Amert (Carleton College); Jonad Pulaj (Davidson College) - Preempt Less, Schedule Better: Revisiting PCG for Real-Time Uniform Processors
Yahya Hamdani, Pascal Richard, Antoine Bertout (LIAS, ISAE-ENSMA, Université de Poitiers); Joel Goossens (Université libre de Bruxelles); Emmanuel Grolleau (LIAS, ISAE-ENSMA, Université de Poitiers) - Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors
Hiroto Takahashi (Graduate School of Science and Engineering, Saitama University); Atsushi Yano (Graduate School of Science and Engineering, Saitama University and TIER IV, inc.); Takuya Azumi (Graduate School of Science and Engineering, Saitama University) - Boost-at-the-Tail: Work-Triggered Frequency Boosting for Fixed-Priority Scheduling
Behnam Khodabandeloo, Chengzi Huang, Pontus Ekberg (Uppsala University)
Session 2: Network & Communication Systems
1:45 PM – 3:30 PM
Session Chair: TBD
- Nancy-Playground: A Console Calculator for Deterministic Network Calculus
Raffaele Zippo, Giovanni Stea (University of Pisa) - Automated and Precise Deterministic NetCal Calculations from Models to Bounds
Wlad Pesotsky, Steffen Bondorf, Eric Hemsen (Ruhr University Bochum) - Controlling Adaptive HARQ Erasure Coding for Real-Time Transport under Channel Model Mismatch
Moritz Miodek, Marlene Böhmer, Thorsten Herfet (Saarland Informatics Campus, Saarland University) - Alignment Sets for Sensor Fusion against Temporal Misalignment
Daniel Kuhse, Mario Guenzel, Harun Teper, Lars Willemsen, Georg von der Brüggen, Jian-Jia Chen (TU Dortmund University)
Real-Time Journal session
16:00 PM – 16:45 PM
Session Chair: TBD
- The bottlenecks of AI: challenges for embedded and real-time research in a data-centric age
Abdelzaher T., Hu Y., Kara D., Kimura T., Misra A., Ramani V., Tardieu O., Wang T., Wigness M., Youssef A. - Resource Management for Stochastic Parallel Synchronous Tasks: Bandits to the Rescue
Friebe A., Marchetti-Spaccamela A., Cucinotta T., Papadopoulos A.V., Nolte T., Baruah S. - Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS
Entrup G., Kässens A., Fiedler B., Lohmann D.
Real-Time Pitches session
16:45 PM – 17:30 PM
Session Chair: TBD
- TBD
Thursday, July 9
Session 3: Security & Protection
10:30 AM – 12:15 PM
Session Chair: TBD
- Randomizing Parallel Real-Time Tasks: A Scheduler-Oblivious Mechanism to Harness Security
Xiuqi Zhang, Risat Mahmud Pathan (Chalmers University of Technology and University of Gothenburg) - DART: A Real-Time Address-Randomization Defense with Predictable Timing
Patrick Dobranowski, Owen Rice (Vanderbilt University); Ryan Burrow, Nathan Burow (MIT Lincoln Laboratory); Bryan Ward (Vanderbilt University) - On DoS Attacks Exploiting Input Representativeness in Mixed-Criticality Systems
Nicolas Benatti, Federico Reghenzani, Vittorio Zaccaria (Politecnico di Milano) - Schedule-Based Attack against TSN TAS with Frame Preemption
Omolade Ikumapayi (University of Colorado Colorado Springs); Vijay Banerjee (Washington State University); Sena Hounsinou (Metrostate University); Gedare Bloom (University of Colorado Colorado Springs)
Session 4: Resource Analysis & Timing
1:45 PM – 3:00 PM
Session Chair: TBD
- CacheFlow: Using Maximum Flow to Bound Cache-Based Preemption Delays
Tiancheng He, Bryan Ward (Vanderbilt University) - WCET Analysis of HLS-Generated Processors Using Abstract Interpretation
Thomas Feuilletin, Dylan Leothaud, Simon Rokicki (Univ Rennes, Inria, CNRS, IRISA); Steven Derrien (UBO-univ. Brest); Isabelle Puaut (Univ Rennes, Inria, CNRS, IRISA) - BRUMM: A Case for Predictable Memory Reclamation
Viktor Reusch, Michael Roitzsch (Barkhausen Institut); Horst Schirmeier (TU Dresden)
Friday, July 10
Session 5: Adaptive Systems & Applications
10:30 AM – 12:00 AM
Session Chair: TBD
- FDySM: Dynamic Scaling of GPU Streaming Multiprocessor in Spatially Shared Real-Time Embedded GPU Systems
Srinivasan Subramaniyan, Xiaorui Wang (Ohio State University) - Uncertainty-Aware Resource Allocation for Multi-Path Programs with In-Kernel Predictions
Abigail Eisenklam (University of Pennsylvania); Carlos A. Montenegro G. (University of California, Santa Cruz); Xian Wang, Yifan Cai, Robert Gifford, Linh Thi Xuan Phan (University of Pennsylvania); Ricardo G. Sanfelice (University of California, Santa Cruz) - DAAT‑MCS: A Framework to Deploy, Analyse, and Auto‑Tune Interference Mitigation Techniques in Mixed‑Criticality Systems
Diogo Costa, Sandro Pinto (Universidade do Minho) - From Budgets to WCETs: Stable SIL/BSW-Aware Clustering and Allocation Supporting Iterative Development for Automotive Software
Tobias Denzinger (CARIAD SE); Matthias Becker (KTH Royal Institute of Technology); Peter Ulbrich (TU Dortmund University)
Industrial Session
13:45 AM – 15:00 PM
Session Chair: TBD
- TBD
Session 6: Outstanding Papers
15:30 PM – 17:15 PM
Session Chair: TBD
- Multi-core Integration of Sporadic Events in Time-triggered Systems
Anaïs Finzi (TTTech Computertechnik AG); Silviu Craciunas (NXP Semiconductors) - Semi-Clairvoyant Scheduling for Jobs with Multiple Criticalities
Kunal Agrawal, Tung Duc Thai, Jinhao Zhao (Washington University in St. Louis) - PREEMPT-FaaS: Taming Orchestration Times in Latency-Sensitive Serverless Environments
Marcello Cinque, Luigi De Simone, Raffaele Della Corte, Stefano Toscano (Università degli Studi di Napoli Federico II) - MCAnalyzer: Cross-Domain Static Analysis of Partitioned Real-Time Hypervisor Systems
Andreas Kässens, Mareike Burg, Daniel Lohmann (Leibniz Universität Hannover)