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:
Sélectionner un site web
Choisissez un site web pour accéder au contenu traduit dans votre langue (lorsqu'il est disponible) et voir les événements et les offres locales. D’après votre position, nous vous recommandons de sélectionner la région suivante : .
Vous pouvez également sélectionner un site web dans la liste suivante :
Comment optimiser les performances du site
Pour optimiser les performances du site, sélectionnez la région Chine (en chinois ou en anglais). Les sites de MathWorks pour les autres pays ne sont pas optimisés pour les visites provenant de votre région.
Amériques
- 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)
Asie-Pacifique
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)