主要内容

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

检查模型对象名称

mathworks.hism.hisl_0032

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0032:模型元素名称

说明

此检查验证 Simulink 组件模型元素和 System Composer™ 架构模型对象的名称是否符合您的建模规范或高完整性建模规范。

Simulink 组件模型元素System Composer 架构模型对象
  • 模块

  • 信号

  • 参数

  • 总线

  • Stateflow® 对象

  • 组件

  • 端口

  • 连接器

  • 接口

  • 构造型

该检查还会验证元素和对象名称是否不是这些保留名称:

  • MATLAB® 关键字

  • C 和 C++ 保留关键字列表见 保留关键字 (Simulink Coder)

  • int8int16int32int64

  • uint8uint16uint32uint64

  • epsinfInfinfinityintmaxintminnanNaNNilpirealmaxrealmin

检查参数

使用模型顾问配置编辑器,通过指定输入参数来定义分析范围。

参数描述

跟随链接

指定 Simulink 是否分析库链接块的内容。

on(默认)| off

查看封装内部

指定 Simulink 是否分析掩码子系统中的内容。

全部(默认)| | 图形 | 功能性

模块命名标准

检查是否存在与指定模块命名标准不符的模块名称。

on (默认) | off

禁止模块名称的正则表达式

指定自定义正则表达式以符合标准模块名称规范。默认正则表达式为:

(^.{32,}$)|([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$)(默认值)

信号命名标准

检查信号名称是否与指定的信号命名标准不符。

on (默认) | off

禁止信号名称的正则表达式

指定自定义正则表达式,以确保符合标准信号名称规范。默认正则表达式为:

(^.{32,}$)|([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$)(默认值)

参数命名标准

检查参数名称是否与指定的参数命名标准不符。

on (默认) | off

禁止参数名称的正则表达式

指定自定义正则表达式,以确保符合标准参数名称规范。默认正则表达式为:

(^.{32,}$)|([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$)(默认值)

总线元素命名标准

检查是否存在与指定的总线元件命名标准不符的总线元件名称。

on (默认) | off

禁止使用的总线元素名称的正则表达式

指定自定义正则表达式,以确保符合标准总线元件名称规范。默认正则表达式为:

(^.{32,}$)|([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$)(默认值)

Stateflow 对象命名标准

检查是否存在与指定的 Stateflow 对象命名标准不匹配的 Stateflow 对象名称。

on (默认) | off

禁止使用的 Stateflow 对象名称的正则表达式

指定自定义正则表达式,以符合标准 Stateflow 对象名称规范。默认正则表达式为:

(^.{32,}$)|([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$)(默认值)

System Composer 对象命名标准

检查是否存在与指定的 System Composer 对象命名标准不匹配的 System Composer 对象名称。此参数适用于所有 System Composer 架构模型对象。

on (默认) | off

禁止使用的 System Composer 对象名称的正则表达式

指定自定义正则表达式,以符合标准 System Composer 对象名称规范。默认正则表达式为:

(^.{32,}$)|([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$)(默认值)

忽略默认模块名称

指定是否从检查中排除默认模块名称。

off(默认)| on

默认的自定义正则表达式 (^.{32,}$)|([^a-zA-Z_0-9])|(^\d)|(^ )|(__)|(^_)|(_$) 验证模型元素和对象名称是否为有效的正则表达式(参阅 regexp)。

建议的行动和结果

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

建模条件建议的操作
模型元素或对象名称不符合输入参数中指定的命名标准。更新模型元素和对象名称,使其符合您的规范或高完整性规范。

功能和限制

  • 无法在库模型上运行。

  • 允许排除模块和图

  • 仅分析活动的变体选择

  • 执行模型编译

提示

在某些情况下,模型顾问会报告此检查的子检查存在问题。

版本历史记录

在 R2017b 中推出

全部展开