mlsanityData to 7 Oct 2026

Framework for Certification of AI-Based Systems

arXiv 2302.11049 ↗First posted 21 Feb 2023cs.LG cs.CV cs.SEcited by 3

Not on the map. Why?

Abstract (arXiv)

The current certification process for aerospace software is not adapted to "AI-based" algorithms such as deep neural networks. Unlike traditional aerospace software, the precise parameters optimized during neural network training are as important as (or more than) the code processing the network and they are not directly mathematically understandable. Despite their lack of explainability such algorithms are appealing because for some applications they can exhibit high performance unattainable with any traditional explicit line-by-line software methods. This paper proposes a framework and principles that could be used to establish certification methods for neural network models for which the current certification processes such as DO-178 cannot be applied. While it is not a magic recipe, it is a set of common sense steps that will allow the applicant and the regulator increase their confidence in the developed software, by demonstrating the capabilities to bring together, trace, and track the requirements, data, software, training process, and test results.

Key facts. Cited by 3 papers in the map (data through 7 Oct 2026). Builds on 12 of its 31 references that are in the map. First posted on arXiv 21 Feb 2023.

Builds on

12 of 31 references.

References · 12

  1. 2014Explaining and Harnessing Adversarial Examplescited by 7,287
  2. 2017Towards Deep Learning Models Resistant to Adversarial Attackscited by 6,326
  3. 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,040
  4. 2019Adversarial Examples Are Not Bugs, They Are Featurescited by 950
  5. 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 739
  6. 2017DeepXplore: Automated Whitebox Testing of Deep Learning Systemscited by 307
  7. 2017DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Carscited by 249
  8. 2020Explainable Deep Learning: A Field Guide for the Uninitiatedcited by 127
  9. 2017Robust Physical-World Attacks on Deep Learning Modelscited by 70
  10. 2017Towards Proving the Adversarial Robustness of Deep Neural Networkscited by 26
  11. 2020Model Assertions for Monitoring and Improving ML Modelscited by 22
  12. 2019Correctness Verification of Neural Networkscited by 7

Built on by

Cited by year

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

3 papers.