モデルベース開発プロセス(DO-178C/DO331)

1日目

DO-178C/DO-331 に準拠したモデルベース デザインの概要

学習目標: MathWorks ツールによるワークフローが DO-178C および DO-331 の目標をどのように満たし、サポートできるかを理解します。

• システム、ソフトウェア、ハードウェアのライフ サイクルの概要
• モデルベース デザインによる DO-178C/DO-331 のワークフロー
• モデルベース デザインによる DO-178C/DO-331 オブジェクティブの達成

要件のトレーサビリティ

学習目標: DO-178/DO-331 準拠に従ってモデルを要件までトレースする方法について学びます。

• DO-178C プロセスにおける要件の概要
• 要件のトレーサビリティを確保するための Requirements Toolbox の活用
• システム設計の説明 (SDD) の生成
• 外部の要件ツールとの互換性についての理解

DO-178C/DO-331 のモデリング標準

学習目標: DO-178C/DO-331 のモデリング標準への準拠について理解します。

• DO-178C/DO-331 アプリケーションのモデリング標準
• モデルベース デザイン (MBD) プロセスにおけるモデリング標準
• 高信頼性システムを対象とする Simulink Check のパッケージ済みルールの使用

2日目

モデル検証

学習目標: シミュレーションを実行しながら、ソフトウェア要件を検証する方法を学びます。

• Simulink Test™ でのテスト ケース作成
• テスト ケースの入力とデータ収集オプション
• テスト ケースからの要件の追跡
• Simulink Test を使用した要件ベースのテスト

モデル カバレッジ

学習目標: Simulink Coverage を使用してモデル カバレッジ データを収集する方法について学びます。

• モデル カバレッジのメトリクスと種類
• Simulink Coverage によるモデル カバレッジの取得
• 未達のモデル カバレッジの解決
• DO-178C 準拠のためのモデル カバレッジ レポート

派生要件とデザイン検証

学習目標: 低レベルの要件検証に Simulink Design Verifier を活用する方法を学習します。

• Simulink Design Verifier (SLDV) を使用して、到達不能な要素を特定する
• SLDV が特定の DO-178C/DO-331 のオブジェクティブをどのように達成するかを示す
• 到達不能な要素の正当化と除外

3日目

モデル対コードの検証およびトレーサビリティ

学習目標: Simulink コード インスペクターを使用して、モデルと生成されたコード間の構造的およびアルゴリズム的な等価性を実証する方法について学びます。

• コード検査の概要
• Simulink Code Inspector のモデル互換性の確認
• モデルからコードへのトレーサビリティの検証

静的コード解析と形式的コード検証

学習目標: 生成されたコードがコーディング標準に準拠していることを示し、さまざまな実行時エラーに対して堅牢であることを証明します。

• Polyspace ツールの概要
• Simulink からの Polyspace 解析の実行
• Polyspace Bug Finder によるコーディング規約の強制
• Polyspace Code Prover によるコードのロバスト性の証明
• Polyspace Code Prover による制御結合度とデータ結合度カバレッジの実証

ソフトウェア要件に照らしたコード検証

学習目標: Simulink Test により、ソフトウェア要件のテスト ケースに対して完全なコード カバレッジを実証し、ターゲット ハードウェア上のソフトウェア要件を検証する方法について学びます。

• ソフトウェアインザループ (SIL) とプロセッサインザループ(PIL) の概要
• 実行可能なオブジェクト コードを高レベル要件に照らしてテストする
• コード カバレッジを収集する

ツール検定

学習目標: DO Qualification Kit を使用して、MathWorks 製品と機能を DO-178C 認定に対応させます。

• ツール検定の要件
• DO Qualification Kit の概要
• Tool qualification example
• 検定対象ツールと取得された認証クレジット
• ツール検定の例
• DO Qualification Kit のカスタマイズ