Program

Program of RTAS 2025 – May 7, 2025 (Day 1)

10:30am-12:00pm, Session 1: RTAS Opening
Session Chair: Tam Chantem, Virginia Tech, USA

• Welcome to RTAS 2025 by PC Chair, Tam Chantem, Virginia Tech, USA
• IEEE TCRTS Outstanding Technical Achievement and Leadership Award Lecture, X. Sharon Hu, University of Notre Dame, USA

1:30pm-3:00pm, Session 2: Scheduling and Resource Reservations
Session Chair: Dionisio De Niz, Carnegie Mellon University, USA

• Asymptotically Optimal Multiprocessor Real-Time Locking for non-JLFP Scheduling, Zelin Tong (University of North Carolina at Chapel Hill), Syed Ali (University of North Carolina at Chapel Hill), James Anderson (University of North Carolina at Chapel Hill)
• SPR: Shielded Processor Reservations with Bounded Management Overhead, Esma Kokten (George Washington University), Gabriel Parmer (George Washington University), Bjorn Brandenburg (Max Planck Institute for Software Systems (MPI-SWS))
• Nip It In The Bud: Job Acceptance Multi-Server, Anna Friebe (Malardalen University), Tommaso Cucinotta (Scuola Superiore Sant’Anna), Filip Markovic (University of Southampton), Alessandro V. Papadopoulos (Malardalen University), Thomas Nolte (Malardalen University)
• Optimal Priority Assignment for Synchronous Harmonic Tasks With Dynamic Self-Suspension, Mario Guenzel (TU Dortmund), Marion Sudvarg (Washington University in St. Louis), Max Deppert (Kiel University), Ao Li (Washington University in St. Louis), Ning Zhang (Washington University in St. Louis), Jian-Jia Chen (TU Dortmund)

3:00pm-3:30pm, Coffee Break

3:30pm-5:30pm, Brief Presentation
Session Chairs: Daniel Casini, Scuola Superiore Sant’Anna, Italy; Corey Tessler, University of Nevada, Las Vegas, US

• Journal-first: Minimal-Overlap Centrality for Multi-Gateway Designation in Real-Time TSCH Networks. Authors: M. Gutiérrez Gaitán, L. Almeida, P. Santos, P. d’Orey, T. Watteyne
• Work in Progress: Reducing WCET Estimation by Increasing the Number of Persistent Blocks. Authors: B. Geller, K. Rainey, C. Tessler, P. Modekurthy
• Work in Progress: Security-Aware Preemptive Scheduling with Partial Trust for Safety-Critical Embedded Systems. Authors: F. Raadia, N. Fisher
• Work in Progress: Biologically Inspired Dynamic Task Prioritization in Computer Vision Systems. Authors: J. Easton-Marks, A. Munoz, A. Cheng
• Journal-first: A Machine Learning-based Platform for Monitoring and Prediction of Hazardous Gases in Rural and Remote Areas. Authors: E. Ladeira, B. Silva
• Brief Industry Paper: STM: A Static Non-preemptive Scheduler for NVIDIA Tegra SoC. Authors: A. Davies, N. Poorswani, R. Xiang, B. Brown, R. Singh, A. Tadkase, S. Gupta, A. Vafaee, J. Han, P. Tumati, S. Janapareddy
• Work in Progress: Optimizing Schedulability using Cache-Bypassing. Authors: T. Fischer, H. Falk
• Work in Progress: Increasing Schedulability via on-GPU Scheduling. Authors: J. Bakita, J. Anderson
• Work in Progress: Middleware-transparent Callback Enforcement in Commoditized Component-oriented Real-time Systems. Authors: T. Ishikawa-Aso, A. Yano, T. Azumi, S. Kato
• Journal-First: Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies. Authors: T. Fischer, H. Falk

Program of RTAS 2025 – May 8, 2025 (Day 2)

10:30am-12:00pm, Session 3: Predictable Caches and Memory Techniques
Session Chair: Abusayeed Saifullah, Wayne State University, USA

