DO-178A 標準ガイド: ソフトウェア検証ツール

DO-178A のレベル

DO-178A は、レベル 1、レベル 2、およびレベル 3 の 1 つのソフトウェア レベルを指定します。レベル 3 は最高レベルの重要性を表し、レベル XNUMX は最低レベルの重要性を表します。

Level1

レベル 1 は、認定要件の点で最も厳格で要求の厳しいレベルです。 レベル 1 に割り当てられたソフトウェア機能は最も重要度が高く、これらの機能が失敗すると、人命や航空機自体の損失を含む壊滅的な結果が生じる可能性があります。 レベル 1 ソフトウェアの例には、飛行制御や重要な航空電子工学システムが含まれます。

要件とドキュメント:

• 完全かつ明確な要件: レベル 1 ソフトウェアには、システムレベルの安全目標から導出された完全かつ明確な要件が必要です。
• 広範なドキュメント: 認証局は、レベル 1 ソフトウェアの包括的な文書セットを必要とします。 これには、ソフトウェア開発計画、構成管理計画、ソフトウェア要件文書、ソフトウェア設計文書、ソフトウェア検証計画などが含まれます。
• 形式的な方法と検証: レベル 1 ソフトウェアでは、最高レベルの信頼性と安全性を確保するために、形式的な手法、形式的な検証技術、および広範なテストの使用が必要です。

Level2

レベル 2 は、レベル 1 に比べて重要度が低いソフトウェア機能に割り当てられます。レベル 2 の機能が失敗すると、航空機またはシステムに重大な損傷が生じる可能性がありますが、その結果は致命的とは考えられません。 レベル 2 ソフトウェアの例には、エンジン制御システムや重要なナビゲーション機能が含まれます。

要件とドキュメント:

• 明確に定義された要件: レベル 2 ソフトウェアには、システムレベルの安全目標に追跡できる、明確に定義された要件が必要です。
• 管理された開発プロセス: レベル 2 のソフトウェア開発プロセスは、構成管理、文書化、テストに重点を置いて、適切に管理される必要があります。
• 包括的な検証: レベル 2 ソフトウェアの検証活動は、機能テスト、構造カバレージ分析、フォールト トレランス分析など、幅広い側面をカバーする必要があります。

Level3

レベル 3 は、DO-178A の最も低い重大度レベルを表します。 レベル 3 に割り当てられたソフトウェア機能は、障害が発生した場合に航空機の運航にわずかな影響を与えます。 障害の影響は通常、軽度のシステム中断に限定されます。 レベル 3 ソフトウェアの例には、乗客エンターテイメント システムや重要ではない監視機能が含まれます。

要件とドキュメント:

• 定義された要件: レベル 3 ソフトウェアには、システムレベルの安全目標に対処する要件が定義されている必要があります。
• 簡素化された開発プロセス: レベル 3 のソフトウェア開発プロセスは、レベル 1 および 2 に比べて簡素化されており、文書化とテストの要件が軽減されています。
• 基本的な検証: レベル 3 の検証アクティビティは、要件への準拠を実証し、基本的な機能テストを実行することに重点を置いています。

要約すると、DO-178A は 1 つのソフトウェア レベル (レベル 2、レベル 3、およびレベル 1) を指定しています。レベル 178 は最も厳格であり、包括的な文書セットを生成して認証局が利用できるようにする必要があります。 ソフトウェア機能の重要度は、割り当てられるレベルを決定し、DO-XNUMXA 標準への準拠に必要な開発および検証活動の深さと厳密さに影響を与えます。