Get started with Simulink® verification and validation products. Learn how to manage requirements in Simulink, perform advanced model checks, and check your model for run-time errors. The example in this video uses Simulink Requirements™, Simulink Check™, and Simulink Design Verifier™.
When developing high integrity systems, you need to ensure your design is traceable to requirements, is compliant with industry and internal modeling standards, and is free of runtime errors. This example will show you how to get started in achieving these goals using the following math MathWorks products-- Simulink Requirements, to manage requirements in the Simulink environment; Simulink Check, to ensure compliance with industry and custom modeling standards; and Simulink Design Verifier, to prove the absence of runtime errors. The example assumes a basic knowledge of Simulink and Stateflow. If you have not used Simulink or Stateflow before, check out the Simulink Onramp and Stateflow Onramp courses. Click on the link below to try the example.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
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.