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:
Seleziona un sito web
Seleziona un sito web per visualizzare contenuto tradotto dove disponibile e vedere eventi e offerte locali. In base alla tua area geografica, ti consigliamo di selezionare: .
Puoi anche selezionare un sito web dal seguente elenco:
Come ottenere le migliori prestazioni del sito
Per ottenere le migliori prestazioni del sito, seleziona il sito cinese (in cinese o in inglese). I siti MathWorks per gli altri paesi non sono ottimizzati per essere visitati dalla tua area geografica.
Americhe
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- 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-Pacifico
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)