Design Verifier compatibility with SimEvents blocks

2 次查看（过去 30 天）
Nathan Puryear
Nathan Puryear 2021-5-27
评论： Pat Canny 2021-6-17
Is it possible to use property proving in the Design Verifier toolbox with a model using SimEvents blocks? I have tried to add a simple verification property within a verification subsystem to an example SimEvents model, but when I try to run the property prover I get the following error: "Building model representation failed: Simulink Messages blocks support only Normal mode simulation."
I did not alter the example model at all, except for adding a verification subsystem:
Inside the verification subsystem, I added a simple property to prove that the number of rejected parts is less than 10:

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

回答（1 个）

Abdolkarim Mohammadi
编辑：Abdolkarim Mohammadi 2021-5-29
I haven't used Design verifier with SimEvents blocks, but I think the error message is clear. The model containing SimEvents blocks and Design verifier blocks must be run only in Normal mode, not Accelerated or other modes.
  6 个评论
显示 4更早的评论
Nathan Puryear
Nathan Puryear 2021-6-10
Pat,
So, based on the code generation capabilities, Design Verifier is not compatible with SimEvents blocks? If that is the case, then I think this is solved.
As far as I can tell, changing the solver setting doesn't result in different simulation behavior for the example model.
Thanks,
Nathan
Pat Canny
Pat Canny 2021-6-17
Hi Nathan,
In general, yes: Simulink Design Verifier is not compatible with SimEvents blocks. Apologies again for the confusing error message.
Thanks.

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Discrete-Event Simulation 的更多信息

标签

产品


版本

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by