MATLAB的答案

设计验证器与SimEvents块的兼容性

4次浏览(最近30天)
显示旧的评论
内森Puryear
内森Puryear 2021年5月27日
  • 0
评论道: 帕特精明的 2021年6月17日
是否有可能在使用SimEvents块的模型中使用Design Verifier工具箱中的属性证明?我尝试在验证子系统中添加一个简单的验证属性 一个示例sievents模型 ，但是当我尝试运行属性验证程序时，我得到以下错误:“构建模型表示失败:Simulink Messages块只支持正常模式模拟。”金宝app金宝app
除了添加一个验证子系统外，我根本没有更改示例模型:
在验证子系统中，我添加了一个简单的属性来证明被拒绝的部件数量小于10:

登录回答这个问题。

答案(1)

Abdolkarim穆罕默
Abdolkarim穆罕默 2021年5月29日
编辑:Abdolkarim穆罕默 2021年5月29日
我没有使用设计验证器与SimEvents块，但我认为错误消息是清楚的。包含SimEvents块和Design验证块的模型只能在Normal模式下运行，不能在Accelerated或其他模式下运行。
6个评论
显示 5年长的评论
帕特精明的
帕特精明的 2021年6月17日
嗨,内森,
一般来说，是的:Simulink 金宝appDesign Verifier与SimEvents块不兼容。再次为令人困惑的错误信息道歉。
谢谢。

登录评论。

类别

标签

下载188bet金宝搏


释放

R2020b

社区寻宝

在MATLAB中心找到宝藏，并发现社区如何可以帮助你!

开始狩猎!

翻译的