Formal and Practical Elements for the Certification of Machine Learning Systems
Over the past decade, machine learning has demonstrated impressive results, often
surpassing human capabilities in sensing tasks relevant to autonomous flight. Unlike …
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 …
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
Software development in the aerospace domain requires adhering to strict, high-quality
standards. While there exist regulatory guidelines for commercial software in this domain …
standards. While there exist regulatory guidelines for commercial software in this domain …
gRoMA: a tool for measuring the global robustness of deep neural networks
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 …
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 …
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 …
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 …
attention from regulators. In order to prepare a means of compliance for the certification of …