| 講座名 |
Simulinkによる設計検証
|
| 主催 |
MathWorks Japan
|
| 受講料 |
80,000円 |
| 受講期間 |
1日間 |
| 受講対象レベル |
レベル２(中級） |
| 実施形態 |
WEBリアルタイム |
| モデル化領域 |
制御モデル |
| 対象領域 |
|
| 対象分野 |
電気ソフトウェア（制御ソフト） B-0 概要 B-1 制御モデル・検証 B-2 実装モデル・検証
|
| 目標・狙い |
このコースでは、Simulink Design Verifierの活用法について学びながら、潜在的な設計エラーを検証する方法や、モデルが要件を満たしていることを検証するテクニックについて習得することができます。 モデル検証の事前チェックとして、ゼロ割やデッドロック等の設計エラーを検出する方法を学び、網羅的にテストするためのテスト自動生成機能の活用方法を習得します。
シミュレーションによるモデル検証手法の詳細は、トレーニングコース「 Simulink モデルの検証と妥当性確認」を受講することをお勧めいたします。
＜ご参加にあたり必要な知識＞
・トレーニングコース「MATLAB基礎」「Simulink基礎」を受講済みの方、または同等の知識を有する方 |
| 概要 |
・設計エラーの検出とデバッグ
・モデルカバレッジの収集
・未達カバレッジを補完するテストケースの自動生成
・要件ベースの検証のためのプロパティ検証
・効率的な検証のためのモデル複雑度の扱い |
| 習得スキル(技能) |
・制御モデル用テストシナリオ作成
・制御モデル検証（単体） |
| 習得技術(知識) |
・制御工学基礎
・組込みソフトウェア基礎
・モデリングガイドライン
・テスト技法 |
| 習得ツール |
MATLAB/Simulink |
| 課題 |
無 |
| 関連資料 |
|
詳細情報
申し込み先 |
https://jp.mathworks.com/learn/training/design-verification-with-simulink.html |