摘要 — 当前的航空航天软件认证流程不适用于深度神经网络等“基于人工智能”的算法。与传统的航空航天软件不同,神经网络训练期间优化的精确参数与处理网络的代码一样重要(甚至更重要),而且它们不是直接用数学方法可以理解的。尽管这些算法缺乏可解释性,但它们很有吸引力,因为对于某些应用,它们可以表现出任何传统的逐行显式软件方法都无法达到的高性能。本文提出了一个框架和原则,可用于建立神经网络模型的认证方法,而当前的认证流程(例如 DO-178)无法应用这些模型。虽然这不是一个神奇的秘诀,但它是一套常识性的步骤,通过展示汇集、跟踪和追踪需求、数据、软件、训练过程和测试结果的能力,将使申请人和监管机构对开发的软件增加信心。