Main Content

体系的モデル検証

解析用モデル コンポーネントの特定および構成

体系的モデル検証とは、モデル カバレッジをすべてカバーするなどのオブジェクティブの基準に基づいてモデルを検証し、すべての機能要件を検証するプロセスです。

モデルを構築する際の設計プロセスのガイドについては、設計の注意事項を参照してください。モデルを更新する際に反復して解析を行うには、Simulink Design Verifier の基本的なワークフローを参照してください。Simulink® に既存の設計があり、Simulink Design Verifier™ の解析を行うために設計の一部を構成する場合、コンポーネントの選択を参照してください。