• A Unified Framework for Quantitative Cache Analysis, Sophie Kahlen (Saarland University), Jan Reineke (Saarland University)
• Consistency-aware and Predictable Memory Processing for Safety-critical Out-of-order Multicores, Zhuanhao Wu (University of Waterloo), Hiren Patel (University of Waterloo)
• ParRP: Enabling Space Isolation in Caches with Shared Data, Xinzhe Wang (University of Waterloo), Rodolfo Pellizzoni (University of Waterloo), Hiren Patel (University of Waterloo)
• A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC, Hayeon Park (Seoul National University), Hoyong Lee (Seoul National University), Jiwoong Lee (Seoul National University), Wan Choi (Seoul National University), Ted Kwon (Seoul National University), Chang-Gun Lee (Seoul National University)

12:00am-1:30pm, Lunch and Social

1:30pm-3:00pm, Session 4: Analysis and Scheduling of Cyber-Physical Systems
Session Chair: Dakshina Dasari, Robert Bosch GmbH, Germany

• Intelligent Power Distribution Systems: Model, Utilization Bounds, and Implementation, Aaron Willcock (Wayne State University), Nathan Fisher (Wayne State University)
• Mesh Network Scheduling based on Cyber-Physical Sensitivity for Wireless Control Systems, Ruijie Fu (Shanghai Jiao Tong University), An Zou (Shanghai Jiao Tong University), Cailian Chen (Shanghai Jiao Tong University), Xinping Guan (Shanghai Jiao Tong University), Yehan Ma (Shanghai Jiao Tong University)
• Analysis of Control Systems under Sensor Timing Misalignments, Yde Sinnema (Lund University) and Martina Maggio (Saarland University)
• Scheduling EV Battery Swap/Charge Operations, Jaeheon Kwak (KAIST), Seongtae Lee (Sungkyunkwan University), Kang G. Shin (University of Michigan), Jinkyu Lee (Sungkyunkwan University)

3:00pm-3:30pm, Coffee Break

3:30pm-5:30pm, Session 5: End-to-End Latency, Verification, and Prioritizing
Session Chair: Rodolfo Pellizzoni, University of Waterloo, Canada

• Optimal Task Phasing for End-To-End Latency in Harmonic and Semi-Harmonic Automotive Systems, Mario Guenzel (TU Dortmund), Matthias Becker (KTH Royal Institute of Technology)
• Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks, Harun Teper (TU Dortmund), Oren Bell (Washington University at St Louis), Mario Guenzel (TU Dortmund), Chris Gill (Washington University in St. Louis), Jian-Jia Chen (TU Dortmund)
• Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs, Jinghao Sun (Dalian University of Technology), Xisheng Li (Dalian University of Technology), Mingyang Gong (Dalian University of Technology), Nan Guan City (University of Hong Kong), Zhishan Guo (North Carolina State University), Mingsong Chen (East China Normal University), Jun Zhao (Dalian University of Technology), Qingxu Deng (Northeastern University)
• CROS-RT: Cross-Layer Priority Scheduling for Predictable Inter-Process Communication in ROS 2, Sohyun Kim (DGIST), Juho Song (DGIST), Kilho Lee (Soongsil University), Sangeun Oh (Korea University), Hoon Sung Chwa (DGIST)
• Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors, Kurt Wilson (North Carolina State University), Abdullah Al Arafat (North Carolina State University), John Baugh (North Carolina State University), Ruozhou Yu (North Carolina State University), Zhishan Guo (North Carolina State University)

Program of RTAS 2025 – May 9, 2025 (Day 3)

10:30am-12:00pm, Session 6: Testing and Evaluation
Session Chair: Alessandro Biondi, Scuola Superiore Sant’Anna, Italy

• Handling System Overloads: An Empirical Evaluation of Deadline-Miss Handling Strategies, Tim Braun (University of Augsburg), Sebastian Altmeyer (University of Augsburg)
• Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation, Ashutosh Pradhan (Technical University of Munich), Daniele Ottaviano (Technical University of Munich), Haozheng Huang (Technical University of Munich), Yi Jiang (Technical University of Munich), Alexander Zuepke (Technical University of Munich / Minerva Systems), Andrea Bastoni (Technical University of Munich / Minerva Systems), Marco Caccamo (Technical University of Munich)
• LiME: The Linux Real-Time Task Model Extractor, Bjorn Brandenburg (Max Planck Institute for Software Systems (MPI-SWS)), Cedric Courtaud (Huawei Paris Gallois Lab), Filip Markovic (University of Southampton), Bite Ye (Max Planck Institute for Software Systems (MPI-SWS))
• ConvolutionalFixedSum: Uniformly Generating Random Values with a Fixed Sum Subject to Arbitrary Constraints, David Griffin (University of York), Rob Davis (University of York)

