Simulink Design Verifier has exceeded the maximum processing time

18 次查看（过去 30 天）
Nedra Ebdelli
Nedra Ebdelli 2015-6-15
评论： 晓龙 2022-9-19
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 .

请先登录，再回答此问题。

回答（2 个）

Chetna Jain
Chetna Jain 2018-6-8
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.
Bill Aldrich
Bill Aldrich 2018-6-20
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.

类别

在 Help Center 和 File Exchange 中查找有关 Analyze Model or Subsystem 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by