Simulink Design Verifier has exceeded the maximum processing time

Hi,

I want to obtain counterexamples from a large model in simulink . I have used the sldv but always the same error appear :

Simulink Design Verifier has exceeded the maximum processing time .You can extend the time limit by modifiying the "Maximum analysis time" edit field on the Designe Verifier Pane of the configuration dialog or by modifying The "MaxProcessTime" attribute of the options object.

I have tried to replace this time with maximum value( 600s ) but I obtain also the same problem . Have you another idea to resolve the problem Please.

Thanks .

Answer 1

[Chetna Jain]

The option "MaxprocessTime" instructs Simulink Design Verifier to perform analysis for the given amount of time. Now as you are getting time-out error after 600 seconds (10 minutes), this means your model has certain constructs for which SLDV requires more time to analyze. Please try increasing the Max time out and see if you are getting the results.

Also, I would like to know, what Test Suite Optimization technique are you using in the model. The model analysis time may vary depending upon the Optimization technique.

Answer 2

[Bill Aldrich]

While you can definitely adjust the analysis time to a larger value, you might also want to investigate your design and analysis objectives to better understand why the analysis is incomplete as you mention that your model is large.

What are you trying to do, test generation, design error detection, or property proving? Depending on the answer there are different techniques to consider. For example, when test generation is unable to find results for a top model you can use the Test Generation Advisor to identify particular parts of the design that may be causing bottlenecks.

[晓龙]

what techniques to consider about design error detection？thanks.