Table of Contents

• Edge-RT: OS Support for Controlled Latency in the Multi-Tenant, Real-Time EdgeWenyuan Shao, Bite Ye, Huachuan Wang, Gabriel Parmer, Yuxin Ren. 1-13 [doi]
• Task Allocation for Real-time Earth Observation Service with LEO SatellitesMingsong Lv, Xuemei Peng, Wenjing Xie, Nan Guan. 14-26 [doi]
• Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2Xu Jiang, Dong Ji, Nan Guan, Ruoxiang Li, Yue Tang, Yi Wang. 27-39 [doi]
• Worst-Case Time Disparity Analysis of Message Synchronization in ROSRuoxiang Li, Nan Guan, Xu Jiang, Zhishan Guo, Zheng Dong, Mingsong Lv. 40-52 [doi]
• End-To-End Timing Analysis in ROS2Harun Teper, Mario Günzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen. 53-65 [doi]
• A Theoretical Approach to Determine the Optimal Size of a Thread Pool for Real-Time SystemsDaniel Casini. 66-78 [doi]
• On Batching Task SchedulingHehuan Shi, Lin Chen. 79-91 [doi]
• Response Time Analysis for Real-Time Global Gang SchedulingSeongtae Lee, Seunghoon Lee, Jinkyu Lee 0001. 92-104 [doi]
• A Utilization-based Test for Non-preemptive Gang Tasks on MultiprocessorsZheng Dong 0002, Cong Liu. 105-117 [doi]
• Multi-mode on Multi-core: Making the best of both worlds with OmniRobert Gifford, Linh Thi Xuan Phan. 118-131 [doi]
• Design and Timing Guarantee for Non-Preemptive Gang SchedulingSeongtae Lee, Nan Guan, Jinkyu Lee 0001. 132-144 [doi]
• Critical Instant for Probabilistic Timing Guarantees: Refuted and RevisitedKuan-Hsun Chen, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen. 145-157 [doi]
• Analytical Approximations in Probabilistic Analysis of Real-Time SystemsFilip Markovic, Thomas Nolte, Alessandro Vittorio Papadopoulos. 158-171 [doi]
• EDF-Like Scheduling for Self-Suspending Real-Time TasksMario Günzel, Georg von der Brüggen, Kuan-Hsun Chen, Jian-Jia Chen. 172-184 [doi]
• Fixed-Parameter Analysis of Preemptive Uniprocessor Scheduling ProblemsSanjoy K. Baruah, Pontus Ekberg, Abhishek Singh 0007. 185-196 [doi]
• From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO SchedulingKimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida, Björn B. Brandenburg. 197-210 [doi]
• In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again!Arpan Gujarati, Ningfeng Yang, Björn B. Brandenburg. 211-224 [doi]
• PolyRhythm: Adaptive Tuning of a Multi-Channel Attack Template for Timing InterferenceAo Li, Marion Sudvarg, Han Liu, Zhiyuan Yu, Chris Gill, Ning Zhang. 225-239 [doi]
• Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor AttacksMengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky, Insup Lee. 240-252 [doi]
• Context-based Latency Guarantees Considering Channel Degradation in 5G Network SlicingAndrea Nota, Selma Saidi, Dennis Overbeck, Fabian Kurtz, Christian Wietfeld. 253-265 [doi]
• Improved Results for Guaranteeing Safety Despite Physical Errors in CPS'sJongwoo Han, Chang-Gun Lee, Sanjoy K. Baruah. 266-276 [doi]
• Jellyfish: Timely Inference Serving for Dynamic Edge NetworksVinod Nigade, Pablo Bauszat, Henri E. Bal, Lin Wang 0015. 277-290 [doi]
• Demand Layering for Real-Time DNN Inference with Minimized Memory UsageMingoo Ji, Saehanseul Yi, Changjin Koo, Sol Ahn, Dongjoo Seo, Nikil D. Dutt, Jong Chan Kim. 291-304 [doi]
• Prophet: Realizing a Predictable Real-time Perception Pipeline for Autonomous VehiclesLiangkai Liu, Zheng Dong, Yanzhi Wang, Weisong Shi. 305-317 [doi]
• RT-MOT: Confidence-Aware Real-Time Scheduling Framework for Multi-Object Tracking TasksDonghwa Kang, Seunghoon Lee, Hoon Sung Chwa, Seung Hwan Bae, Chang Mook Kang, Jinkyu Lee 0001, Hyeongboo Baek. 318-330 [doi]
• Real-Time Scheduling with PredictionsTianming Zhao 0002, Wei Li, Albert Y. Zomaya. 331-343 [doi]
• Latency-driven Optimization of Switching Pipeline Design in Network ChipsJiale Chen, Xiaoqiang Wu, Debayan Roy, Hui Chen, Ping Xiang, Wenzhuo Zhang, Yuhong Feng, Wanli Chang 0001. 344-355 [doi]
• CAESAR: Coherence-Aided Elective and Seamless Alternative Routing via on-chip FPGAShahin Roozkhosh, Denis Hoornaert, Renato Mancuso 0001. 356-369 [doi]
• Enabling GPU Memory Oversubscription via Transparent Paging to an NVMe SSDJoshua Bakita, James H. Anderson. 370-382 [doi]
• Making Powerful Enemies on NVIDIA GPUsTyler Yandrofski, Jingyuan Chen, Nathan Otterness, James H. Anderson, F. Donelson Smith. 383-395 [doi]
• Future aware Dynamic Thermal Management in CPU-GPU Embedded PlatformsSrijeeta Maity, Rudrajyoti Roy, Anirban Majumder, Soumyajit Dey, Ashish R. Hota. 396-408 [doi]
• Towards Energy-Efficient Real-Time Scheduling of Heterogeneous Multi-GPU SystemsYidi Wang, Mohsen Karimi, Hyoseung Kim 0001. 409-421 [doi]
• Job Scheduling with Battery Recharging Constraints: Applications to UAV Flight PlanningSathish Gopalakrishnan, Nima Nasiri, Jared Paul. 422-434 [doi]
• Mixed-Criticality Scheduling of Energy-Harvesting SystemsKankan Wang, Qingxu Deng. 435-446 [doi]
• Exact Response-Time Bounds of Periodic DAG Tasks under Server-Based Global SchedulingShareef Ahmed, James H. Anderson. 447-459 [doi]
• Response Time Analysis for Prioritized DAG Task with Mutually Exclusive VerticesRan Bi, Qingqiang He, Jinghao Sun, Zhenyu Sun 0002, Zhishan Guo, Nan Guan, Guozhen Tan. 460-473 [doi]
• Bounding the Response Time of DAG Tasks Using Long PathsQingqiang He, Nan Guan, Mingsong Lv, Xu Jiang 0004, Wanli Chang 0001. 474-486 [doi]
• Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical SystemsDakai Zhu, Steven Drager, Matthew Anderson, Hakan Aydin. 487-490 [doi]
• Work-in-Progress: Control Skipping Sequence Synthesis to Counter Schedule-based AttacksSunandan Adhikary, Ipsita Koley, Srijeeta Maity, Soumyajit Dey. 491-494 [doi]
• Work-in-Progress: Measuring Security Protection in Real-time Embedded FirmwareYuhao Wu, Yujie Wang, Shixuan Zhai, Zihan Li, Ao Li, Jinwen Wang, Ning Zhang. 495-498 [doi]
• Work-in-Progress: Real-Time On-board Processing for Cloud Detection in FACSAT-2 Multispectral Satellite ImageryJavier E. Méndez Gómez, Albert M. K. Cheng. 499-502 [doi]
• Work-in-Progress: Deadline-Constrained Multi-Resource Allocation in Edge-Cloud SystemChuanchao Gao, Arvind Easwaran. 503-506 [doi]
• Work-in-Progress: Generalized Demand-Based Schedulability Test for Dual-Criticality Sporadic Task ModelJiwoo Lee, Albert M. K. Cheng, Guangli Dai. 507-510 [doi]
• Work-in-Progress: A Holistic Approach to WCRT Analysis for Multicore SystemsJatin Arora 0006, Syed Aftab Rashid, Cláudio Maia, Geoffrey Nelissen, Eduardo Tovar. 511-514 [doi]
• Work-in-Progress: Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing CorrectnessLin Zhang, Zifan Wang, Fanxin Kong. 515-518 [doi]
• Work-in-Progress: A Novel Clock Synchronization System for Large-Scale ClustersZhuochen Fan, Xiaodong Li, Yanwei Xu, Yuqing Li, Tong Yang 0003, Steve Uhlig. 519-522 [doi]
• Work-in-Progress: Exploring the Composition of Synchronous Intelligent IntersectionsRadha Reddy, Luís Almeida 0001, Pedro Santos 0003, Eduardo Tovar. 523-526 [doi]