モデルまたはサブシステムの解析

解析用モデルまたはサブシステムを準備し、解析を実行する

Simulink^® Design Verifier™ を使用することにより、モデルの構築に沿って設計プロセスをガイドします。既存モデルの互換性をチェックします。解析用に、モデルの互換性の制限を回避するか、モデル要素をカスタマイズします。設計エラー検出を実行し、テストケースの生成またはモデルのプロパティ証明を行います。

関数

`sldvcompat`	モデルに解析との互換性があるかをチェックする
`sldvextract`	サブシステムまたはサブチャートの内容を解析用の新しいモデルに抽出する
`sldvisactive`	ブロック線図の更新を検証
`sldvoptions`	設計検証オプションオブジェクトの作成
`sldvtimer`	タイマー最適化の識別、変更、および表示
`sldvrun`	モデルの解析

トピック

モデルまたはサブシステムの互換性チェック

Simulink Design Verifier の基本的なワークフロー
基本的な Simulink Design Verifier ワークフローの概要。
モデルの互換性チェック
モデルが Simulink Design Verifier と互換であるかどうかのチェック方法を説明する。

モデルまたはサブシステムの解析

コンポーネント検証とは
コンポーネント検証の 2 つの方法の概要。
Stateflow Atomic サブチャートの解析
Simulink Design Verifier ソフトウェアを使用した Atomic サブチャートの解析。
モデルの解析
Simulink Design Verifier での単純なモデル例の解析。
単純なモデルの解析
Simulink Design Verifier の機能を説明する単純なモデルの解析。
大規模モデルの解析
大規模モデルを解析するための手法を説明します。
Simulink Design Verifier のオプション
[コンフィギュレーションパラメーター] ダイアログボックスの Simulink Design Verifier オプションの概要。
Parameter Configuration for Analysis
Overview of parameter configuration for Simulink Design Verifier analysis.
Simulink Design Verifier のチェック
Simulink Design Verifier の解析のモデルアドバイザーチェックについて説明する。
Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage.
エクスポート関数モデルの解析
Simulink Design Verifier を使用してエクスポート関数モデルを解析する。
グローバルな Simulink 関数を使用したエクスポート関数モデルの解析
Simulink Design Verifier を使用してグローバルな Simulink 関数でエクスポート関数モデルを解析する。
Analyze AUTOSAR Component Models
Analyze AUTOSAR component models for the Classic Platform.
Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.
コンポーネント検証関数
コンポーネント検証に使用できる Simulink Design Verifier 関数について説明する。
コード生成コンポーネントの検証
この例では slvnvdemo_powerwindow モデルを使用して、あるコンポーネントを、モデルがそのコンポーネントを含むという状況下で検証する方法を示します。