Main Content

本页采用了机器翻译。点击此处可查看英文原文。

Model 模块的支持限制

Simulink® Design Verifier™ 支持 Model模块，但有以下限制。如果出现以下情况，软件将无法分析包含一个或多个 Model 模块的模型：

  • 引用的模型受到保护。受保护的引用模型被编码以隐藏其内容。这使得第三方可以使用引用的模型，但无法查看构成该模型的属性。

    有关更多信息，请参阅 引用来自第三方的受保护模型 。

  • 当您将 配置参数 > 诊断 > 连接性 > 元素名称不匹配 参数设置为 错误 时，父模型或任何引用模型都会返回错误。

    您可以将 元素名称不匹配 诊断与总线对象一起使用，以便您的模型满足某些模块施加的总线元素命名需求。

  • Model模块使用异步函数调用输入。

  • 模型参考层次结构中的任何 Model 模块都会创建一个人工代数循环。如果发生这种情况，请采取以下步骤：

    1. 在配置参数对话框的 诊断窗格中，将 最小化代数环 参数设置为 错误，以便 Simulink 报告代数环错误。

    2. 在配置参数对话框的 模型引用 窗格中，选择 最小化代数环出现次数 参数。

      Simulink 尝试在仿真中消除人为的代数循环。

    3. 仿真模型。

    4. 如果可能的话，Simulink 将删除代数循环。如果 Simulink 无法消除人为代数环，请打开 建模 选项卡，然后在 编译 部分中单击 更新模型 来突出显示代数环的位置。

    5. 消除人为的代数循环，以便软件能够对模型进行分析。使用 Unit Delay 模块打破循环，以便执行顺序可预测。

    注意

    有关更多信息，请参阅 代数环概念 。

  • 父模型和引用模型的数据类型覆盖设置不匹配。父模型和其引用模型的数据类型覆盖设置必须相同，除非父模型的数据类型覆盖设置为 使用局部设置 。您可以配置数据类型覆盖设置来仿真指定定点数据类型的模型。使用此设置，软件会在仿真中暂时用浮点数据类型覆盖数据类型。 

    set_param('MyModel','DataTypeOverride','Double')
    有关更多信息，请参阅 set_param 。

    要观察模型的真实行为，请将数据类型覆盖参数设置为 UseLocalSettings 或 Off 。

    set_param('MyModel','DataTypeOverride','Off')

  • 引用的模型是一个Model模块，在输入端口有虚拟总线，并且总线中的信号在编译时并不都具有相同的采样时间。为了使模型与Simulink Design Verifier分析兼容，请将虚拟总线转换为非虚拟总线，或为端口指定明确的采样时间。

  • 当您在 Model模块上运行分析时，则不支持作为顶层模型生成的代码。

  • 引用模型处于引用模式，并且模型模块已启用周期事件端口。有关更多信息，请参阅 速率调度方式 。