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 条
  • [11] Towards quantitative verification of probabilistic transition systems
    van Breugel, F
    Worrell, J
    [J]. AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 421 - 432
  • [12] TOWARDS DEEP LEARNING APPROACHES FOR QUANTITATIVE ANALYSIS OF HIGH-THROUGHPUT DLD
    Gioe, Eric A.
    Chen, Xiaolin
    Kim, Jong-Hoon
    [J]. PROCEEDINGS OF THE ASME 2020 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, IMECE2020, VOL 13, 2020,
  • [13] Towards Safety Verification of Direct Perception Neural Networks
    Cheng, Chili-Hong
    Huang, Chung-Hao
    Brunner, Thomas
    Hashemi, Vahid
    [J]. PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 1640 - 1643
  • [14] Towards Safe Weakly Supervised Learning
    Li, Yu-Feng
    Guo, Lan-Zhe
    Zhou, Zhi-Hua
    [J]. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2021, 43 (01) : 334 - 346
  • [15] Scalable Quantitative Verification For Deep Neural Networks
    Baluta, Teodora
    Chua, Zheng Leong
    Meel, Kuldeep S.
    Saxena, Prateek
    [J]. 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021), 2021, : 248 - 249
  • [16] Scalable Quantitative Verification For Deep Neural Networks
    Baluta, Teodora
    Chua, Zlieng Leong
    Meel, Kuldeep S.
    Saxena, Prateek
    [J]. 2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2021), 2021, : 312 - 323
  • [17] Mobile Hologram Verification with Deep Learning
    Soukup, Daniel
    Huber-Moerk, Reinhold
    [J]. PROCEEDINGS OF THE FIFTEENTH IAPR INTERNATIONAL CONFERENCE ON MACHINE VISION APPLICATIONS - MVA2017, 2017, : 169 - 172
  • [18] Deep Representation Learning for Metadata Verification
    Chen, Bor-Chun
    Davis, Larry S.
    [J]. 2019 IEEE WINTER APPLICATIONS OF COMPUTER VISION WORKSHOPS (WACVW), 2019, : 73 - 82
  • [19] Hybrid Deep Learning for Face Verification
    Sun, Yi
    Wang, Xiaogang
    Tang, Xiaoou
    [J]. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2016, 38 (10) : 1997 - 2009
  • [20] Hybrid Deep Learning for Face Verification
    Sun, Yi
    Wang, Xiaogang
    Tang, Xiaoou
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV), 2013, : 1489 - 1496