Towards the Quantitative Verification of Deep Learning for Safe Perception

被引:1
|
作者
Schleiss, Philipp [1 ]
Hagiwara, Yuki [1 ]
Kurzidem, Iwo [1 ]
Carella, Francesco [1 ]
机构
[1] Fraunhofer IKS, Syst Safety Engn, Munich, Germany
关键词
Deep Learning; Safety; Verification; Automated Driving; Safety of AI; Testing;
D O I
10.1109/ISSREW55968.2022.00069
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Deep learning (DL) is seen as an inevitable building block for perceiving the environment with sufficient detail and accuracy as required by automated driving functions. Despite this, its black-box nature and the therewith intertwined unpredictability still hinders its use in safety-critical systems. As such, this work addresses the problem of making this seemingly unpredictable nature measurable by providing a risk-based verification strategy, such as required by ISO 21448. In detail, a method is developed to break down acceptable risk into quantitative performance targets of individual DL-based components along the perception architecture. To verify these targets, the DL input space is split into areas according to the dimensions of a fine-grained operational design domain (mu ODD). As it is not feasible to reach full test coverage, the strategy suggests to distribute test efforts across these areas according to the associated risk. Moreover, the testing approach provides answers with respect to how much test coverage and confidence in the test result is required and how these figures relate to safety integrity levels (SILs).
引用
收藏
页码:208 / 215
页数:8
相关论文
共 50 条
  • [1] Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation
    Corsi, Davide
    Marchesini, Enrico
    Farinelli, Alessandro
    Fiorini, Paolo
    [J]. 2020 FOURTH IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2020), 2020, : 352 - 359
  • [2] Federated Deep Learning Meets Autonomous Vehicle Perception: Design and Verification
    Wang, Shuai
    Li, Chengyang
    Ng, Derrick Wing Kwan
    Eldar, Yonina C.
    Poor, H. Vincent
    Hao, Qi
    Xu, Chengzhong
    [J]. IEEE NETWORK, 2023, 37 (03): : 16 - 25
  • [3] TRAINIFY: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning
    Jin, Peng
    Tian, Jiaxu
    Zhi, Dapeng
    Wen, Xuejun
    Zhang, Min
    [J]. COMPUTER AIDED VERIFICATION (CAV 2022), PT I, 2022, 13371 : 193 - 218
  • [4] Towards Quantitative Verification of Reaction Systems
    Meski, Artur
    Koutny, Maciej
    Penczek, Wojciech
    [J]. UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2016, 2016, 9726 : 142 - 154
  • [5] Towards Safe Human-Robot Collaboration Using Deep Reinforcement Learning
    El-Shamouty, Mohamed
    Wu, Xinyang
    Yang, Shanqi
    Albus, Marcel
    Huber, Marco F.
    [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2020, : 4899 - 4905
  • [6] Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
    Khatchadourian, Raffi
    Velez, Tatiana Castro
    Bagherzadeh, Mehdi
    Jia, Nan
    Raja, Anita
    [J]. 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1800 - 1802
  • [7] Quantitative Characterization of Highway Landscape Space Visual Perception Based on Deep Learning
    Qin, Xiaochun
    Liu, Yangjie
    Yang, Dongxiao
    Pan, Dangran
    Meng, Fantong
    Cao, Yufei
    Wangechi Wangari, Vicky
    [J]. IEEE Transactions on Intelligent Transportation Systems, 2024, 25 (12) : 21157 - 21171
  • [8] Towards Safe Load Balancing based on Control Barrier Functions and Deep Reinforcement Learning
    Dinh, Lam
    Quang, Pham Tran Anh
    Leguay, Jeremine
    [J]. PROCEEDINGS OF 2024 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, NOMS 2024, 2024,
  • [9] Towards Safe Deep Learning: Accurately Quantifying Biomarker Uncertainty in Neural Network Predictions
    Eaton-Rosen, Zach
    Bragman, Felix
    Bisdas, Sotirios
    Ourselin, Sebastien
    Cardoso, M. Jorge
    [J]. MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION - MICCAI 2018, PT I, 2018, 11070 : 691 - 699
  • [10] Safe Deep Reinforcement Learning for Microgrid Energy Management in Distribution Networks With Leveraged SpatialTemporal Perception
    Ye, Yujian
    Wang, Hongru
    Chen, Peiling
    Tang, Yi
    Strbac, Goran
    [J]. IEEE TRANSACTIONS ON SMART GRID, 2023, 14 (05) : 3759 - 3775