Challenges in Using Neural Networks in Safety-Critical Applications

被引:3
|
作者
Forsberg, Hakan [1 ]
Linden, Joakim [2 ]
Hjorth, Johan [1 ]
Manefjord, Torbjom [3 ]
Daneshtalab, Masoud [1 ]
机构
[1] Malardalen Univ, Sch Innovat Design & Engn, Div Intelligent Future Technol, S-72123 Vasteras, Sweden
[2] Saab Aeronaut, Gripen CD, Jarfalla, Sweden
[3] Saab, Avion Syst, Huskvarna, Sweden
关键词
avionics; safety-critical; machine learning; deep neural networks;
D O I
10.1109/dasc50938.2020.9256519
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
In this paper, we discuss challenges when using neural networks (NNs) in safety-critical applications. We address the challenges one by one, with aviation safety in mind. We then introduce a possible implementation to overcome the challenges. Only a small portion of the solution has been implemented physically and much work is considered as future work. Our current understanding is that a real implementation in a safety-critical system would be extremely difficult. Firstly, to design the intended function of the NN, and secondly, designing monitors needed to achieve a deterministic and fail-safe behavior of the system. We conclude that only the most valuable implementations of NNs should be considered as meaningful to implement in safety-critical systems.
引用
收藏
页数:7
相关论文
共 50 条
  • [41] Resilient PNT for Safety-Critical Applications Toughen and Augment!
    Meurer, Michael
    PROCEEDINGS OF THE 29TH INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2016), 2016, : 974 - 987
  • [42] Editorial: Machine learning for safety-critical applications in engineering
    Kiran, Mariam
    Khan, Samir
    MACHINE LEARNING, 2020, 109 (05) : 1101 - 1102
  • [43] Applying Formal Methods into Safety-Critical Health Applications
    Gholami, Mohammad-Reza
    Boucheneb, Hanifa
    MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2014, 2014, 8822 : 195 - 209
  • [44] Licensing Reliable Embedded Software for Safety-Critical Applications
    Francesca Saglietti
    Real-Time Systems, 2004, 28 : 217 - 236
  • [45] Analysing user deviations in interactive safety-critical applications
    Paternò, F
    Santoro, C
    Fields, B
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 189 - 204
  • [46] COTS CPU selection guidelines for safety-critical applications
    Forsberg, Hakan
    Karlsson, Kristoffer
    2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 649 - +
  • [47] Derating concerns for microprocessors used in safety-critical applications
    Forsberg, Hakan
    Maneflord, Torbjoern
    2007 IEEE/AIAA 26TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2007, : 348 - 355
  • [48] EXTENDING SYSTEMS ENGINEERING FOR SAFETY-CRITICAL DEFENCE APPLICATIONS
    Katia, P.O.T.I.R.O.N.
    James, I.N.G.E.
    INCOSE International Symposium, 2024, 34 (01) : 199 - 209
  • [49] Applying Formal Methods into Safety-Critical Health Applications
    Gholami, Mohammad-Reza
    Boucheneb, Hanifa
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8822 : 195 - 208
  • [50] A FPGA-based Demonstrator for Safety-Critical Applications
    Fibich, Christian
    Roessler, Peter
    Tauner, Stefan
    Matschnig, Martin
    Taucher, Herbert
    2017 25TH AUSTROCHIP WORKSHOP ON MICROELECTRONICS (AUSTROCHIP), 2017, : 35 - 40