Impact-Site-Verification: dbe48ff9-4514-40fe-8cc0-70131430799e

Search This Blog

How to Model and Formally Verify Safety Requirements

 Some requirements are nearly impossible to completely verify using simulation-based testing, such as safety requirements that define when a given condition should NOT occur.

Learn how to use a Requirements Table from Requirements Toolbox™ to model a set of formal safety requirements, Simulink Design Verifier™ to prove that the requirements will always be met, and Model Slicer from Simulink Check™ to debug a counterexample.

- Prove Properties with Requirements Table Blocks:

No comments

Popular Posts