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 条
  • [41] Cross-Layer Codesign for Secure Cyber-Physical Systems
    Zheng, Bowen
    Deng, Peng
    Anguluri, Rajasekhar
    Zhu, Qi
    Pasqualetti, Fabio
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 35 (05) : 699 - 711
  • [42] A Game Theory Approach for Secure Control of Cyber-physical Systems
    Pang Y.
    Wang N.
    Xia H.
    Zidonghua Xuebao/Acta Automatica Sinica, 2019, 45 (01): : 185 - 195
  • [43] A Secure Collaborative Spectrum Sensing Strategy in Cyber-Physical Systems
    Lin, Hui
    Hu, Jia
    Ma, Jianfeng
    Xu, Li
    Yu, Zhengxin
    IEEE ACCESS, 2017, 5 : 27679 - 27690
  • [44] A Secure Collaborative Spectrum Sensing Strategy in Cyber-Physical Systems
    Lin, Hui
    Hu, Jia
    2016 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA), 2016, : 640 - 645
  • [45] Data-based and secure switched cyber-physical systems
    Zhai, Lijing
    Vamvoudakis, Kyriakos G.
    SYSTEMS & CONTROL LETTERS, 2021, 148
  • [46] Secure State Estimation for Cyber-Physical Systems with Actuator Attacks
    Zhang, Panpan
    Ren, Yuwei
    Liu, Ang
    2023 35TH CHINESE CONTROL AND DECISION CONFERENCE, CCDC, 2023, : 1916 - 1921
  • [47] Towards a Methodology to Design Provably Secure Cyber-Physical Systems
    Malaquias, Felipe Lisboa
    Giantamidis, Georgios
    Basagiannis, Stylianos
    Rollini, Simone Fulvio
    Amundson, Isaac
    Ada User Journal, 2023, 44 (02): : 146 - 151
  • [48] Cyber-Physical Systems for Open-Knowledge-Driven Manufacturing Execution Systems
    Iarovyi, Sergii
    Mohammed, Wael M.
    Lobov, Andrei
    Ferrer, Borja Ramis
    Lastra, Jose L. Martinez
    PROCEEDINGS OF THE IEEE, 2016, 104 (05) : 1142 - 1154
  • [49] Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-physical Systems
    Shukla, Anshu
    Mohalik, Swarup Kumar
    Badrinath, Ramamurthy
    2018 IEEE 25TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING WORKSHOPS (HIPCW), 2018, : 86 - 94
  • [50] Cyber-Physical Secure VLC Applications
    Miyaho, Noriharu
    Konno, Noriko
    Shimada, Takamasa
    Egawa, Kana
    Watai, Kosuke
    Murase, Kotaro
    Yokoi, Atsuya
    FUTURE TRENDS IN BIOMEDICAL AND HEALTH INFORMATICS AND CYBERSECURITY IN MEDICAL DEVICES, ICBHI 2019, 2020, 74 : 260 - 267