このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
モデルの非互換性または解析タイムアウトへの対処
モデル、モデル パラメーター、または解析オプションを調整し、モデルの解析を向上する
解析を開始する前に、モデルの互換性チェックを実行できます。次の場合に、モデルは解析に対して互換性があります。
モデルが実行可能形式にコンパイルされている場合。
モデルがコード生成と互換性がある場合。
モデルがエラーのない 0 秒シミュレーション (シミュレーションの開始時間と終了時間が
0
) を実行する場合。
モデルの互換性がない場合は、診断ビューアーのメッセージを介して非互換を特定し、修正できます。テスト生成アドバイザーの結果を使用して、モデルをよりよく理解できます。これは、大規模なモデルや複雑なモデル、Simulink® Design Verifier™ との互換性が確実に把握できていないモデルで特に便利です。
トピック
はじめに
- モデル解析のボトムアップ アプローチ
下位レベル要素で開始されるモデル解析の利点を説明します。 - 解析用のモデル表現
Simulink Design Verifier が解析に使用するモデル表現について説明する。 - モデル表現のオプションの構成
Simulink Design Verifier が解析に使用するモデル表現のオプションの設定方法について説明する。 - テスト生成アドバイザーによる解析可能コンポーネントの特定
テスト生成アドバイザーを使用してモデルとコンポーネントの解析を進めます。
パラメーター コンフィギュレーション
- Parameter Configuration for Analysis
Overview of parameter configuration for Simulink Design Verifier analysis. - Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage. - Specify Parameter Configuration for Structure or Bus Parameters
This example describes how to generate tests that constrain the values for the structures and bus signals in a model. Suppose that your model includes a variable calledkpGainsStructure
, which is a structure in the MATLAB® workspace. The model uses a Bus Selector block to separate the structure fields into individual bus signals. You can constrain the values of the structure or the values of the bus signals to ensure that they stay within the specified range during simulation.
モデルの非互換性への対処
- 自動スタブによる非互換性処理
自動スタブの使用方法。 - テスト ケース生成のための S-Function の構成
この例では、テスト ケース生成のために Simulink® Design Verifier™ と互換性をもつよう S-Function をコンパイルする方法を説明します。
解析タイムアウトへの対処
- 解析を高速化するための Simulink キャッシュ ファイルの共有
Simulink キャッシュ ファイルを使用した解析のためのモデル表現の共有と再利用。 - 有理近似のインスタンスを減らすために追加の解析を実行
この例では、追加の解析を実行することにより、有理近似のインスタンスを減らす方法を説明します。 - 大規模モデルのプロパティの証明
大規模モデルでプロパティを証明するためのワークフローとベスト プラクティスについて説明します。 - 解析レポート生成に割り当てるメモリ サイズの引き上げ
メモリの量を増やして大規模モデルのレポートを作成できるようにする方法を説明します。 - モデル データ管理による解析の単純化
モデルを簡略化して Simulink Design Verifier の解析を簡略化する。 - 大規模モデルの解析の実行
大規模モデルを解析するための手法を説明します。