主要内容

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

检查与安全相关的代码生成标识符设置

mathworks.hism.hisl_0049

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0049:配置参数 > 代码生成 > 标识符

说明

此检查用于验证代码生成标识符设置是否针对安全相关应用进行了最佳设置。

建议的行动和结果

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

如果您认为标记的违规行为与您的设计无关或不可行,请使用申述按钮提供理由,说明为什么该违规行为与您的设计无关或不可行。

您可以使用修复按钮,让模型顾问修复所有标记的违规行为。本次检查中,模型顾问会配置可能影响安全性的模型代码生成设置。

建模条件建议的操作
生成名称修饰字符串的最小字符数少于四个。您可以使用此选项来最大限度地降低模型更改时代码生成过程中参数和信号名称发生更改的可能性。使用此选项有助于最大限度地减少文件版本之间的代码差异,从而减少执行代码审查所需的工作量。将模型配置参数 最小修饰长度 (Embedded Coder) 或参数 MangleLength 的值设置为 4 或更大。

功能和限制

  • 无需模型编译

  • 无法在库模型上运行。

  • 不允许排除模块或图。

  • 在模型顾问报告中,不使用 Embedded Coder® 时,不会突出显示参数名称。

版本历史记录

在 R2020a 中推出