TimeWall: Enabling Time Partitioning for Real-Time Multicore+Accelerator Platforms
Tanya Amert, Zelin Tong, Sergey Voronov, Joshua Bakita, F. Donelson Smith, James H. Anderson
Abstract
Across a range of safety-critical domains, an evolution is underway to endow embedded systems with "thinking" capabilities by using artificial-intelligence (AI) techniques. This evolution is being fueled by the availability of high-performance embedded hardware, typically multicore machines augmented with accelerators. Unfortunately, existing software certification processes rely on time partitioning to isolate system components, and this sense of isolation can be broken by accelerator usage. To address this issue, this paper presents TimeWall, a time-partitioning framework for multicore+accelerator platforms. When applied alongside existing methods for alleviating spatial interference, TimeWall can help enable component-wise certification on multicore+accelerator platforms. The challenges in realizing a TimeWall implementation are discussed in detail in this paper. Additionally, the temporal isolation TimeWall affords is examined experimentally, including via a case study of a computer-vision perception application, on a real platform.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Cited by top-tier papers2
- Holistically Budgeting Processing GraphsZelin Tong, Shareef Ahmed, James H. AndersonRTSS 2023 · 6 citations
- Enabling GPU Memory Oversubscription via Transparent Paging to an NVMe SSDJoshua Bakita, James H. AndersonRTSS 2022 · 3 citations
Related papers
- AI Meets Real-Time: Addressing Real-World Complexities in Graph Response-Time AnalysisSergey Voronov, Stephen Tang, Tanya Amert, James H. AndersonRTSS 2021 · 15 citations
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolationMengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu et al.POPL 2020 · 17 citations
- EC: Embedded Systems Compartmentalization via Intra-Kernel IsolationArslan Khan, Dongyan Xu, Dave Jing TianS&P 2023
- Making Powerful Enemies on NVIDIA GPUsTyler Yandrofski, Jingyuan Chen, Nathan Otterness, James H. Anderson et al.RTSS 2022 · 15 citations
- Accelerating Timing Specification Verification of Interrupt-Driven Real-Time SystemsYufei Shi, Longlong Lu, Minxue Pan, Xuandong LiRTSS 2025
