Model Verificationblock enabling设置 Debugging下在Data Validity诊断窗格中的配置参数对话框中，允许您启用或禁用所有模型验证块模型中，包括Check Static UpperBound块，此选项的设置无关。

Simulationcallback when assertion fails
指定一个MATLAB®的表达式，以计算时诊断失败。由于表达式求值在MATLAB工作空间，定义该工作区中表达式中使用的所有变量。

Stop simulationwhen assertion fails
选择该复选框会导致Check Static UpperBound块输出是零时停止模拟块，在模拟诊断浏览器中显示的错误消息。否则，块在MATLAB命令窗口中显示一条警告消息，并继续模拟。

Output assertionsignal
选择该复选框会导致检查静态上限块输出一个布尔信号，在每个时间步，如果诊断成功，这是真（1）和如果诊断失败，假（0）。如果您已经选择了Implement logicsignals as Boolean data检查框在Optimization窗格中的配置参数对话框中，输出信号的数据类型是Boolean。否则，输出信号的数据类型是double。

Select icon type
指定不同的图标用于显示当前块的方框图：graphic或text. graphic选项诊断状态图标上显示的图形表示。text选项显示代表诊断条件的数学表达式。如果图标太小而无法显示表达式，文字图标显示一个惊叹号。要看到的表达式，放大块。

Characteristics

直接馈通 无
采样时间 继承从驱动块
标量扩展 无
量纲 是
多量纲 是
过零检测 无

http://cn.mathworks.com/help/simulink/slref/checkstaticupperbound.html