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 カバレッジの概念とワークフローについて説明する。
Logical Operations Short-circuiting
Explains how Simulink Design Verifier short-circuits logic blocks.
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 モデルがある場合、論理演算のみを解析することを検討してください。