检查带有索引信号的块的数据类型

mathworks.hism.hisl_0022

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0022: Data type selection for index signals

说明

此检查会识别具有索引信号的块，这些块的数据类型不是整数或枚举，并且位于索引值的范围内。

此检查适用于 Simulink 中的以下目标组件：

此检查允许对以下数据类型进行索引：

注意

索引向量的最大大小不能超过 int32 字节。有关详细信息，请参阅Maximum Size Limits of Simulink Models。

此检查适用于 Stateflow 中的状态和转换目标组件。

对于 Multiport Switch 块，校验和数据类型所需的最大预期数据端口数与以下模块设置相对应：

默认情况数据端口设置为最后一个数据端口，数据端口顺序设置为从 0 开始连续。检查所需的最大数据端口数为 DATA_TYPE_MAX + 2，数据类型为索引信号。
默认情况数据端口设置为最后一个数据端口，数据端口顺序设置为从 1 开始连续。检查所需的最大数据端口数为 DATA_TYPE_MAX + 2，数据类型为索引信号。
默认情况数据端口设置为附加数据端口，数据端口顺序设置为从 0 开始连续。检查所需的最大预期数据端口数为 DATA_TYPE_MAX + 1，数据类型为索引信号。
默认情况数据端口设置为附加数据端口，数据端口顺序设置为从 1 开始连续。检查所需的最大预期数据端口数为 DATA_TYPE_MAX，数据类型为索引信号。

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

参数	描述
检查模型中引用的 .m 文件	指定是否对模型中引用的 MATLAB^® 文件运行。 on（默认）\| off
跟随链接	指定是否将文库链接模块的内容纳入分析。 on（默认）\| off
查看封装内部	指定是否在分析中包含掩码模型元素。全部（默认）\| 无 \| 图形 \| 功能性全部 - 检查分析是否包含所有掩码模型元素。无 - 检查分析排除了已屏蔽的模型元素。图形 - 检查分析仅包括图形掩码模型元素。功能性 - 检查分析仅包括功能掩码模型元素。

参数

描述

检查模型中引用的 .m 文件

指定是否对模型中引用的 MATLAB^® 文件运行。

on（默认）| off

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无 | 图形 | 功能性

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

建模条件	建议的操作
模型中的一个或多个 Simulink 块具有索引信号的数据类型不是整数类型或枚举类型。	模块索引信号的数据类型更改为涵盖索引值范围的整数或枚举数据类型。
一个或多个 MATLAB 函数块的索引变量具有不合适的数据类型。	将索引变量的数据类型更改为涵盖索引值范围的整数或枚举数据类型。
模型中的一个或多个 Stateflow 图具有除整数类型或枚举类型之外的数据类型的索引变量。	将块的索引信号的数据类型更改为涵盖索引值范围的整数或枚举数据类型。

注意

在某些情况下，检查无法确定索引信号的数据类型。这些用例被标记为信息。