主要内容

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

检查根端口是否存在缺失属性

mathworks.hism.hisl_0024

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0024: Inport interface definition

说明

此检查会识别根级别的 Inport 块,以查找缺失或继承的采样时间、数据类型或端口尺寸。

  • Simulink 型号的根级 Inport 块缺少或继承了采样时间、数据类型或端口尺寸。

    使用未定义采样时间、数据类型或端口尺寸的根模型 Inport 模块可能会导致不理想的仿真结果。Simulink 会反向传播下游模块的尺寸、采样时间和数据类型,除非您显式地指定这些值。您可以使用模块参数指定 Inport 模块属性,或者使用 Simulink 信号对象显式地解析为连接的信号线。

  • 架构模型中缺少或继承数据类型或端口尺寸的根级输入端口。

运行检查时,结果表会提供指向未通过检查的 Inport 块和 Simulink 信号对象的链接,以及触发警告的条件。

建议的行动和结果

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

建模条件建议的操作

模型包含具有继承端口尺寸的 Inport 块。

对于结果中列出的 Inport 块和 Simulink 信号对象,指定端口尺寸。

模型包含具有继承数据类型的 Inport 块。

对于结果中列出的 Inport 块和 Simulink 信号对象,指定数据类型。

模型包含具有继承采样时间的 Inport 块。

对于结果中列出的 Inport 块和 Simulink 信号对象,指定采样时间。总线类型的根输入端口的采样时间必须与总线对象的叶子元素中指定的采样时间相匹配。

模型包含 Inport 模块信号名称,这些名称隐式地解析为基本工作空间、模型工作空间或 Simulink 数据字典中的 Simulink 信号对象。

对于结果中列出的 Simulink 信号对象,在“信号属性”对话框中选择信号名称必须解析为 Simulink 信号对象。要以编程方式设置此选项,请将端口参数 MustResolveToSignalObject 设置为 "on"
架构模型的一个或多个输入端口未分配数据接口。将数据接口分配给结果中列出的输入端口。

功能和限制

  • 如果配置参数求解器 > 周期性采样时间约束设置为确保采样时间独立,则当输入端口使用继承采样时间时,不会报告警告。

  • 对于导出函数模型,继承的采样时间不会被标记。

  • 无法在库模型上运行。

  • 无需模型编译

  • 不支持架构模型中的排除项

  • 不分析库链接块的内容

  • 不分析掩码子系统中的内容

  • 允许排除模块和图

  • 支持编辑时检查

  • 在验证总线元素端口的采样时间定义时,考虑总线对象的虚拟性

    注意

    对于连接到总线元件端口的信号,不适用隐式解析为 Simulink 信号对象。

版本历史记录

在 R2018b 中推出