DO-178 認証アドバイザリ サービス

DO-178 認証サービスは、長年にわたって航空宇宙業界のお客様の高信頼性ソフトウェアの開発を支援してきた MathWorks の上級コンサルタントが担当します。MathWorks Consulting Servicesでは、よくある誤りを避け、DO-178 の目標を満たす高信頼性ソフトウェアを開発する時間、労力、コストを削減できるように支援します。

MathWorks Consulting Servicesによるサポートの内容:

DO-178 に準拠するための主な作業の実行

• 要求仕様のトレーサビリティ
• 要求仕様に基づくモデルのテストとカバレッジ
• Simulink Model Advisor を使用したモデルの標準のチェック
• Simulink Code Inspector™ および Polyspace^® を使用したコードのレビュー、トレーサビリティ、解析
• Simulink Design Verifier™ を使用したテスト ケースの生成と設計の解析
• Embedded Coder^® を使用したツールの設定とコード生成
• プロセッサインザループを使用したターゲットでのアルゴリズムのテスト (MC/DC などのコード カバレッジ解析を含む)
• DO Qualification Kit (DO-178 用) を使用したツール認証
• DO-178 に準拠するために必要な工程成果物の生成

計画と実行

• 既存のソフトウェア開発プロセスの変換と効率の改善
• 効率を高めるための段階的なアプローチの特定と実行

チームのトレーニング

• DO-178 とその補足規定の目標を達成するためにモデルベースデザイン (モデルベース開発、MBD)を適用して最大限に活用する方法の習得
• モデルベースデザイン (モデルベース開発、MBD)に独自に取り組むための基本的な専門知識の習得

次のステップ

DO-178 のワークフローにおいてモデルベースデザイン (モデルベース開発、MBD)に基づく最適化されたソフトウェア開発プロセスに移行する方法は、それぞれの企業や用途によって異なります。MathWorks Consulting Servicesでは、製品の専門知識と業界での経験に基づいて、お客様のニーズに最も適したプロセスを提案します。これには次のようなステップが含まれます。

• 既存のプロセスとツールの評価 — MathWorks のコンサルタントがソフトウェア開発の既存のプロセス、ツール、アプリケーション、必要とされる安全レベル (A ～ E)、ツール認証を含む計画文書を見直します。
• ギャップ解析 — MathWorks のコンサルタントがギャップ解析を行い、モデルベースデザイン (モデルベース開発、MBD)を使用した DO-178 プロセス フレームワークへの移行に向けた現在の課題、プロセス効率化のための改善点、必要なトレーニング、その他の推奨事項を特定します。さらに、推奨される改善を達成するための段階的なアプローチを含む実用的なロード マップを開発します。
• 知識の継承 — DO-178 およびその補足規定の目標を達成するために、モデルベースデザイン (モデルベース開発、MBD)とそれをサポートするツールチェーンをどのように適用すべきかについて、長年の経験から得られたベスト プラクティスに基づいて提案します。これには、特定のツールの機能を使用して検証作業を実施する方法の説明や、優先度が高いトピックに関するより詳しい説明などが含まれます。
• 実践的な導入のサポート — MathWorks のコンサルタントが特定のプロジェクトへの推奨されるプロセスの実装をサポートします。モデル化、シミュレーション、コード生成、検証、DO Qualification Kit のカスタマイズ、認定などの作業を支援します。DO Qualification Kit のカスタマイズには、モデルベースデザイン (モデルベース開発、MBD)の使用や DO-178 ツール認証の成果物の生成に関する作業計画文書 (PSAC など) の準備も含まれます。

具体的な要件については、MathWorks Consulting Servicesまでご相談ください。

関連する会議論文および技術資料

• AIAA 2013: モデルベース デザインを使用した DO-178 準拠のソフトウェアの開発におけるベスト プラクティス - 会議論文