Simulink Verification and Validation

モデリングルールの準拠性チェック

Simulink Verification and Validation は以下の各チェックを提供します。

  • MathWorks Automotive Advisory Board
  • DO-178B
  • IEC 61508 (ISO 26262)
  • 要求仕様の整合性

モデル アドバイザーでは、個別のチェックや一連のチェックを実行できます。各チェックには、矛盾を解決するための詳しいドキュメンテーションや推奨事項が添付されています。チェックによっては、コンフィギュレーション オプションが追加されているものもあります。

Violation in highlighted model block found through modeling standards checks in Model Advisor.
モデル アドバイザーのモデリングルールチェックで発見され強調表示されたモデル ブロックの違反。

モデル アドバイザーの設定エディターを使用してチェックを変更することができます。これによって以下を実行できます。

  • チェックの組み合わせの選択
  • 特定のチェックを新しいコンフィギュレーションとして保存
  • 既存のコンフィギュレーションからチェックをインポートして適用
  • コンフィギュレーションにカスタム チェックを追加
  • コンフィギュレーションをエクスポートして実装

スクリプト API でカスタム チェックを作成することができます。カスタム チェックの例は、製品ドキュメンテーションに記載されています。

適合性チェックを自動化するには、Parallel Computing Toolbox™ を併用して 1 台または複数のマシンでバッチ モードでチェックを実行することができます。モデル アドバイザー内、または、解析実行後に作成される HTML レポートで結果を見ることができます。

Simulink DO Qualification Kit を使用すると、DO-178B または DO-254 認定プロジェクトで使用されるモデル アドバイザーの DO-178B チェックの適格性を確認することができます。

次のトピック: コンポーネントのテスト

製品評価版の入手または製品の購入

評価版 Simulink Verification and Validation

評価版ソフトウェアを入手する

モデルベースデザインの基本環境クイック・デモ

Web セミナーを表示する