检查针对用于调试的数据的安全相关诊断设置

R2026b

mathworks.hism.hisl_0305

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0305：配置参数 > 诊断 > 数据有效性 > 调试

描述

此检查用于验证在为安全相关应用生成代码时模型配置是否使用了适用于调试的最优参数设置。

Elements under review:

查看该检查所标记的违规以及用于修复问题的建议操作。应用更改后，请保存模型并重新运行检查分析。

您可以使用修复按钮让模型顾问修复已标记的违规。为进行此项检查，模型顾问会配置适用于调试所用数据且可能影响安全性的模型诊断设置。

建模条件	建议的操作
用于启用模型验证模块的诊断值设置为使用局部设置或全部启用。此类模块为断言模块，仅用于验证。断言不适用于嵌入的代码。	将模型配置参数 Model Verification 模块启用设置为 `Disable All`。