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:
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- 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)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)