主要内容

本页采用了机器翻译。点击此处可查看英文原文。

检查与安全相关的代码生成设置以查看注释

mathworks.hism.hisl_0038

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0038: Configuration Parameters > Code Generation > Comments

说明

此检查验证模型配置参数是否已设置为最佳状态,以便在安全相关应用程序的代码中生成注释。

建议的行动和结果

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

建模条件建议的操作
代码生成器生成的代码中不包含注释。添加注释,以便于可追溯性代码和模式之间的关系。交互式地选择模型配置参数包括注释或通过编程方式将 GenerateComments 设置为 "on"
代码生成器不会在生成的模块中包含注释。添加模块注释,以便在代码和模型之间可追溯性。交互式地选择模型配置参数 Simulink 模块注释或通过编程方式将 "SimulinkBlockComments" 设置为 "on"
代码生成器不会在生成的代码中包含对已删除模块的注释。对于已删除的模块,请添加注释,以便在代码和模型之间可追溯性。交互式地选择模型配置参数显示已消除模块或通过编程方式将 ShowEliminatedStatement 设置为 "on"
代码生成器不会在 model_prm.h 的模型参数结构体声明中包含参数变量和源块名称的注释。 model_prm.h 的模型参数结构体声明中,将参数变量名称和源块作为注释添加进去,以便代码和模型之间可追溯性。交互式地选择模型配置参数 为 'Model default' 存储类提供详尽注释或通过编程方式将 ForceParamTrailComments 设置为 "on"
代码生成器不会在生成的代码中包含分配给 Simulink 块的需求描述注释。将分配给 Simulink 块的需求描述作为注释包含在内,以便在代码和模式之间进行可追溯性。交互式地选择模型配置参数在模块注释中包含需求描述或通过编程方式将 ReqsInCode 设置为 "on"
代码生成器不会在生成的代码中包含对 Stateflow® 对象的注释。 在生成的代码中包含 Stateflow 对象注释,以便代码和模型之间可追溯性。交互式地选择模型配置参数 Stateflow 对象注释或通过编程方式将 SFDataObjDesc 设置为 "on"
代码生成器不会将 MATLAB 用户注释包含在生成的代码中。在生成的代码中包含 MATLAB 用户注释,以便代码和模型之间可追溯性。交互式地选择模型配置参数 MATLAB 用户注释或通过编程方式将 MATLABFcnDesc 设置为 "on"

功能和限制

  • 无法在库模型上运行。

  • 不允许排除模块或图。

  • 提供自动修复选项

  • 除非您拥有 Embedded Coder® 许可证,否则报告中不会突出显示参数名称。

  • 无需模型编译

版本历史记录

在 R2018b 中推出

全部展开