Managing Requirements and Advanced Model Checks Workflow Example
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 Requirements Toolbox™, Simulink Check™, and Simulink Design Verifier™.
Published: 22 Jan 2024
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 MathWorks products-- Requirements Toolbox, to author, link, and validate requirements for designs and tests; 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.