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:
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 (한국어)