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 条
  • [31] Secure and Trusted Execution: Past, Present and Future - A Critical Review in the Context of the Internet of Things and Cyber-Physical Systems
    Shepherd, Carlton
    Arfaoui, Ghada
    Gurulian, Iakovos
    Lee, Robert P.
    Markantonakis, Konstantinos
    Akram, Raja Naeem
    Sauveron, Damien
    Conchon, Emmanuel
    2016 IEEE TRUSTCOM/BIGDATASE/ISPA, 2016, : 168 - 177
  • [32] A conversation with Heena Rathore: Building secure cyber-physical systems
    Anjum, Bushra
    Ubiquity, 2022, 2022
  • [33] Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems
    Levshun, Dmitry
    Chechulin, Andrey
    Kotenko, Igor
    Chevalier, Yannick
    2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
  • [34] A hybrid stochastic game for secure control of cyber-physical systems
    Miao, Fei
    Zhu, Quanyan
    Pajic, Miroslav
    Pappas, George J.
    AUTOMATICA, 2018, 93 : 55 - 63
  • [35] USING INFORMATION FLOW METHODS TO SECURE CYBER-PHYSICAL SYSTEMS
    Howser, Gerry
    CRITICAL INFRASTRUCTURE PROTECTION IX, 2015, 466 : 185 - 205
  • [36] A Deep Learning Model for Secure Cyber-Physical Transportation Systems
    Chen, Yuanfang
    Chen, Falin
    Wu, Ting
    Hu, Weitong
    Xu, Xiaohua
    IEEE INFOCOM 2018 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2018,
  • [37] Distributed and Asynchronous Secure State Reconstruction for Cyber-Physical Systems
    Fioravanti, Camilla
    Oliva, Gabriele
    Panzieri, Stefano
    2022 30TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2022, : 815 - 820
  • [38] Toward secure trading of unlicensed spectrum in cyber-physical systems
    den Hartog, Frank
    Bouhafs, Faycal
    Shi, Qi
    2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2019,
  • [39] Secure State Estimation and Control of Cyber-Physical Systems: A Survey
    Ding, Derui
    Han, Qing-Long
    Ge, Xiaohua
    Wang, Jun
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2021, 51 (01): : 176 - 190
  • [40] Secure Control for Cyber-Physical Systems Under Malicious Attacks
    Wu, Chengwei
    Yao, Weiran
    Pan, Wei
    Sun, Guanghui
    Liu, Jianxing
    Wu, Ligang
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (02): : 775 - 788