mlsanityData to 14 Oct 2026

Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications

arXiv 2209.13975 ↗First posted 28 Sep 2022cs.LG cs.AIcited by 6

Not on the map. Why?

Abstract (arXiv)

The exceptional progress in the field of machine learning (ML) in recent years has attracted a lot of interest in using this technology in aviation. Possible airborne applications of ML include safety-critical functions, which must be developed in compliance with rigorous certification standards of the aviation industry. Current certification standards for the aviation industry were developed prior to the ML renaissance without taking specifics of ML technology into account. There are some fundamental incompatibilities between traditional design assurance approaches and certain aspects of ML-based systems. In this paper, we analyze the current airborne certification standards and show that all objectives of the standards can be achieved for a low-criticality ML-based system if certain assumptions about ML development workflow are applied.

Key facts. Cited by 6 papers in the map (data through 14 Oct 2026). Builds on 9 of its 33 references that are in the map. First posted on arXiv 28 Sep 2022.

Builds on

9 of 33 references.

References · 9

  1. 2017DeepXplore: Automated Whitebox Testing of Deep Learning Systemscited by 311
  2. 2018Deep Neural Network Compression for Aircraft Collision Avoidance Systemscited by 58
  3. 2018Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industrycited by 38
  4. 2020Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAIcited by 21
  5. 2021White Paper Machine Learning in Certified Systemscited by 15
  6. 2019Testing and verification of neural-network-based safety-critical control software: A systematic literature reviewcited by 12
  7. 2018Quantitative Projection Coverage for Testing ML-enabled Autonomous Systemscited by 11
  8. 2018Traceability of Deep Neural Networkscited by 2
  9. 2020A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331cited by 2

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2023: 2; 2024: 2; 2025: 1; 2026: 1.

6 papers.