一般的なモデリング パターンの解析
キャリブレーション パラメーターを組み込むと、解析時の変動性を達成し、エクスポート関数や AUTOSAR モデルなどのさまざまなモデリング パターンを使用できます。この後の各節では、そのような一般的なモデリング パターンに解析を実施する方法を説明します。
パラメーター コンフィギュレーションでは、パラメーターの許容値範囲を定義します。Simulink® Design Verifier™ は、解析時に、ベース ワークスペースやデータ ディクショナリの既定設定を含むモデル パラメーターの値を検討します。これにより、Simulink Design Verifier の解析プロセス全体を通して、モデル内のパラメーターを変数として扱うことができます。解析時にパラメーター値を制限するには、Simulink Design Verifier を使用して、パラメーター コンフィギュレーションを指定します。これは、モデルのパラメーターに対する制約のグループです。事前設定された制約メソッドや参照コンフィギュレーション セットでパラメーター コンフィギュレーションを選択します。
エクスポート関数モデルや AUTOSAR 用の Simulink 関数を含むモデリング パターンを解析時に使用します。Simulink Design Verifier 解析により、サンプル時刻や優先順位に基づいてエクスポート関数を呼び出すスケジューラ モデルが作成されます。エクスポート関数モデルは周期的および非周期的な関数呼び出しグループのどちらを使用しても解析できます。詳細については、エクスポート関数モデルの解析を参照してください。
関数
トピック
調整可能なパラメーターの解析の構成
- Use Parameter Configuration in Analysis
Parameter configuration for Simulink Design Verifier analysis. - Create Parameter Configuration for Simulink Design Verifier Analysis
Configure parameters in a model for analysis.
- Parameter Configuration for Variant Blocks
Use parameters to select variants in model. - Specify Parameter Configuration for Structure or Bus Parameters
Generate tests that constrain the values for the structures and bus signals in a model. - Specify Parameter Configuration for Full Coverage
Specify parameter constraint values to achieve full model coverage.
モデリング パターンの解析に関する考慮事項
- エクスポート関数モデルの解析
Simulink Design Verifier を使用してエクスポート関数モデルを解析します。 - グローバルな Simulink 関数を使用したエクスポート関数モデルの解析
Simulink Design Verifier を使用してグローバルな Simulink 関数でエクスポート関数モデルを解析する。 - Function-Call Subsystem を使用したエクスポート関数モデルの解析
Simulink Design Verifier を使用して、Function-Call Subsystem を使用したエクスポート関数モデルを解析する。 - Stateflow Atomic サブチャートの解析
Simulink Design Verifier を使用して Atomic サブチャートを解析します。 - Analyze Test Harness with Schedule for Initialize, Reset, Reinitialize, and Terminate Functions
Analyze a model that contains schedules for Initialize, Reinitialize, Reset, and Terminate ports. (R2024b 以降) - Analyze AUTOSAR Component Models
Analyze AUTOSAR component models for the Classic Platform. - Analyze Models in Parallel Using Parallel Computing Toolbox
Explains how to perform parallel analysis on multiple models using parallelfor-loop.
注目の例
コマンド ライン関数を使用したパラメーターの変更のサポート
さまざまなパラメーター値を使用するコマンド ライン関数を使用してテスト データを生成する。
Detect Design Errors in AUTOSAR Software Component Model
Perform unit-testing to detect design errors in an AUTOSAR component.
パラメーター コンフィギュレーションの適用後の既存テスト ケースの拡張
パラメーター コンフィギュレーションの適用後の未達カバレッジを達成する。
パラメーター値の生成
パラメーター コンフィギュレーション ファイルを使用して、パラメーターを解析用に調整する。
