检查与安全相关的诊断设置以保存
mathworks.hism.hisl_0036
依赖关系: Simulink® Check™
用法: 高完整性系统建模
说明
此检查验证模型配置参数是否使用最佳参数设置来保存安全相关应用程序的模型。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
您可以使用修复按钮允许模型顾问修复标记的违规行为。对于此项检查，模型顾问会配置适用于保存模型文件的模型代码生成设置。
| 建模条件 | 建议的操作 |
|---|---|
| 在保存模型之前，Simulink 检测到模型包含已禁用的库链接时不会报告错误。 | 通过将模型配置参数 模块图包含禁用的库链接 设置为错误或通过使用 set_param 将 SaveWithDisabledLinkMsg 设置为 "error" 来防止生成错误代码。 |
| 在保存模型之前，Simulink 检测到模型包含使用掩码中不存在的参数的库链接时，不会报告错误。 | 通过将模型配置参数 模块图包含参数化库链接 设置为错误或通过使用 set_param 将 SaveWithParameterizedLinksMsg 设置为 "error" 来防止生成错误代码。 |
点击修改设置配置适用于保存模型文件的模型诊断设置。
功能和限制
无法在库模型上运行。
不允许排除模块或图。
无需模型编译
