分析和模拟模型中的引用模型，子系统或原子子图。通过将其解压缩到线束模型中，隔离子系统或参考模型进行测试。根据您分配给块的规格，在模拟期间监视模型中的时域信号。构造信号验证，并根据模拟输入组选择性地应用它们。生成和包装选项文件，用于分析从Simulink生成的代码金宝app^®使用PolySpace模型。当生成的代码的PolySpace分析与Simulink分开执行时，Packed Options文件很有用。金宝app例如，在分布式工作流程中，可以在没有Simulink的环境中执行PolySpace分析。金宝app通过使用Packed Options文件，保留生成代码的模型特定上下文。