Simulink Design Verifier 解析のベストプラクティス

Simulink^® Design Verifier™ 解析のベストプラクティス、考慮事項、サポートの制限事項

Simulink Design Verifier は、さまざまなレベルの Simulink 機能のサポートを提供します。部分的にサポートされるブロックがモデルに含まれる場合、自動スタブを有効にするか、解析対象のモデルでサポートされていない機能の使用を避けることができます。

トピック

ベストプラクティスと考慮事項

Simulink Design Verifier ブロックライブラリ
Simulink Design Verifier ブロックライブラリへのアクセス。
自動スタブによる非互換性処理
自動スタブの使用方法。
Simulink Design Verifier の改良条件判定カバレッジ
Simulink Design Verifier と Simulink Coverage™ の MCDC カバレッジの違いの説明。
Simulink Design Verifier の拡張 MCDC カバレッジ
拡張 MCDC カバレッジの概念とワークフローについて説明する。
論理演算のショートサーキット
Simulink Design Verifier による論理ブロックのショートサーキットについて説明する。
Simulink Design Verifier が検証結果を使用して近似をレポートする方法
Simulink Design Verifier が検証結果を使用して近似をレポートする方法を説明する。

サポートの制限事項の詳細

Simulink ソフトウェア機能のサポートの制限事項
Simulink Design Verifier がサポートしない Simulink ソフトウェアの機能をリストする。
Simulink Design Verifier でサポートされる/サポートされない Simulink ブロック
Simulink Design Verifier でサポートされる/サポートされない Simulink ブロックをリストする。
Model ブロックのサポートの制限事項
Simulink Design Verifier は Model ブロックをサポートしますが、いくつかの制限があります。
Stateflow ソフトウェア機能のサポートの制限事項
Simulink Design Verifier および Fixed-Point Designer™ ソフトウェアがサポートしない Stateflow^® ソフトウェアの機能をリストする。
MATLAB のコード生成のサポートの制限事項
MATLAB^® のコード生成に対する Simulink Design Verifier ソフトウェアのサポートに関する制限事項をリストする。
S-Function および C/C++ コードのサポートの制限事項と考慮事項
Simulink Design Verifier での S-Function および生成コードの制限事項と考慮事項を説明する。
非有限データ
Simulink Design Verifier では、非有限データ (たとえば、NaN や Inf) および関連する演算はサポートされません。
カウンターとタイマー
Simulink Design Verifier 解析が過度に複雑にならないようにするための、モデル内のカウンターおよびタイマーの取り扱いのベストプラクティス。
論理演算
論理演算と算術演算の両方をもつ Simulink モデルがある場合、論理演算のみを解析することを検討してください。