检查具有继承属性的 MATLAB Function 接口

R2026b

mathworks.hism.himl_0002

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: himl_0002:MATLAB 函数边界上的强数据定型

描述

此检查用于标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB^® 函数。

Elements under review:

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

参数描述

参数	描述
检查模型中引用的外部 .m 文件	指定是否对模型中引用的 MATLAB 文件运行检查。 `on`（默认）\| `off`
跟随链接	指定是否在分析中包含库链接模块的内容。 on（默认）\| off
查看封装内部	指定是否在分析中包含封装模型元素。 all（默认）\| none \| graphical \| functional all - 检查分析包含所有封装模型元素。 none - 检查分析排除封装模型元素。 graphical - 检查分析仅包含图形封装模型元素。 functional - 检查分析仅包含功能封装模型元素。

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

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

on（默认）| off

跟随链接

指定是否在分析中包含库链接模块的内容。

on（默认）| off

查看封装内部

指定是否在分析中包含封装模型元素。

all（默认）| none | graphical | functional

查看该检查所标记的违规以及用于修复问题的建议操作。应用更改后，请保存模型并重新运行检查分析。

建模条件	建议的操作
MATLAB 函数包含继承的接口。	显式定义结果中标识的 MATLAB 函数的输入端口、输出端口和参数的复/实性和数据类型属性。如果适用，使用 MATLAB Function 模块编辑器在属性检查器中进行以下修改：将复/实性更改为继承，或更改为 On 或 Off。将类型从继承：与 Simulink 相同，更改为显式类型。

建模条件

建议的操作

MATLAB 函数包含继承的接口。

显式定义结果中标识的 MATLAB 函数的输入端口、输出端口和参数的复/实性和数据类型属性。

如果适用，使用 MATLAB Function 模块编辑器在属性检查器中进行以下修改：

在 R2016a 中推出