12:00am-1:30pm, Lunch and Social

1:30pm-3:00pm, Session 7: Security and Safety
Session Chair: Andrea Bastoni, Technical University of Munich & Minerva Systems, Germany

• A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs, Niko Salamini (Scuola Superiore Sant’Anna – Pisa), Sara Alonso (Salazar University of the Basque Country), Gabriele Serra (Accelerat s.r.l), Giorgiomaria Cicero (Accelerat s.r.l), Pietro Fara (Accelerat s.r.l), Federico Aromolo (Scuola Superiore Sant’Anna – Pisa), Alessandro Biondi (Scuola Superiore Sant’Anna – Pisa)
• Janus: OS Support for a Secure, Fast Control-Plane, Wenyuan Shao (The George Washington University), Xinyu Han (The George Washington University), Evan Stella (The George Washington University), Linnea Dierksheide (The George Washington University), Phani Kishore Gadepalli (The George Washington University), Gabriel Parmer (The George Washington University)
• Integrated Real-Time Control and Scheduling for Safety Critical Cyber-Physical Systems, Marion Sudvarg (Washington University in St. Louis), Andrew Clark (Washington University at St. Louis), and Chris Gill (Washington University in St.louis)
• Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems, Weizhe Xu (University of Notre Dame), Xin Chen (University of New Mexico), Matthew Anderson (AFRL), Steven Drager (AFRL), Fanxin Kong (University of Notre Dame)

3:00pm-3:30pm, Coffee Break

3:30pm-5:30pm, Session 8: Cloud and Edge Computing
Session Chair: Geoffrey Nelissen, Eindhoven University of Technology, The Netherlands

• Scheduling Job Streams on Uniprocessors with Cold Start Delays, Jonathan Cao (The University of British Columbia), Grady Thompson (The University of British Columbia), Mohammad Shahrad (The University of British Columbia), Sathish Gopalakrishnan (The University of British Columbia)
• MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures, Yinchen Ni (Shanghai Jiaotong University), Yuankai Xu (Shanghi Jiao Tong University), Jintao Chen (Shanghai Jiao Tong University), Jing Li (New Jersey Institute of Technology), Chris Gill (Washington University in St.louis), Xuan Zhang (Washington University in St. Louis), Yier Jin (University of Florida), An Zou (Shanghai Jiao Tong University)
• Scheduling Processing Graphs of Gang Tasks on Heterogeneous Platforms, Shareef Ahmed (University of North Carolina at Chapel Hill), Denver Massey (University of North Carolina at Chapel Hill), James Anderson (University of North Carolina at Chapel Hill)
• A Framework for Managing Edge-Cloud Distributed Embedded Systems, Arjun Ramesh (Carnegie Mellon University), Emily Ruppel (Robert Bosch LLC), Anthony Rowe (Carnegie Mellon University), Dakshina Dasari (Robert Bosch GmbH), Behnaz Pourmohseni (Robert Bosch GmbH), Fedor Smirnov (Robert Bosch GmbH), Tianshu Huang (Carnegie Mellon University), Nuno Pereira (Carnegie Mellon University), Marco Giani (Robert Bosch GmbH), Arne Hamann (Robert Bosch GmbH), Dirk Ziegenbein (Robert Bosch GmbH), Charles Shelton (Robert Bosch LLC), Paolo Pazzaglia (Robert Bosch GmbH)
• HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing, Yinchen Ni (Shanghai Jiaotong University), Tianrui Ma (ICT, CAS), Jintao Chen (Shanghai Jiao Tong University), Chongye Yang (Shanghai Jiao Tong University), Siwei Ye (Shanghai Jiao Tong University), Yuankai Xu (Shanghai Jiao Tong University), Yier Jin (University of Florida), An Zou (Shanghai Jiao Tong University)