Question
How to write Assessments for both time/state dependent properties and state-less properties in Simulink Test with and without Simulink Design Verifier?
Expert Answer
Neeta Dsouza
PhD Expert
Answered Aug 25, 2026
Without Simulink Design Verifier:
1) If there is only one time-/state-dependent property, then you can use steps and sub-steps.
Then, put the assert/verify statements for the stateless properties into the parent step (which runs always), and for the time-/state-dependent property into the sub-steps (which can have transition between sub-steps).
2) Another approach is to use more than one Test Sequence block. This is probably easiest if there are more than one time-/state-dependent property, so, you would put assessments for each property into its own Test Sequence block. You can add as many Test Sequences as needed into the Test Harness after it's created.
With Simulink Design Verifier:
1) Simulink Design Verifier checks for complete coverage of your model. If your model is 100% covered. You will be presented with the option of creating a test harness automatically. This will then create all the test cases for part of your model.
To deal with time/state dependent properties, Simulink Design Verifier has the temporal operator blocks, Detector, Extender, and Within Implies.
100% Run Guarantee
3-Hour Fast-Track Delivery
Need a Custom Version or Complete Simulation for This Problem?
Our 500+ PhD engineers build, debug, and optimize working MATLAB scripts and Simulink (.slx) models tailored to your exact assignment rubrics with zero plagiarism.
Tested on MATLAB R2024b / R2026a
Turnitin 0% Plagiarism Report
Free 7-Day Revisions Guarantee
Have a different question? Ask here
Related simulink Questions & Solutions
Browse All →
Explore similar technical troubleshooting questions and verified MATLAB solutions:
Ready-to-Run MATLAB & Simulink Projects
Browse All Projects →