Secure and Timely GPU Execution in Cyber-physical Systems

被引:2
|
作者
Wang, Jinwen [1 ]
Wang, Yujie [1 ]
Zhang, Ning [1 ]
机构
[1] Washington Univ St Louis, St Louis, MO 63110 USA
关键词
GPU; Cyber-physical System; System Security; Availability;
D O I
10.1145/3576915.3623197
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Graphics Processing Units (GPU) are increasingly deployed on Cyber-physical Systems (CPSs), frequently used to perform real-time safety-critical functions, such as object detection on autonomous vehicles. As a result, availability is important for GPU tasks in CPS platforms. However, existing Trusted Execution Environments (TEE) solutions with availability guarantees focus only on CPU computing. To bridge this gap, we propose AvaGPU, a TEE that guarantees real-time availability for CPU tasks involving GPU execution under compromised OS. There are three technical challenges. First, to prevent malicious resource contention due to separate scheduling of CPU and GPU tasks, we proposed a CPU-GPU co-scheduling framework that couples the priority of CPU and GPU tasks. Second, we propose software-based secure preemption on GPU tasks to bound the degree of priority inversion on GPU. Third, we propose a new split design of GPU driver with minimized Trusted Computing Base (TCB) to achieve secure and efficient GPU management for CPS. We implement a prototype of AvaGPU on the Jetson AGX Orin platform. The system is evaluated on benchmark, synthetic tasks, and real-world applications with 15.87% runtime overhead on average.
引用
收藏
页码:2591 / 2605
页数:15
相关论文
共 50 条
  • [1] Safe and secure cyber-physical systems
    Biro, Miklos
    Mashkoor, Atif
    Sametinger, Johannes
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (09)
  • [2] Process execution in Cyber-Physical Systems using cloud and Cyber-Physical Internet services
    Borja Bordel
    Ramón Alcarria
    Diego Sánchez de Rivera
    Tomás Robles
    The Journal of Supercomputing, 2018, 74 : 4127 - 4169
  • [3] Process execution in Cyber-Physical Systems using cloud and Cyber-Physical Internet services
    Bordel, Borja
    Alcarria, Ramon
    Sanchez de Rivera, Diego
    Robles, Tomas
    JOURNAL OF SUPERCOMPUTING, 2018, 74 (08): : 4127 - 4169
  • [4] SECURE DISTRIBUTED ESTIMATION IN CYBER-PHYSICAL SYSTEMS
    Khan, Usman A.
    Stankovic, Aleksandar M.
    2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2013, : 5209 - 5213
  • [5] Analysis and design of secure cyber-physical systems
    Ling SHI
    Control Theory and Technology, 2014, 12 (04) : 413 - 414
  • [6] Secure Control of Networked Cyber-Physical Systems
    Satchidanandan, Bharadwaj
    Kumar, P. R.
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 283 - 289
  • [7] Network Scheduling for Secure Cyber-Physical Systems
    Lesi, Vuk
    Jovanov, Ilija
    Pajic, Miroslav
    2017 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2017, : 45 - 55
  • [8] Design and Operation of Secure Cyber-Physical Systems
    Pasqualetti, Fabio
    Zhu, Qi
    IEEE EMBEDDED SYSTEMS LETTERS, 2015, 7 (01) : 3 - 6
  • [9] Analysis and design of secure cyber-physical systems
    Shi L.
    Control Theory and Technology, 2015, 12 (04): : 413 - 414
  • [10] Transactional execution of hierarchical reconfigurations in cyber-physical systems
    Christian Heinzemann
    Steffen Becker
    Andreas Volk
    Software & Systems Modeling, 2019, 18 : 157 - 189