检查与代码风格相关的安全代码生成设置。
mathworks.hism.hisl_0047
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0047:配置参数 > 代码生成 > 代码样式
说明
此检查验证代码风格的模型配置参数是否针对安全相关应用进行了最佳设置。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
如果您认为标记的违规行为与您的设计无关或不可行，请使用申述按钮提供理由，说明为什么该违规行为与您的设计无关或不可行。
您可以使用修复按钮，让模型顾问修复所有标记的违规行为。本次检查中，模型顾问会配置可能影响安全性的模型代码生成设置。
| 建模条件 | 建议的操作 |
|---|---|
| 生成的代码的括号样式设置为最小值 (依赖于 C/C++ 运算符优先级) 或适中 (优化以便于阅读)。对于与安全相关的应用，请用括号明确指定优先级。 | 将模型配置参数 圆括号层级 (Embedded Coder) 设置为 Standards(Parentheses for Standards Compliance) 或 Maximum(Specify precedence with parentheses)，或者将参数 ParenthesesLevel 设置为 'Standards' 或 'Maximum'。 |
| 代码生成未配置为保留操作数顺序。此选项可提高生成代码的可追溯性。 | 选择模型配置参数 保留表达式中的操作数顺序 (Embedded Coder) 或将参数 PreserveExpressionOrder 设置为 'on'。 |
功能和限制
无需模型编译
无法在库模型上运行。
不允许排除模块或图。
在模型顾问报告中，不使用 Embedded Coder® 时，不会突出显示参数名称。
版本历史记录
在 R2020a 中推出
另请参阅
主题
- 使用模型顾问检查您的模型
- Address Model Check Results
- Save and View Model Advisor Check Reports
- Improve Simulation Performance Using Performance Advisor
- 使用升级顾问升级模型
- 使用模型顾问配置编辑器来自定义模型顾问
- 从模型顾问检查分析中排除模块
- 通过检查分析申述模型顾问违规的合理性
- 使用编辑时检查来检查模型合规性
- Model Configuration Parameters: Comments (Simulink Coder)
- 模型配置参数：代码生成标识符 (Simulink Coder)
- 模型配置参数：代码生成接口 (Simulink Coder)
- 模型配置参数：代码样式 (Embedded Coder)
