Simulink Design Verifier の基本的なワークフロー

基本的な Simulink Design Verifier ワークフローの概要。

サブシステムのテスト ケースの生成

個々のサブシステムを解析します。

Stateflow Atomic サブチャートの解析

Simulink Design Verifier ソフトウェアを使用した Atomic サブチャートの解析。

モデルの解析

Simulink Design Verifier での単純なモデル例の解析。

単純なモデルの解析

Simulink Design Verifier の機能を説明する単純なモデルの解析。

大規模モデルの解析

大規模モデルを解析するための手法を説明します。

エクスポート関数モデルの解析

Simulink Design Verifier を使用してエクスポート関数モデルを解析する

近似

Simulink Design Verifier が解析の開始前に実行する近似。

検証結果による近似のレポート

Simulink Design Verifier が検証結果を使用して近似をレポートする方法を説明する。

論理演算

論理演算と算術演算の両方をもつ Simulink モデルがある場合、論理演算のみを解析することを検討してください。

論理演算のショートサーキット

Simulink Design Verifier による論理ブロックのショートサーキットについて説明する。

Simulink Design Verifier の改良条件判定カバレッジ

Simulink Design Verifier と Simulink Coverage™ の MCDC カバレッジの違いの説明。

Model ブロック

外部モデルを参照する Model blocks の解析。

ブロック削減

Simulink でシミュレーション中にブロックを削減する方法とそれが Simulink Design Verifier 解析にどのように影響するかについて説明する。

インライン パラメーター

調整可能なパラメーターを定数値に変換することで、Simulink モデルを最適化する。

非有限データ

Simulink Design Verifier では、非有限データ (たとえば、NaN や Inf) および関連する演算はサポートされません。

大規模モデル

大規模モデルを解析する手法の概要。

モデルが複雑になる原因

解析が複雑になる可能性があるモデルの特性について説明します。

モデル解析のボトムアップ アプローチ

下位レベル要素で開始されるモデル解析の利点を説明します。