主要内容

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

检查缺少属性的根出端口

mathworks.hism.hisl_0077

自 R2022b 起

依赖关系: Simulink® Check™

用法: 高完整性系统建模

规范: hisl_0077:出站接口定义

说明

此检查会识别缺少属性设置的根 Outport 块。

  • 缺失或继承了 Simulink 模型采样时间、数据类型或端口尺寸的根 Outport 块。

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

  • 缺失的根 Output 端口,或者架构模型继承的数据类型或端口尺寸。

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

建议的行动和结果

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

建模条件建议的操作

模型包含缺失或继承端口尺寸的 Outport 块。

对于列出的 Outport 块和信号对象,指定端口尺寸。

模型包含缺失或继承数据类型的 Outport 块。

对于列出的 Outport 块和信号对象,指定数据类型。

模型包含缺失或继承采样时间的 Outport 块。

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

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

对于列出的信号对象,在属性对话框中,选择信号属性信号名称必须解析为 Simulink 信号对象。要以编程方式设置此选项,请使用端口参数 MustResolveToSignalObject
架构模型的输出端口没有分配数据接口。将数据接口分配给列出的输出端口。

功能和限制

  • 允许排除模块和图

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

  • 无法分析库链接模块的内容。

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

  • 编辑时检查支持

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

    注意

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

  • 无需模型编译

版本历史记录

在 R2022b 中推出