DO-178C ガイド: RTCA DO-178 認定の概要
目次
DO-178B と DO-178C の違いと課題
概要
航空電子工学ソフトウェア開発の分野では、航空機システムの安全性と信頼性を確保するために、厳格な基準を順守することが重要です。 この分野における 178 つの著名な規格は、DO-178B とその後継である DO-178C です。 DO-1992B は、航空機搭載システムおよび機器の認証におけるソフトウェアの考慮事項としても知られ、航空無線技術委員会 (RTCA) によって 178 年に初めてリリースされました。 DO-1C (空挺システムおよび機器認証におけるソフトウェアの考慮事項 - 変更 2011) は、178 年に発行された更新バージョンです。この記事では、DO-178B と DO-XNUMXC の主な違いと課題について詳しく説明します。
範囲と目的
DO-178B
DO-178B は、航空機システムおよび機器で使用されるソフトウェア開発のガイドラインを提供します。 レベル A (最も重要) からレベル E (最も重要ではない) までのさまざまな重要度レベルでソフトウェア認定を取得するために必要な目的と活動の概要を説明します。 この規格は、ソフトウェアが意図した機能を確実に、正しく、安全に実行することを保証することに重点を置いています。
DO-178C
DO-178C は、DO-178B によって築かれた基盤の上に構築されており、いくつかの機能強化と明確化が導入されています。 同じ目的と重要度レベルを維持しますが、技術の進歩と以前の経験から学んだ教訓に対処するための最新のガイダンスを提供します。 DO-178C では、よりリスクベースのアプローチも導入されており、システムの安全性への影響に基づいてソフトウェア機能の重要性を判断することに重点が置かれています。
主な違い
強化されたライフサイクルプロセス
DO-178C では、DO-178B と比較して、より詳細なライフサイクル プロセスのセットが導入されています。 要件、設計、コーディング、テストのアクティビティにさらに重点を置きます。 DO-178C で定義された新しいプロセスには、ソフトウェア モデリング、形式的手法、およびオブジェクト指向テクノロジが含まれますが、DO-178B では明示的に取り上げられていませんでした。
独立性と検証
DO-178C は、ソフトウェア開発と検証活動の間の独立性の要件を強化します。 ソフトウェア要件、設計、コーディング、テストケースの検証における独立性の必要性を強調しています。 これにより、ソフトウェアの機能を評価するためにさまざまな視点が確実に適用され、バイアスの可能性が軽減され、検証プロセスの全体的な品質が向上します。
形式的手法とモデルベース開発
DO-178C は、ソフトウェアの品質と信頼性を向上させるために、形式的な手法とモデルベースの開発手法の使用を奨励します。 これらのアプローチには、ソフトウェアの正確性と安全性を検証するための数学的分析と形式的推論が含まれます。 DO-178B ではこれらの手法について明示的に言及していませんでしたが、DO-178C ではソフトウェア開発プロセスへの統合に関するガイダンスを提供しています。
ツールの認定
DO-178C では、ツール認定に対するより包括的なアプローチが導入されています。 ソフトウェア開発ツールへの依存度が高まっており、その適切な使用法と信頼性を確保する必要性を認識しています。 この規格は、ソフトウェア開発と安全性の重要性への影響に基づいてツールを評価および認定するためのガイダンスを提供します。
補足ガイドライン
DO-178C には、技術補足 (TS) として知られるいくつかの補足文書が組み込まれています。 これらの補足では、モデルベースの開発、オブジェクト指向テクノロジ、形式的手法などの特定のトピックを扱います。 これらの TS 文書は、開発者がベスト プラクティスを実装し、DO-178C の要件を満たすのを支援する追加のガイダンスと明確化を提供します。
課題
移行と適応
DO-178B から DO-178C に移行する際の主な課題の XNUMX つは、組織と開発者が更新されたガイドラインとプロセスに適応する必要があることです。 移行には、開発方法論、ツールチェーン、組織ワークフローの大幅な変更が必要になる場合があります。 安全性と信頼性を維持しながらスムーズな移行を確保することは、複雑でリソースを大量に消費する作業になる可能性があります。
文書要件の増加
DO-178C は DO-178B と比較して文書化に重点を置いています。 この規格では、要件、設計、コーディング、テストなどの活動について、より包括的な文書化が必要です。 これらの文書化要件を満たすには、開発チームによる追加の労力とリソースが必要となり、時間、コスト、調整の点で課題が生じる可能性があります。
ツールの資格と認定
ソフトウェア開発ツールへの依存度が高まっているため、適切な資格と認定を確実に取得することが重要です。 DO-178C では、ツールがソフトウェアの安全性に悪影響を及ぼさないことを証明する必要性など、ツールの認定に関してより厳格な要件が導入されています。 組織は、これらの要件を満たすために、包括的なツール認定プロセスと文書化に投資する必要がありますが、これは複雑で時間のかかる作業となる可能性があります。
新しいプロセスと技術への準拠
DO-178C では、形式的手法やモデルベース開発などの新しいプロセスと手法が導入されていますが、DO-178B の実践に慣れている組織には馴染みのないものである可能性があります。 これらの新しいアプローチへの準拠を達成するには、追加のトレーニング、専門知識、新しいツールやインフラストラクチャへの投資が必要になる場合があります。 組織は、最新の標準を効果的に導入するために、これらの課題に対処する必要があります。
まとめ
DO-178B および DO-178C は、航空機搭載ソフトウェア システムの開発における重要な規格です。 DO-178C は DO-178B によって築かれた基盤の上に構築されていますが、いくつかの大きな違いと課題が導入されています。 強化されたライフサイクル プロセス、独立性と検証の重視、正式な手法とモデルベースの開発の組み込み、および包括的なツール認定要件により、DO-178C は以前のものと区別されます。 DO-178B から DO-178C に移行する組織は、適応、文書化要件の増加、ツールの認定、新しいプロセスと技術への準拠という課題を乗り越える必要があります。 これらの課題に効果的に対処することで、開発者はアビオニクス ソフトウェア システムの継続的な安全性、信頼性、コンプライアンスを確保できます。
この投稿を共有することを忘れないでください！
チャプター
1. 空挺規格の概要
2. DO-178 認証プロセス
3. DO-178C ツールとトレーニング
4. DO-178C の高度なトピック
5. DO-178C リソース
6。 用語集
