TimeWall: Enabling Time Partitioning for Real-Time Multicore+Accelerator Platforms
Tanya Amert, Zelin Tong, Sergey Voronov, Joshua Bakita, F. Donelson Smith, James H. Anderson
摘要
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.
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
引用它的顶会 Paper2
- Holistically Budgeting Processing GraphsZelin Tong, Shareef Ahmed, James H. AndersonRTSS 2023 · 被引用 6 次
- Enabling GPU Memory Oversubscription via Transparent Paging to an NVMe SSDJoshua Bakita, James H. AndersonRTSS 2022 · 被引用 3 次
相关 Paper
- AI Meets Real-Time: Addressing Real-World Complexities in Graph Response-Time AnalysisSergey Voronov, Stephen Tang, Tanya Amert, James H. AndersonRTSS 2021 · 被引用 15 次
- Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolationMengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu 等POPL 2020 · 被引用 17 次
- 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 等RTSS 2022 · 被引用 15 次
- Accelerating Timing Specification Verification of Interrupt-Driven Real-Time SystemsYufei Shi, Longlong Lu, Minxue Pan, Xuandong LiRTSS 2025
