9、Polyspace分析在Simulink中的应用指南

Polyspace分析在Simulink中的应用指南

一、Polyspace分析中信号约束问题

在进行Polyspace分析时，仅在Saturation块的主选项卡中指定上下限是不足以约束信号的。该分析使用的是信号属性选项卡中指定的设计范围。若要确保分析准确，需重新运行分析，此时新结果集中的溢出检查可能会变为绿色。

二、模型中多次调用C/C++函数的分析示例

2.1 打开模型

要对所有自定义代码进行分析，需打开 multiCCallerBlocks 模型。可以使用以下命令：

openExample('polyspace_bf/OpenModelForAnalyzingAllCustomCodeExample');
open_system('multiCCallerBlocks');

2.2 检查模型

模型包含两个C Caller块，它们都调用了同一个函数 times_n 。其中一个C Caller块的输入来自两个无界输入的Inport块；另一个C Caller块的输入来自一个Constant块和一个由Saturation块限制输入的Inport块。

若要查看有界输入的C Caller块的设计范围，可按以下步骤操作：
1. 双击Constant块或Saturation块。
2. 在信号属性选项卡中，记录设计范围。例如，虽然Constant块的常数值设置为3，但验证的设计范围是2.5到3.5，Saturation块的