解析に関する問題の解決

Simulink^® Design Verifier™ 解析結果は、特定の MATLAB Function ブロックや Stateflow^® 機能など、Simulink ソフトウェアの機能をサポートしていないなどの問題で不完全になる場合があります。データ型を制限し、Simulink Design Verifier の技法を活用して、モデルの無関係の部分の特定、内部関係の発見、中間結果の再利用など複雑度を低減することで、このような問題を回避することができます。

モデルが大きく複雑なほど、モデルの解析に時間がかかったり、不完全になったりする可能性があります。大きいモデルや複雑なモデルに対する最善の結果を得るには、ボトムアップ アプローチを使用して、より小さなコンポーネントを先に解析します。これにより、反復が高速になり、解析時の到達不可能なコンポーネントなどの問題を切り離すことができます。モデルがタイマーやカウンターを使用する場合は、状態爆発や応答遅延などの問題が発生する可能性があるため、このような複雑さに対処するために回避策を使用します。解析をサポートしていないブロックを Simulink Design Verifier 関数に置き換え、必要に応じてテスト ベクトル生成をカスタマイズします。解析が特定のオブジェクティブに対して定まっていない場合は、トラブルシューティング技法を適用して、原因の特定と解決を行います。