Abstract is missing.
- Guaranteeing Safety Despite Physical Errors in Cyber-Physical SystemsJongwoo Han, SeongHyeon Park, Haejoo Jeon, Chang-Gun Lee. 1-12 [doi]
- Deadline-Miss-Adaptive Controller Implementation for Real-Time Control SystemsNils Vreman, Claudio Mandrioli, Anton Cervin. 13-26 [doi]
- A Mixed-Criticality Approach to Fault Tolerance: Integrating Schedulability and Failure RequirementsFederico Reghenzani, Zhishan Guo, Luca Santinelli, William Fornaciari. 27-39 [doi]
- Compiler-Directed High-Performance Intermittent Computation with Power Failure ImmunityJongouk Choi, Larry Kittinger, Qingrui Liu, Changhee Jung. 40-54 [doi]
- Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded SystemsAhmad Golchin, Richard West. 55-67 [doi]
- FLYOS: Integrated Modular Avionics for Autonomous MulticoptersAnam Farrukh, Richard West. 68-81 [doi]
- *Runyu Pan, Gabriel Parmer. 82-94 [doi]
- The Thundering Herd: Amplifying Kernel Interference to Attack Response TimesSamuel Mergendahl, Samuel Jero, Bryan C. Ward, Juliana Furgala, Gabriel Parmer, Richard Skowyra. 95-107 [doi]
- Response Time Analysis for Hybrid Task Sets under Fixed Priority SchedulingQuan Zhou, Jihua Huang, Jianjun Li, Zhi Li. 108-120 [doi]
- Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive TasksSayra Ranjha, Geoffrey Nelissen, Mitra Nasri. 121-132 [doi]
- Memory Utilization-Based Dynamic Bandwidth Regulation for Temporal Isolation in Multi-CoresAhsan Saeed, Dakshina Dasari, Dirk Ziegenbein, Varun Rajasekaran, Falk Rehm, Michael Pressler, Arne Hamann, Daniel Mueller-Gritschneder, Andreas Gerstlauer, Ulf Schlichtmann. 133-145 [doi]
- FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA GuaranteesKamran Razavi, Manisha Luthra, Boris Koldehofe, Max Mühlhäuser, Lin Wang 0015. 146-159 [doi]
- DNN-SAM: Split-and-Merge DNN Execution for Real-Time Object DetectionWoo-Sung Kang, Siwoo Chung, Jeremy Yuhyun Kim, Youngmoon Lee, Kilho Lee, Jinkyu Lee 0001, Kang G. Shin, Hoon Sung Chwa. 160-172 [doi]
- Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine PerceptionShengzhong Liu, Xinzhe Fu, Maggie B. Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek F. Abdelzaher. 173-186 [doi]
- Analysis-Runtime Co-design for Adaptive Mixed Criticality SchedulingIain Bate, Alan Burns 0001, Robert I. Davis. 187-200 [doi]
- MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality SystemsNan Chen, Shuai Zhao 0004, Ian Gray, Alan Burns 0001, Siyuan Ji, Wanli Chang 0001. 201-213 [doi]
- End-to-End Analysis of Event Chains under the QNX Adaptive Partitioning SchedulerDakshina Dasari, Matthias Becker 0004, Daniel Casini, Tobias Blaß. 214-227 [doi]
- WeaklyHard.jl: Scalable Analysis of Weakly-Hard ConstraintsNils Vreman, Richard Pates, Martina Maggio. 228-240 [doi]
- PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC PlatformsGabriele Serra, Pietro Fara, Giorgiomaria Cicero, Francesco Restuccia, Alessandro Biondi. 241-253 [doi]
- RT-WiFi on Software-Defined Radio: Design and ImplementationZelin Yun, Peng Wu 0009, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han 0002. 254-266 [doi]
- Minimizing DAG Utilization by Exploiting SMTSims Hill Osborne, Joshua Bakita, Jingyuan Chen, Tyler Yandrofski, James H. Anderson. 267-280 [doi]
- A Formal Correctness Proof for an EDF Scheduler ImplementationFlorian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud. 281-292 [doi]
- Brief Industry Paper: The Necessity of Adaptive Data Fusion in Infrastructure-Augmented Autonomous Driving SystemShaoshan Liu, Jianda Wang, Zhendong Wang, Bo Yu, Wei Hu, Yahui Liu, Jie Tang 0003, Shuaiwen Leon Song, Cong Liu, Yang Hu 0001. 293-296 [doi]
- Brief Industry Paper: Enabling Level-4 Autonomous Driving on a Single $1k Off-the-Shelf CardHsin-Hsuan Sung, Yuanchao Xu 0001, Jiexiong Guan, Wei Niu, Bin Ren, Yanzhi Wang, Shaoshan Liu, Xipeng Shen. 297-300 [doi]
- Work in Progress: Exploring Schedule-Based Side-Channels in TrustZone-Enabled Real-Time SystemsMohamed Anis Aguida, Monowar Hasan. 301-304 [doi]
- Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL CodeSamira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan. 305-308 [doi]
- Work in Progress: KDBench - towards open source benchmarks for measurement-based multicore WCET estimatorsMarwan Wehaiba el Khazen, Kevin Zagalo, Hadrien Clarke, Mehdi Mezouak, Yasmina Abdeddaïm, Avner Bar-Hen, Slim Ben-Amor, Rihab Bennour, Adriana Gogonel, Kossivi Kougblenou, Yves Sorel, Liliana Cucu-Grosjean. 309-312 [doi]
- Work In Progress: A Solution Based on Dynamic User Equilibrium Toward the Selfless Traffic Routing ModelThomas Carroll, Albert M. K. Cheng, Guangli Dai. 313-316 [doi]
- Work in Progress: Automatic Response-Time Analysis for Arbitrary Real-Time Linux WorkloadsMarco Perronet, Marco Maida, Cédric Courtaud, Björn B. Brandenburg. 317-320 [doi]
- Demo Abstract: Open RT-WiFi Platform on Software-Defined RadioZelin Yun, Peng Wu 0009, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han 0002. 321-322 [doi]