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.
翻译:与传统的航空航天软件不同,神经网络培训期间优化的精确参数与处理网络的代码一样重要(或大于),在数学上无法直接理解。尽管这些参数缺乏解释性,但它们具有吸引力,因为对于某些应用而言,它们能够表现出高性能,而任何传统的直线逐线软件方法都无法达到。本文件提出了一个框架和原则,可用于为神经网络模型建立认证方法,而目前的DO-178等认证程序无法应用这些模型。虽然它不是神奇的配方,但它是一个常识步骤,将允许申请人和监管者通过展示整合、追踪和跟踪要求、数据、软件、培训过程和测试结果的能力,从而增强他们对发达软件的信心。