Verify Requirements with Temporal Assessments in Simulink Test

Informal text-based requirements may specify complex timing-dependent signal logic that needs to be implemented in the Simulink^® model. With Simulink Test™, you can author temporal assessments for a test with precise semantics in a natural language format. These assessments accurately model complex timing-dependent behavior with conditions, events, signal values, and delays, and this video shows you how to construct assessments using an interactive form-based editor to enter those conditions, events, signal values, and delays, as well as responses. After executing the test, graphical representations allow you to visualize the results and debug design errors.