Main Content

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

模型复杂性的来源

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

  • 模型输入的复杂性源于：

    • 大量输入（输入数量可能有所不同，具体取决于各个模型。）

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

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

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

  • 模型中无法触及的部分

  • 模型中的大型柜台

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

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