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 Simulink Requirements in R2017b.
Recorded: 12 May 2016
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.