Design Verifier compatibility with SimEvents blocks

1 visualización (últimos 30 días)
Nathan Puryear
Nathan Puryear el 27 de Mayo de 2021
Comentada: Pat Canny el 17 de Jun. de 2021
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:

Respuestas (1)

Abdolkarim Mohammadi
Abdolkarim Mohammadi el 29 de Mayo de 2021
Editada: Abdolkarim Mohammadi el 29 de Mayo de 2021
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 comentarios
Nathan Puryear
Nathan Puryear el 10 de Jun. de 2021
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 el 17 de Jun. de 2021
Hi Nathan,
In general, yes: Simulink Design Verifier is not compatible with SimEvents blocks. Apologies again for the confusing error message.
Thanks.

Iniciar sesión para comentar.

Categorías

Más información sobre Messages en Help Center y File Exchange.

Productos


Versión

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by