Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications
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
- 2017DeepXplore: Automated Whitebox Testing of Deep Learning Systemscited by 311
- 2018Deep Neural Network Compression for Aircraft Collision Avoidance Systemscited by 58
- 2018Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industrycited by 38
- 2020Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAIcited by 21
- 2021White Paper Machine Learning in Certified Systemscited by 15
- 2019Testing and verification of neural-network-based safety-critical control software: A systematic literature reviewcited by 12
- 2018Quantitative Projection Coverage for Testing ML-enabled Autonomous Systemscited by 11
- 2018Traceability of Deep Neural Networkscited by 2
- 2020A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331cited by 2
Built on by
Citing papers per year: 2023: 2; 2024: 2; 2025: 1; 2026: 1.
6 papers.
- 2024Towards certification: A complete statistical validation pipeline for supervised learning in industrycited by 4
- 2025Cognitive Guardrails for Open-World Decision Making in Autonomous Drone Swarmscited by 4
- 2023Runway Sign Classifier: A DAL C Certifiable Machine Learning Systemcited by 2
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospacecited by 2
- 2023AGNES: Abstraction-guided Framework for Deep Neural Networks Securitycited by 0
- 2026On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networkscited by 0
- 2026On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks20 Aug 2026
- 2025Cognitive Guardrails for Open-World Decision Making in Autonomous Drone Swarms29 May 2025
- 2024Towards certification: A complete statistical validation pipeline for supervised learning in industry4 Nov 2024
- 2024DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace4 Jan 2024
- 2023AGNES: Abstraction-guided Framework for Deep Neural Networks Security7 Nov 2023
- 2023Runway Sign Classifier: A DAL C Certifiable Machine Learning System10 Oct 2023