設計エラー検出解析のためのモデルの準備

モデルの互換性をチェックし、設計エラー検出解析の設定を構成して、設計エラー検出解析のためにモデルを準備します。

モデル設定の構成

設計エラー検出用にモデルを準備するために、モデル設定を構成します。

1.モデル sldvexDetectDesignErrorsExample を開きます。

open_system("sldvexDetectDesignErrorsExample");

2. [アプリ] タブで、[アプリ] セクションの右側にある矢印をクリックします。[モデルの検証、妥当性確認、テスト] で、[Design Verifier] をクリックします。

3.[Design Verifier] タブの [準備] セクションで、[エラー検出の設定] をクリックします。

4.[コンフィギュレーションパラメーター] ダイアログボックスの [診断]、[データ有効性] ペインで、[オーバーフロー時にラップ]、[オーバーフローで飽和]、および [オーバーフローの検出] を [error] に設定します。

5.[適用] と [OK] をクリックして変更を保存します。

モデルの互換性チェック

モデルを解析するときに、Simulink® Design Verifier™ は最初に互換性チェックを行います。エラーなしでコンパイルされる場合、モデルは解析に対して互換性があります。モデルに互換性がない場合、解析できません。

解析の前に、モデルの互換性をチェックできます。Simulink エディターの [Design Verifier] タブで、[互換性チェック] をクリックします。[Simulink Design Verifier の結果の概要] ウィンドウには、モデルが解析に適合していることが示されます。

モデルが Simulink Design Verifier と互換性がない場合は、診断ビューアーに、非互換とその修正方法に関するメッセージが表示されます。詳細については、自動スタブによるモデルの複雑度の処理およびエラーと警告の系統的診断を参照してください。