分析和模拟模型中的参考模型、子系统或原子子图。通过将一个子系统或一个参考模型提取到一个利用模型中来隔离它以进行测试。在模拟过程中，根据分配给模块的规格监控模型中的时域信号。构造信号验证，并根据仿真输入组选择性地应用它们。生成和打包选项文件，用于分析从Simulink生成的代码万博1manbetx^®模型使用Polyspace。当从Simulink单独执行生成代码的Polyspace分析时，打包的选项文件非常有用。万博1manbetx例如，在分布式工作流中，Polyspace分析可能在没有Simulink的环境中执行。万博1manbetx通过使用打包的选项文件，可以保留生成代码的特定于模型的上下文。