Table of Contents

• Trusted Timing Services with TimeguardAdeel Nasrullah, Fatima Muhammad Anwar. 1-14 [doi]
• Integrating Sporadic Events in Time-triggered Systems via Affine Envelope ApproximationsAnaïs Finzi, Silviu S. Craciunas, Marc Boyer. 15-28 [doi]
• Optimal Synthesis of Fault-Tolerant IDK Cascades for Real-Time ClassificationSanjoy K. Baruah, Iain Bate, Alan Burns 0001, Robert I. Davis 0001. 29-41 [doi]
• USB Interrupt Differentiated Service for Bandwidth and Delay-Constrained Input/OutputZhiyuan Ruan, Anton Njavro, Richard West. 42-54 [doi]
• A Predictable SIMD Library for GEMM RoutinesIryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jégu, Claire Pagetti. 55-67 [doi]
• Safe and Secure? On the Timing Analysability of Cryptographic ImplementationsAlexander Stegmeier, Peter Knauer, Philipp Schubaur, Christian Piatka, Dominik Merli, Sebastian Altmeyer. 68-80 [doi]
• PAAM: A Framework for Coordinated and Priority-Driven Accelerator Management in ROS 2Daniel Enright, Yecheng Xiang, Hyunjong Choi, Hyoseung Kim 0001. 81-94 [doi]
• Extending Network Calculus to Deal with Min-Plus Service Curves in Multiple Flow ScenariosAnja Hamscher, Vlad-Cristian Constantin, Jens B. Schmitt. 95-107 [doi]
• Real-Time Scheduling for 802.1Qbv Time-Sensitive Networking (TSN): A Systematic Review and Experimental StudyChuanyu Xue, Tianyu Zhang 0001, Yuanbin Zhou, Mark Nixon, Andrew Loveless, Song Han 0002. 108-121 [doi]
• Sync or Sink? The Robustness of Sensor Fusion Against Temporal MisalignmentDaniel Kuhse, Nils Hölscher, Mario Günzel, Harun Teper, Georg von der Brüggen, Jian-Jia Chen, Ching-Chi Lin. 122-134 [doi]
• Optimizing Logical Execution Time Model for Both Determinism and Low LatencySen Wang, Dong Li, Ashrarul H. Sifat, Shaoyu Huang, Xuanliang Deng, Changhee Jung, Ryan K. Williams, Haibo Zeng 0001. 135-148 [doi]
• DAG Scheduling with Execution GroupsJunjie Shi, Mario Gtinzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen. 149-160 [doi]
• A Hybrid Approach to WCTT Analysis in a Real-Time Switched Ethernet NetworkAakash Soni 0001, Jean-Luc Scharbarg, Jérôme Ermont. 161-172 [doi]
• RT-Mimalloc: A New Look at Dynamic Memory Allocation for Real-Time SystemsRaffaele Giannessi, Alessandro Biondi 0001, Alessandro Biasci. 173-185 [doi]
• Exclusive Hierarchies for Predictable Sharing in Last-Level CacheXinzhe Wang, Zhuanhao Wu, Rodolfo Pellizzoni, Hiren D. Patel. 186-198 [doi]
• 3Nils Asmussen, Sebastian Haas, Adam Lackorzynski, Michael Roitzsch. 199-211 [doi]
• End-To-End Timing Analysis and Optimization of Multi-Executor ROS 2 SystemsHarun Teper, Tobias Betz, Mario Günzel, Dominic Ebner, Georg von der Brüggen, Johannes Betz, Jian-Jia Chen. 212-224 [doi]
• TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded SystemsHarald Böhm, Tobias Distler, Peter Wägemann. 225-238 [doi]
• OmniWasm: Efficient, Granular Fault Isolation and Control-Flow Integrity for Arm MicrocontrollersMaorui Bai, Runyu Pan, Gabriel Parmer. 239-251 [doi]
• Strict Partitioning for Sporadic Rigid Gang TasksBinqi Sun, Tomasz Kloda, Marco Caccamo. 252-264 [doi]
• HAEST: Harvesting Ambient Events to Synchronize Time across Heterogeneous IoT DevicesAdeel Nasrullah, Fatima Muhammad Anwar. 265-279 [doi]
• Fast Attack Recovery for Stochastic Cyber-Physical SystemsLin Zhang, Luis Burbano, Xin Chen, Alvaro A. Cárdenas, Steven Drager 0001, Matthew Anderson, Fanxin Kong. 280-293 [doi]
• Demystifying NVIDIA GPU Internals to Enable Reliable GPU ManagementJoshua Bakita, James H. Anderson. 294-305 [doi]
• Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-DesignRobert Gifford, Felipe Galarza-Jimenez, Linh Thi Xuan Phan, Majid Zamani. 306-319 [doi]
• An Empirical Study of Performance Interference: Timing Violation Patterns and ImpactsAo Li, Jinwen Wang, Sanjoy K. Baruah, Bruno Sinopoli, Ning Zhang 0017. 320-333 [doi]
• Elastic Scheduling for Harmonic Task SystemsMarion Sudvarg, Ao Li 0006, Daisy Wang, Sanjoy K. Baruah, Jeremy Buhler, Chris Gill 0001, Ning Zhang 0017, Pontus Ekberg. 334-347 [doi]
• Algorithms for Canvas-Based Attention Scheduling with ResizingYigong Hu, Ila Gokarn, Shengzhong Liu, Archan Misra, Tarek F. Abdelzaher. 348-359 [doi]
• InsectACIDE: Debugger-Based Holistic Asynchronous CFI for Embedded SystemYujie Wang, Cailani Lemieux Mack, Xi Tan, Ning Zhang, Ziming Zhao 0001, Sanjoy K. Baruah, Bryan C. Ward. 360-372 [doi]
• RT-Swap: Addressing GPU Memory Bottlenecks for Real-Time Multi-DNN InferenceWoo-Sung Kang, Jinkyu Lee 0001, Youngmoon Lee, Sangeun Oh, Kilho Lee, Hoon Sung Chwa. 373-385 [doi]
• Work in Progress: Predictable Execution of Isolated Real-Time Tasks on Multicore Systems Using the LET ParadigmKonstantin Dudzik, Maximilian Kirschner, Victor Pazmino Betancourt, Jürgen Becker 0001. 386-389 [doi]
• Work in Progress: Early Timing Prediction of Real-Time Tasks in Continuous Integration EnvironmentsPengcheng Huang, Balz Maag, Thanikesavan Sivanthi, Chunwei Xing. 390-393 [doi]
• Brief Industry Paper: Delay-Aware Control in Networked Systems Using Smart ActuatorsPaolo Pazzaglia, Christoph Mark, Behnaz Pourmohseni, Fedor Smirnov, Kevin Schmidt, Laura Beermann. 396-399 [doi]
• Demo: Vulnerability Analysis for STL-Guided Safe Reinforcement Learning in Cyber-Physical SystemsShixiong Jiang, Mengyu Liu, Fanxin Kong. 400-401 [doi]
• Work in Progress: Guaranteeing Weakly-Hard Timing Constraints in Server-Based Real-Time SystemsNasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen. 402-405 [doi]
• Work in Progress: Emerging from Shadows: Optimal Hidden Actuator Attack to Cyber-Physical SystemsMd Kausar Hamid Miji, Mengyu Liu, Francis E. Akowuah, Fanxin Kong. 406-409 [doi]