Simulink Design Verifier

設計エラーを識別し、要件準拠を証明し、テストを生成する

Simulink Design Verifier™ は、形式的手法を使用して、モデルの隠れた設計エラーを特定します。また、整数オーバーフロー、デッドロジック、配列アクセス違反、およびゼロ除算を引き起こす、モデル内のブロックを検出します。設計が機能要件を満たしていることを形式的に確認できます。各設計エラーまたは要件違反に対して、デバッグのためのシミュレーション テストケースを生成します。

Simulink Design Verifier は、モデルカバレッジとカスタム オブジェクティブに従ってテストケースを生成して、既存の要件ベースのテストケースを拡張します。これらのテストケースを使用して、モデルが、条件、判定、変更条件/判定カバレッジ (MCDC) およびカスタム カバレッジ オブジェクティブを満たすようにすることができます。カバレッジ オブジェクティブに加えて、カスタム テスト オブジェクティブを指定して、要件ベースのテストケースを自動的に生成することもできます。

業界標準には、IEC Certification Kit (IEC 61508 および ISO 26262 用) および DO Qualification Kit (DO-178 用) によって対応しています。

設計エラー検出

ランタイムエラー、診断エラー、デッドロジックなど、モデル内の設計エラーをシミュレーションの前に発見します。

ランタイムエラーと診断エラー

シミュレーションを実行する前に、整数オーバーフロー、ゼロ除算、範囲外配列アクセス、非正規値、浮動小数点エラーなどのランタイムエラーおよびモデリングエラーと、データ有効性エラーを検出できます。 

デッドロジック

シミュレーション中および生成コードの実行中にアクティブにできない、モデル内のオブジェクトを見つけます。

モデル内のデッドロジックの表示。

テストケース生成

構造および機能カバレッジを満たす動的シミュレーション用のテストケースを生成します。

カバレッジを高めるためのテストケース

手動で作成された既存のテストケースを強化し、拡張して、不完全なモデルカバレッジに対処します。

要件ベースのテストケース

システム要件のモデルからテストケースを生成します。

C/C++ コードのテストケース

生成されたコードと Simulink® ブロックから、または、Stateflow® チャートで呼び出される C/C++ コードのカバレッジを高めるためのテストケースを生成します。

C コードを呼び出すモデルのテストの生成。

要求に基づく検証

MATLAB、Simulink、および Stateflow を使用して表現された形式的要件を検証します。

安全要件

MATLAB®、Simulink、および Stateflow を使用して表現する形式的に定義された安全要件に従って設計が挙動することを検証します。

Simulink を使用して要件を表現します。

バリアントモデルの簡略化

バリアント リデューサーを使用して、有効な構成のサブセットの簡略化モデルを生成します。

配布モデルの簡略化

マスター バリアント モデルを詳しく検証した後、バリアント リデューサーを使用して、有効な構成のサブセットの簡略化モデルを生成します。すべての関連ファイルと変数の依存関係も削減されます。削減後の成果物は、容易に配布でき、顧客やパートナーと容易に共有できるように、個別のフォルダーにパッケージ化されます。

簡略化モデルの作成。

新機能

設計エラーの正当化

解析後、設計エラーチェック用のフィルターや正当化ルールを作成可能

データストアメモリのアクセス違反を検出

書き込み前の読み取り、読み取り後書き込み、および書き込み後の書き込みなど、モデルを解析してデータストアメモリのエラーを検出可能

カスタムコードの対応

モデルおよび Stateflow チャート内のカスタム C/C++ コードにおける設計エラーを検出可能

チームベースのワークフローにおける解析時間の短縮

モデル表現ファイルをチーム内で共有して再利用可能

パラメーター ワークフローのためのテスト拡張

マニュアルで定義されたテストケースを拡張する際に、解析全体に対するパラメーター制約を変更可能

複素数データ型のサポート

複素数データ型を持つモデルを解析してテストケースを生成

これらの機能やそれに対応する機能の詳細については、リリースノートをご覧ください。 

無料評価版を入手する

30 日間の無料評価版はこちら

今すぐダウンロード

あなたは学生ですか?

MATLAB および Simulink 学生向けソフトウェアの入手

詳細を見る