检查与安全相关的诊断参数设置

mathworks.hism.hisl_0302

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0302:配置参数 > 诊断 > 数据有效性 > 参数

说明

此检查验证模型配置是否使用适用于为安全相关应用程序生成代码的参数的最佳参数设置。

查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。

您可以使用修复按钮，让模型顾问修复标记的违规行为。本次检查中，模型顾问配置了适用于参数且可能影响安全性的模型诊断设置。

建模条件	建议的操作
用于检测参数降级发生时的诊断信息设置为无或警告。向下调整到较低的信号范围可能会导致参数数值溢出，从而导致意外行为。	将模型配置参数检测向下转换设置为 `error`。
用于检测参数下溢的诊断信息设置为无或警告。当参数的数据类型分辨率不足时，参数值为零而不是指定的值。这会导致生成的代码运行不正确。	将模型配置参数检测下溢设置为 `error`。
用于检测参数溢出的诊断信息设置为无或警告。数值溢出可能导致意想不到的行为。为避免这种意外行为，请查找并修复安全相关应用程序中的数值溢出。	将模型配置参数检测溢出设置为 `error`。
用于检测参数何时失去精度的诊断信息设置为无或警告。如果未能检测到此类错误，可能会导致生成的代码中某个参数被设置为错误的值。	将模型配置参数检测精度损失设置为 `error`。
用于检测何时将具有可调变量的表达式简化为其数值等效项的诊断信息设置为无或警告。这可能导致在生成的代码中，某个可调参数意外地无法调节。	将模型配置参数检测可调性损失设置为 `error`。