模型复杂度的来源

Simulink® 模型的某些特性可能会因以下方面在 Simulink Design Verifier™ 分析过程中导致出现问题：

  • 由于以下原因导致的模型输入复杂度：

    • 输入数量大（输入数量可能因具体模型而异。）

    • 输入类型（例如浮点值）

    • 输入影响模型状态和分析目标的方式

  • 模型中可能的仿真路径数量

  • 模型中的不可达部分

  • 模型中的大型计数器

降低模型复杂度中的主题描述了旨在减少这种复杂度的影响并从 Simulink Design Verifier 实现最佳性能的方法。

这些方法大多侧重于大型模型的测试生成。但是，您可以使用其中许多方法来检测设计错误或证明大型模型的属性，并在属性被证明违规时生成反例。此外，证明大型模型中的属性描述了在大型模型中证明属性的具体方法。