Simulation-Guided Verification and Validation for Large-Scale Automotive Control Systems
Hisahiro Ito, Toyota Technical Center
In recent years, practical verification methods for large-scale industrial control systems have emerged where simulation is used to verify high-level functional requirements. These simulation-guided verification technologies can be effectively used with a closed-loop simulator such as model-in-the-loop (MIL) or software-in-the-loop (SIL) to verify requirements during the early control design phase. While this simulation-guided method has already produced promising results in some cases where formal methods cannot be applied, gaps between the current capability and expectations have been identified. In this talk, the on-going effort to deploy this new technology at Toyota will be presented.
Recorded: 12 May 2015
Featured Product
Simscape
Up Next:
Related Videos:
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
アジア太平洋地域
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)