MathWorks Vision for Systematic Verification and Validation
Ad hoc simulation is an instrumental first step to gain an understanding of a system under typical operating scenarios, yet it has become inadequate for verifying designs of increasing size and complexity. Simulink® verification products extend and complement simulation to provide additional rigor, automation, and insight that your designs are functionally correct, comply with standards, and are faithfully implemented on target hardware. This talk explains the vision and expanding capabilities of these tools for dynamic testing and formal methods–based static analysis. Bill also discusses how to apply these techniques systematically throughout a production development process to achieve higher quality and productivity.
Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Requirements Toolbox in R2017b.
Recorded: 12 May 2016
Related Products
Learn More
Featured Product
Simulink Test
Up Next:
Related Videos:
Seleccione un país/idioma
Seleccione un país/idioma para obtener contenido traducido, si está disponible, y ver eventos y ofertas de productos y servicios locales. Según su ubicación geográfica, recomendamos que seleccione: .
También puede seleccionar uno de estos países/idiomas:
Cómo obtener el mejor rendimiento
Seleccione China (en idioma chino o inglés) para obtener el mejor rendimiento. Los sitios web de otros países no están optimizados para ser accedidos desde su ubicación geográfica.
América
- 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-Pacífico
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)