モデルにおける設計エラーの解析

モデルの設計エラーを解析するには、以下のワークフローを使用します。

モデルが Simulink^® Design Verifier™ ソフトウェアと互換であることを確認します。
モデル内に Stateflow^® オブジェクトがある場合、[コンフィギュレーションパラメーター] ダイアログボックスの [診断] 、 [Stateflow] ペインで、[到達不能の実行パス] を [エラー] に設定します。
Simulink Design Verifier によるモデル内の設計エラー検出の方法を制御するオプションを指定します。
Simulink Design Verifier 解析を実行します。
解析結果をレビューします。

設計エラー検出解析を実行すると、既定では、解析結果がレビューしやすくなるように、4 色のうちのいずれかでモデルオブジェクトが強調表示されます。

モデルオブジェクトの強調表示色	解析結果
グリーン	次の両方です。デッドロジックがないことが証明された。他の設計エラー検出チェックでエラーがないことが証明された。
レッド	少なくとも次のいずれかです。デッドロジックが見つかった。他の設計エラー検出チェックのいずれか 1 つでエラーが見つかった。
オレンジ	1 つ以上のオブジェクティブで、モデルオブジェクトにデッドロジックまたは他の設計エラー検出エラーの 1 つがあるかどうかを判別できませんでした。この状況は次の場合に発生します。解析がタイムアウトした。エラーが発生したかどうかを判別できない。この結果は次の理由によります。自動スタブ。詳細については、自動スタブによる非互換性処理を参照してください。解析エンジンの制限。
グレー	モデルオブジェクトが解析に含まれていなかった。
スチールブルー	このモデルオブジェクトのすべてのオブジェクティブが、解析時に指定されたフィルターファイルを使用して除外または正当化された。

次の例にあるように、まず Simulink Design Verifier の [結果] ウィンドウに解析結果の概要が表示されます。

モデル内のオブジェクトをクリックすると、そのオブジェクトの結果の詳細が Simulink Design Verifier の [結果] ウィンドウに表示されます。

ヒント

既定では、Simulink Design Verifier の [結果] ウィンドウは常に最前面に表示されます。この設定を変更するには、アイコンをクリックし、コンテキストメニューで、[常に手前に表示] の横にあるチェックマークをオフにします。

モデル内のエラーの原因を修正するために解析結果を閉じた場合、解析結果をもう一度レビューすることが必要になる場合があります。モデルが変更されないままであれば、[結果の概要] ウィンドウで最新の解析結果を表示できます。

最新の結果を表示するには、[Design Verifier] タブの [結果の確認] セクションで、[結果の概要] をクリックします。

[結果の概要] ウィンドウからは、任意の Simulink Design Verifier 解析に対して次のタスクを実行できます。

モデルアドバイザーから設計エラー検出解析を実行できます。これは他のモデルチェックを実行する必要がある場合に特に便利です。モデルアドバイザーからモデルを解析するには、次の高水準のワークフローに従います。

Simulink Design Verifier によるモデル内の設計エラー検出の方法を制御するオプションを指定します。
モデルアドバイザーを開きます。
システム階層から、解析するモデルまたはモデルコンポーネントを選択します。
設計エラー検出解析の項目を展開します。[製品別] または [タスク別] のどちらかの下で Simulink Design Verifier を探します。
モデルの互換性チェックを行っていない場合は、Simulink Design Verifier の互換性チェックを有効にします。
実行する設計エラー検出チェックを選択します。
選択したチェックを実行します。
解析結果をレビューします。

関連するトピック