Table of Contents

• Message from the Program, Track, and General ChairsInsik Shin, Nan Guan, Renato Mancuso 0001, Hyoseung Kim, Jian-Jia Chen. [doi]
• Rethinking Tractability for Schedulability AnalysisKunal Agrawal, Sanjoy K. Baruah, Pontus Ekberg. 1-12 [doi]
• What Really is pWCET? A Rigorous Axiomatic ProposalSergey Bozhko, Filip Markovic, Georg von der Brüggen, Björn B. Brandenburg. 13-26 [doi]
• Holistically Budgeting Processing GraphsZelin Tong, Shareef Ahmed, James H. Anderson. 27-39 [doi]
• Stealing Static Slack Via WCRT and Sporadic P-Servers in Deadline-Driven SchedulingZhishan Guo, Sudharsan Vaidhun, Abdullah Al Arafat, Nan Guan, Kecheng Yang 0001. 40-52 [doi]
• Who's Afraid of Butterflies? A Close Examination of the Butterfly AttackSanjoy K. Baruah, Pontus Ekberg, Mehdi Hosseinzadeh 0002, Ao Li, Bryan C. Ward, Ning Zhang. 53-63 [doi]
• Catch You if Pay Attention: Temporal Sensor Attack Diagnosis Using Attention Mechanisms for Cyber-Physical SystemsZifan Wang, Lin Zhang, Qinru Qiu, Fanxin Kong. 64-77 [doi]
• Learn-to-Respond: Sequence-Predictive Recovery from Sensor Attacks in Cyber-Physical SystemsMengyu Liu, Lin Zhang, Vir V. Phoha, Fanxin Kong. 78-91 [doi]
• RT-Blockchain: Achieving Time-Predictable TransactionsSeunghoon Lee, Sukmin Kang, Seungyeon Cho, Hyunwoo Koo, Sungjae Hwang, Jinkyu Lee 0001. 92-104 [doi]
• AgileShard: Turning the Sharded Blockchain into a Real-Time Transaction Processing SystemJianfeng Shi, Heng Wu, Wang Liu, Heran Gao, Wenbo Zhang 0006. 105-117 [doi]
• Progressive Neural Compression for Adaptive Image Offloading Under Timing ConstraintsRuiqi Wang, Hanyang Liu, Jiaming Qiu, Moran Xu, Roch Guérin, Chenyang Lu 0001. 118-130 [doi]
• $\mathrm{R}^{3}$: On-Device Real-Time Deep Reinforcement Learning for Autonomous RoboticsZexin Li 0001, Aritra Samanta, Yufei Li, Andrea Soltoggio, Hyoseung Kim 0001, Cong Liu. 131-144 [doi]
• GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning Using Version ControlMing Hu 0003, Zeke Xia, Dengke Yan, Zhihao Yue, Jun Xia, Yihao Huang 0001, Yang Liu 0003, Mingsong Chen. 145-157 [doi]
• RT-LM: Uncertainty-Aware Resource Management for Real-Time Inference of Language ModelsYufei Li, Zexin Li, Wei Yang 0013, Cong Liu. 158-171 [doi]
• SEAM: An Optimal Message Synchronizer in ROS with Well-Bounded Time DisparityJinghao Sun, Tianyi Wang, Yang Li, Nan Guan, Zhishan Guo, Guozhen Tan. 172-184 [doi]
• Worst-Case Latency Analysis of Message Synchronization in ROSRuoxiang Li, Xu Jiang 0004, Zheng Dong 0002, Jen-Ming Wu, Chun Jason Xue, Nan Guan. 185-197 [doi]
• Modeling and Analysis of Inter-Process Communication Delay in ROS 2Xiantong Luo, Xu Jiang 0004, Nan Guan, Haochun Liang, Songran Liu, Wang Yi 0001. 198-209 [doi]
• RED: A Systematic Real-Time Scheduling Approach for Robotic Environmental DynamicsZexin Li, Tao Ren, Xiaoxi He, Cong Liu. 210-223 [doi]
• Co-Optimizing Cache Partitioning and Multi-Core Task Scheduling: Exploit Cache Sensitivity or Not?Binqi Sun, Debayan Roy, Tomasz Kloda, Andrea Bastoni, Rodolfo Pellizzoni, Marco Caccamo. 224-236 [doi]
• Leveraging LLVM's ScalarEvolution for Symbolic Data Cache AnalysisValentin Touzeau, Jan Reineke 0001. 237-250 [doi]
• Co-Located Parallel Scheduling of Threads to Optimize Cache SharingCorey Tessler, Prashant P. Modekurthy, Nathan Fisher, Abusayeed Saifullah, Alleyn Murphy. 251-264 [doi]
• Improving Timing-Related Guarantees for Main Memory in Multicore Critical Embedded SystemsAsier Fernández de Lecea, Mohamed Hassan 0002, Enrico Mezzetti, Jaume Abella 0001, Francisco J. Cazorla. 265-278 [doi]
• RTISM: Real-Time Inter-VM Communication Based on Shared Memory for Mixed-Criticality FlowsZonghong Li, Guoqi Xie, Wenhong Ma, Xiongren Xiao, Yong Xie, Wei Ren, Wanli Chang 0001. 279-290 [doi]
• SMG: A System-Level Modality Gating Facility for Fast and Energy-Efficient Multimodal ComputingXiaofeng Hou, Peng Tang, Chao Li, Jiacheng Liu 0001, Cheng Xu, Kwang-Ting Cheng, Minyi Guo. 291-303 [doi]
• CollabVr: Reprojection-Based Edge-Client Collaborative Rendering for Real-Time High-Quality Mobile Virtual RealityZhihui Ke, Xiaobo Zhou 0003, Dadong Jiang, Hao Yan, Tie Qiu 0001. 304-316 [doi]
• CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent TasksFilip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg. 317-330 [doi]
• Soft Real-Time Gang SchedulingShareef Ahmed, James H. Anderson. 331-343 [doi]
• RTailor: Parameterizing Soft Error Resilience for Mixed-Criticality Real-Time SystemsShaoyu Huang, Jianping Zeng 0001, Xuanliang Deng, Sen Wang, Ashrarul H. Sifat, Burhanuddin Bharmal, Jia-Bin Huang 0001, Ryan K. Williams, Haibo Zeng 0001, Changhee Jung. 344-357 [doi]
• Minimizing AoI of Non-Uniform Multi-Source Real-Time Data Updates: Model Generalization, Analysis and Performance EvaluationXiaoxing Qiu, Weiwei Wu 0001, Chenchen Fu, Zelin Yun, Vincent Chau, Song Han 0002. 358-370 [doi]
• Real-Time Flow Scheduling in Industrial 5G New RadioTianyu Zhang, Jiachen Wang, Xiaobo Sharon Hu, Song Han. 371-384 [doi]
• Resource Virtualization with End-to-End Timing Guarantees for Multi-Hop Multi-Channel Real-Time Wireless NetworksJiachen Wang, Tianyu Zhang, Xiaobo Sharon Hu, Song Han. 385-396 [doi]
• Link Between Real-Time Scheduling and Time-Triggered NetworksRichard Garreau, Matheus Ladeira, Emmanuel Grolleau, Henri Bauer, Frédéric Ridouard, Pascal Richard. 397-410 [doi]
• Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority InheritanceYue Tang 0001, Xu Jiang 0004, Nan Guan, Songran Liu, Xiantong Luo, Wang Yi 0001. 411-422 [doi]
• Work-in-Progress: Towards an Autonomous Real-Time Scheduling Framework for Multi-Core PlatformsAbdulhakeem Temitope Abdulrahman, Patrick Meumeu Yomsi. 423-426 [doi]
• Work-In-Progress: Could Tensorflow Applications Benefit from a Mixed-Criticality Approach?Alan Le Boudec, Frank Singhoff, Hai Nam Tran, Stéphane Rubini, Sébastien Levieux, Alexandre Skrzyniarz. 427-430 [doi]
• Work-in-Progress: Towards Real-Time IDS via RNN and Programmable Switches Co-Designed ApproachZiming Zhao 0008, Zhaoxuan Li, Zhuoxue Song, Fan Zhang 0010. 431-434 [doi]
• Work-in-Progress: Algorithms for Canvas-Based Attention Scheduling with ResizingYigong Hu, Ila Gokarn, Shengzhong Liu, Archan Misra, Tarek F. Abdelzaher. 435-438 [doi]
• Work-in-Progress: Impacts of Critical-Section Granularity When Accessing Shared ResourcesTanya Amert, Catherine E. Nemitz. 439-442 [doi]
• Work-in-Progress: Federated and Bundled-Based DAG SchedulingTomoya Kobayashi, Takuya Azumi. 443-446 [doi]
• Work-in-Progress: Model Dependability Constrained Differentiable Architecture Search for Safety Critical DNN TasksWensheng Tian, Lei Zhang, Shuangxi Chen, Hu Wang, Xiao Luo. 447-450 [doi]
• Work-in-Progress: Tight Response-Time Analysis for Periodic Preemptive Tasks Under Global SchedulingPourya Gohari, Jeroen Voeten, Mitra Nasri. 451-454 [doi]
• Work-in-Progress: Time-Aware Formation Control of Connected and Automated Vehicle Platoon Based on Weighted Graph TheoryYing Zhang, Tingyi Zhao, Yingjie Zhang, Tao You, Yantao Lu, Jinchao Chen. 455-458 [doi]
• Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule AbstractionYimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, Mitra Nasri. 459-462 [doi]
• Brief Industry Paper: Latency-Driven Optimization of Instruction Blocks Orchestration on MemoryHui Chen, Xiaoqiang Wu, Lei Dai, Yang Liu. 463-467 [doi]
• Brief Industry Paper: Evaluating Robustness of Deep Learning-Based Recommendation Systems Against Hardware Errors: A Case StudyXun Jiao, Fan Fred Lin, Matt Xiao, Alban Desmaison, Daniel Moore, Sriram Sankar. 468-472 [doi]
• Brief Industry Paper: RTLight: Digital Twin-Based Real-Time Federated Traffic Signal ControlYutong Ye, Zhiwei Ling, Yaning Yang, Xian Wei, Cheng Chen, Su Chen, Mingsong Chen. 473-477 [doi]
• Brief Industry Paper: Real-Time Image Dehazing for Automated VehiclesYanjie Tan, Yifu Zhu, Zhaoyang Huang, Huailiang Tan, Wanli Chang 0001. 478-483 [doi]
• Brief Industry Paper: Towards Efficient Task Scheduling for AUTOSAR using Parallel PruningYanxing Yang, Nan Zhang, Dengke Yan, Xian Wei, Junlong Zhou, Hong Liu, Mingsong Chen. 484-488 [doi]
• Brief Industry Paper: Response Time Evaluation of Cross-Domain Communication in CAN-FD and TSNWenhong Ma, Xiaoyi Huang, Dongsheng Wei, Renfa Li, Yunfei Zhang, Guoqi Xie, Wanli Chang 0001. 489-494 [doi]
• Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time LinuxYuheng Shen, Shijun Chen, Jianzhong Liu, Yiru Xu, Qiang Zhang, Runzhe Wang, Heyuan Shi, Yu Jiang. 495-499 [doi]
• Brief Industry Paper: Retention-Based Energy-Efficient Scheduling of Arbitrary-Deadline DAG Tasks on Multicore PlatformsXiangzhen Xiao, Weijie Wang, Wenhong Ma, Wanli Chang 0001. 500-505 [doi]
• Brief Industry Paper: A DAG Generator with Full Topology CoverageYinjie Fang, Shuai Zhao 0004, Yili Guo, Wanli Chang 0001. 506-511 [doi]