航空宇宙ソフトウェアの現在の認定プロセスは、ディープ ニューラル ネットワークなどの「AI ベース」のアルゴリズムに適応していません。従来の航空宇宙ソフトウェアとは異なり、ニューラル ネットワークのトレーニング中に最適化された正確なパラメーターは、ネットワークを処理するコードと同じくらい (またはそれ以上) 重要であり、直接数学的に理解することはできません。説明可能性の欠如にもかかわらず、このようなアルゴリズムは魅力的です。アプリケーションによっては、従来の明示的な行ごとのソフトウェア手法では達成できない高いパフォーマンスを発揮できるからです。このホワイト ペーパーでは、DO-178 などの現在の認証プロセスを適用できないニューラル ネットワーク モデルの認証方法を確立するために使用できるフレームワークと原則を提案します。これは魔法のレシピではありませんが、要件、データ、ソフトウェアをまとめ、追跡し、追跡する能力を実証することにより、申請者と規制当局が開発したソフトウェアに対する信頼を高めることを可能にする一連の常識的な手順です。 、トレーニング プロセス、およびテスト結果。
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.