Title | Authors |
A Mixed-Criticality Approach to Fault Tolerance: Integrating Schedulability and Failure Requirements | Federico Reghenzani, Zhishan Guo, Luca Santinelli, William Fornaciari |
Compiler-Directed High-Performance Intermittent Computation with Power Failure Immunity | Jongouk Choi, Larry Kittinger, Qingrui Liu, Changhee Jung |
Memory Utilization-Based Dynamic Bandwidth Regulation for Temporal Isolation in Multi-Cores | Ahsan Saeed, Dasari Dakshina Narahari, Dirk Ziegenbein, Varun Rajasekaran, Falk Rehm, Michael Pressler, Arne Hamann, Daniel Mueller-Gritschneder, Andreas Gerstlauer, Ulf Schlichtmann |
Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception | Shengzhong Liu, Xinzhe Fu, Maggie Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek Abdelzaher |
Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling | Iain Bate, Alan Burns, Robert Davis |
DNN-SAM: Split-and-Merge DNN Execution for Real-Time Object Detection | Woosung Kang, Siwoo Chung, Jeremy Yuhyun Kim, Youngmoon Lee, Kilho Lee, Jinkyu Lee, Kang G. Shin, Hoon Sung Chwa |
SBIs: Application Access to Safe, Baremetal Interrupt Latencies | Runyu Pan, Gabriel Parmer |
WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints | Nils Vreman, Richard Pates, Martina Maggio |
RT-WiFi on Software-Defined Radio: Design and Implementation | Zelin Yun, Peng Wu, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han |
Deadline-Miss-Adaptive Controller Implementation for Real-Time Control Systems | Nils Vreman, claudio mandrioli, Anton Cervin |
FlyOS: Integrated Modular Avionics for Autonomous Multicopters | Anam Farrukh, Richard West |
Response Time Analysis for Hybrid Task Sets under Fixed Priority Scheduling | Quan Zhou, Jihua Huang, Jianjun Li, Zhi Li |
Guaranteeing Safety Despite Physical Errors in Cyber-Physical Systems | Jongwoo Han, Seonghyeon Park, Haejoo Jeon, Chang-Gun Lee |
End-to-End Analysis of Event Chains under the QNX Adaptive Partitioning Scheduler | Dakshina Dasari, Matthias Becker, Daniel Casini, Tobias Blass |
A Formal Correctness Proof for an EDF Scheduler Implementation | Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud |
MSRP-FT: Reliable Resource Sharing on Multiprocessor Mixed-Criticality Systems | Nan Chen, Shuai Zhao, Ian Gray, Alan Burns, Siyuan Ji, Wanli Chang |
The Thundering Herd: Amplifying Kernel Interference to Attack Response Times | Samuel Mergendahl, Samuel Jero, Bryan Ward, Juliana Furgala, Gabriel Parmer, Richard Skowyra |
FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees | Kamran Razavi, Manisha Luthra, Boris Koldehofe, Max Mülhäuser, Lin Wang |
PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms | Gabriele Serra, Pietro Fara, Giorgiomaria Cicero, Francesco Restuccia, Alessandro Biondi |
Minimizing DAG Utilization by Exploiting SMT | Sims Hill Osborne, Joshua Bakita, Jingyuan Chen, Tyler Yandrofski, James Anderson |
Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded Systems | Ahmad Golchin, Richard West |
Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks | Sayra Ranjha, Geoffrey Nelissen, Mitra Nasri |