設計の注意事項

モデルの形式的解析および動的テストに関する設計上の注意事項

プロジェクトを開始する際、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) および関連する演算はサポートされません。
大規模モデル
大規模モデルを解析する手法の概要。
モデルが複雑になる原因
解析が複雑になる可能性があるモデルの特性について説明します。
モデル解析のボトムアップアプローチ
下位レベル要素で開始されるモデル解析の利点を説明します。