Formal and Practical Elements for the Certification of Machine Learning Systems

JG Durand, A Dubois, RJ Moss - 2023 IEEE/AIAA 42nd Digital …, 2023 - ieeexplore.ieee.org
Over the past decade, machine learning has demonstrated impressive results, often
surpassing human capabilities in sensing tasks relevant to autonomous flight. Unlike …

Trustworthiness Assurance Assessment for High-Risk AI-Based Systems

G Stettinger, P Weissensteiner, S Khastgir - IEEE Access, 2024 - ieeexplore.ieee.org
This work proposes methodologies for ensuring the trustworthiness of high-risk artificial
intelligence (AI) systems (AIS) to achieve compliance with the European Union's (EU) AI Act …

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace

G Katz, N Levy, I Refaeli, R Yerushalmi - arXiv preprint arXiv:2401.02283, 2024 - arxiv.org
Software development in the aerospace domain requires adhering to strict, high-quality
standards. While there exist regulatory guidelines for commercial software in this domain …

gRoMA: a tool for measuring the global robustness of deep neural networks

N Levy, R Yerushalmi, G Katz - … Conference on Bridging the Gap between …, 2023 - Springer
Deep neural networks (DNNs) are at the forefront of cutting-edge technology, and have
been achieving remarkable performance in a variety of complex tasks. Nevertheless, their …

Recommendations on Evidence and Process for Certification of Learning-enabled Components in Aerospace Systems

A Agogino, G Brat, Y He, D Hulse, R Lipkis… - 2024 - ntrs.nasa.gov
This report primarily identifies a collection of relevant and necessary evidence for assurance
of machine learnt components (MLCs)—also known as learning-enabled components …

Evaluating and Certifying Autonomy in Aviation

A Verma, DR Maroney - AIAA SCITECH 2024 Forum, 2024 - arc.aiaa.org
There are significant challenges to Artificial Intelligence (AI) system evaluation and
certification. Traditional means of software assurance practices do not lend themselves to …

Advances in Assuring Artificial Intelligence and Machine Learning Development Lifecycle and Their Applications in Aviation

H Shuaia, J Wang, A Wang, R Zhang… - 2023 5th International …, 2023 - ieeexplore.ieee.org
The use of Artificial Intelligence (AI) and Machine Learning (ML) in aviation has attracted
attention from regulators. In order to prepare a means of compliance for the certification of …