Main Content

解析用のモデル表現

モデルを初めて解析するとき、Simulink® Design Verifier™ は互換性チェックを実行し、モデル表現を作成します。モデル表現には、解析に使用するモデルの動作に関する情報が含まれます。既定では、ソフトウェアはSimulation cache folderの場所にモデル表現を保存します。

モデルを変更して解析を再実行すると、Simulink Design Verifier は、モデル表現の再作成のパラメーターに応じてモデル表現を再作成するか、キャッシュされた既存の Simulink を使用するかを判定します。[モデル表現の再作成] オプションが [変更が検出された場合] に設定されていて、モデル内の変更が検出される場合、モデル表現の再作成がトリガーされます。

解析用のモデル表現の再利用

[モデル表現の再作成] オプションは既定で [変更が検出された場合] に設定されていて、ソフトウェアは、あらゆるモデルの変更および Simulink Design Verifier 解析オプションに対してモデル表現を検証します。ソフトウェアはその後、解析用にモデル表現を再利用するか再作成するかを判定します。オプションを [常時] に設定すると、モデル解析のたびにモデル表現が再作成されます。

[モデル表現の再作成] オプションが [変更が検出された場合] に設定されると、Simulink Design Verifier はモデル内で次の変更をチェックします。

Simulink Design Verifier のオプション

ソフトウェアは、Simulink Design Verifier のオプションのあらゆる変更に対してモデル表現を検証します。次の表は、モデル表現に影響しないオプションを示しています。これらのいずれのオプションを変更した場合も、ソフトウェアはモデル表現を再利用します。

[Design Verifier] オプション

[テスト生成] オプション

[プロパティ証明] オプション

[結果] 生成オプション

[レポート] 生成オプション

モデルの構造的チェックサム

Simulink Design Verifier では、構造的チェックサムとコード チェックサムの両方を使用します。構造的チェックサムとは、シミュレーション結果に影響する可能性のあるモデル内の変更を検出する計算です。モデルに影響する変更の種類の詳細については、リビルドを参照してください。

メモ

Embedded Coder で生成されたコードのテスト ケースの生成を行う場合、Simulink Design Verifier では生成コードのチェックサムも考慮されます。

追加の依存関係

構造的チェックサムに加えて、Simulink Design Verifier は、次のような、解析結果に影響を与える可能性があるモデルの依存関係の変更をチェックします。

  • データ ディクショナリまたは MATLAB® ベース ワークスペース、マスク ワークスペースまたはモデル ワークスペースで定義されるシミュレーション実行時パラメーター

  • モデルがシミュレーション中に使用する外部 C または C++ ソース コード ファイル

  • ブロック パラメーターで指定される最小制約および最大制約

  • [値] などのSimulink Design Verifier ブロック ライブラリのブロックで指定されるブロック パラメーター

制限

  • 次の場合は、モデル表現は常に再作成されます。

    • Simulink Design Verifier 解析が、Simulink Test™、Simulink Coverage™、Simulink Check™、Requirements Toolbox™ など、他の製品から開始された場合。

    • モデルに MATLAB System ブロックが含まれている場合。

  • Simulink Design Verifier は、[モデル表現の再作成] オプションが [変更が検出された場合] に設定されていても、適用するカスタム ブロック置換ルールの変更を検出しません。このような場合に、モデル表現を再作成する場合は、Simulink キャッシュは解析に再利用され、診断ビューアーに [モデル表現の再作成] オプションを [常時] に設定するように推奨する警告メッセージが表示されます。

参考

関連するトピック