检查安全相关的模型应用设置
mathworks.hism.hisl_0037
依赖关系: Simulink® Check™ 和 Stateflow®
用法: 高完整性系统建模
说明
此检查验证模型配置参数在为安全相关应用程序生成代码时是否使用了模型引用的最佳参数设置。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| 参考模型已配置为在更新、仿真或为模型生成代码时重建目标，或者当 Simulink 软件检测到已知依赖项发生变化时重建目标。 | 防止代码重新生成，这只会导致文件日期更改，并减慢构建处理速度。使用 set_param 将模型配置参数重新编译设置为从不或如果检测到变化，或者将 UpdateModelReferenceTargets 设置为 "AssumeUpToDate" 或 "IfOutOfDateOrStructuralChange"。 |
| 当检测到目标需要重建时，Simulink 不会报告错误。 | 对于与安全相关的应用，配置模型以报告错误，提醒模型开发人员父模型和引用模型不一致。使用 set_param 将模型配置参数重新编译设置为从不，将从不重新编译诊断设置为如果需要重新编译则视为错误，或者将 UpdateModelReferenceTargets 设置为 "Never"，将 CheckModelReferenceTargetMessage 设置为 "error"。 |
| 模型经过配置，可最大限度地减少人为代数循环的出现。 | 通过选择模型配置参数单一输出/更新函数 (Simulink Coder)并清除尽量减少出现人为代数环，或者通过使用 set_param 将 CombineOutputUpdateFcns 设置为 'on' 并将 ModelReferenceMinAlgLoopOccurrences 设置为 'off'，来优化生成嵌入式系统代码的模型配置。 |
功能和限制
无法在库模型上运行。
不允许排除模块或图。
提供自动修复选项
无需模型编译
不分析库链接块的内容
版本历史记录
在 R2011a 中推出另请参阅
尽量减少出现人为代数环 | 从不重新编译诊断 | 重新编译 | 单一输出/更新函数 (Simulink Coder)
主题
- 使用模型顾问检查您的模型
- Address Model Check Results
- Save and View Model Advisor Check Reports
- Improve Simulation Performance Using Performance Advisor
- 使用升级顾问升级模型
- 使用模型顾问配置编辑器来自定义模型顾问
- 从模型顾问检查分析中排除模块
- 通过检查分析申述模型顾问违规的合理性
- 使用编辑时检查来检查模型合规性
- Generate Code for Model Reference Hierarchy (Simulink Coder)
- 代数环概念
- Algebraic Loops (Simulink Coder)
