設計の注意事項
プロジェクトを開始する際、Simulink® Design Verifier™ を使用することにより、モデルの構築に沿って設計プロセスをガイドします。まず解析のワークフローについて学習し、モデルの構築を進めながら段階的に解析を実行します。Simulink で設計済みのものがある場合は、コンポーネントの選択を参照してください。
トピック
- Simulink Design Verifier の基本的なワークフロー
基本的な Simulink Design Verifier ワークフローの概要。
- サブシステムのテスト ケースの生成
個々のサブシステムを解析します。
- Stateflow Atomic サブチャートの解析
Simulink Design Verifier ソフトウェアを使用した Atomic サブチャートの解析。
- モデルの解析
Simulink Design Verifier での単純なモデル例の解析。
- 単純なモデルの解析
Simulink Design Verifier の機能を説明する単純なモデルの解析。
- 大規模モデルの解析
大規模モデルを解析するための手法を説明します。
- エクスポート関数モデルの解析
Simulink Design Verifier を使用してエクスポート関数モデルを解析する。
- グローバルな Simulink 関数を使用したエクスポート関数モデルの解析
Simulink Design Verifier を使用してグローバルな Simulink 関数でエクスポート関数モデルを解析する。
- Analyze AUTOSAR Component Models
Analyze AUTOSAR component models for the Classic Platform.
- Detect Design Errors in an AUTOSAR Software Component Model
Perform unit-testing to detect design errors in an AUTOSAR component.
- 近似
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
) および関連する演算はサポートされません。 - 大規模モデル
大規模モデルを解析する手法の概要。
- モデルが複雑になる原因
解析が複雑になる可能性があるモデルの特性について説明します。
- モデル解析のボトムアップ アプローチ
下位レベル要素で開始されるモデル解析の利点を説明します。