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

MathWorks Consulting Services では、手動またはモデルベース デザインに基づく既存のソフトウェア開発プロセスからモデルベース デザインを使用した DO-178 向けのプロセスへの移行を支援しています。DO-178 認証アドバイザリ サービスは、それぞれの環境、ツール、アプリケーションに合わせてカスタマイズされたサービスです。これには、現在のプロセスとのギャップの特定、モデルベース デザインに基づく DO-178 向けに最適化されたワークフローを確立するためのロード マップの開発、ならびにそのロード マップの導入支援が含まれます。DO-178C に加え、その補足規定である DO-330 (ソフトウェア ツールの適格性の証明に関する考慮事項)、DO-331 (モデルベースの開発と検証)、DO-333 (形式的手法) の新しい目標を達成するために必要なモデリング、コード生成、ツール認証の主な作業を実行できるように、MathWorks Consulting Servicesがその準備をお手伝いします。

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 とその補足規定の目標を達成するためにモデルベース デザインを適用して最大限に活用する方法の習得
  • モデルベース デザインに独自に取り組むための基本的な専門知識の習得

次のステップ

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

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

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

チーム紹介

ワールドワイド、MathWorksのテクニカルコンサルタントはMATLABとSimulinkの経験に加えて業界経験と深いノウハウがあり、お客様の技術と事業の課題を解決できます。


Raymond Estrada は誘導、ナビゲーション、制御、HIL環境向けコード生成について業界での豊富な経験をもつ上級技術コンサルタントです。モデルベース デザインを適用することで、安全規格に準拠した高信頼性アプリケーション用の組み込みソフトウェアを開発および展開できるように支援しています。マサチューセッツ工科大学で航空宇宙工学の学士号を取得し、カリフォルニア大学ロサンゼルス校で航空宇宙工学の修士号を取得しています。