检查根输出端口是否存在缺少范围定义的端口
mathworks.hism.hisl_0026
依赖关系: Simulink® Check™
用法: 高完整性系统建模
规范: hisl_0026: Design min/max specification of output interfaces
说明
此检查会识别根级别的 Output 块，以查找缺失或错误的最小或最大范围值。
根级 Outport 块的 Simulink 模型缺少或存在错误的最小或最大范围值。
您可以使用模块参数或显式解析为连接的信号线的 Simulink 信号对象来指定 Outport 模块的最小值和最大值。
架构模型中根级输出端口和信号对象的最小值或最大值缺失或错误。
结果表提供了指向未通过检查的 Outport 块的链接，以及触发警告的条件。
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
模型包含 Outport 块，其数据类型为数值型，但缺少范围参数（最小值和/或最大值）。 | 对于结果中列出的 Outport 块和 Simulink 信号对象，指定标量最小值和最大值参数。 |
定义 Outport 块的总线对象具有缺少范围的叶子元素。 | 对于结果中列出的叶元素，要指定模型接口范围，请提供标量最小值和最大值参数。 |
总线数据类型不支持 Outports 或 Simulink 信号对象的最小值或最大值。在范围检查期间，这些值将被忽略。 | 要启用范围检查，请在定义数据类型的总线对象的叶子元素上指定最小和最大信号值。 |
模型包含具有继承总线数据类型的 Outport 模块或 Simulink 信号对象。 | 对于结果中列出的 Outport 块和 Simulink 信号对象，请指定以下支持的数据类型之一：
|
模型包含 Outport 模块信号名称，这些名称隐式地解析为基本工作空间、模型工作空间或 Simulink 数据字典中的 Simulink 信号对象。 | 对于结果中列出的 Simulink 信号对象，在“信号属性”对话框中选择信号名称必须解析为 Simulink 信号对象。要以编程方式设置此选项，请将端口参数 MustResolveToSignalObject 设置为 "on"。 |
| 架构模型的一个或多个输出端口缺少范围定义或范围定义错误。 | 结果中列出的输出端口所分配的数据接口缺少范围。向数据接口提供最小值和最大值。 |
功能和限制
当未设置最小值或最大值时，不会标记枚举数据类型或布尔数据类型的端口。
无法在库模型上运行。
无需模型编译
不支持架构模型中的排除项
不分析库链接块的内容
不分析掩码子系统中的内容
允许排除模块和图
支持编辑时检查
支持总线元件端口，并分析嵌套总线类型以确定范围规格。
注意
对于连接到总线元件端口的信号，不适用隐式解析为 Simulink 信号对象。
版本历史记录
在 R2018b 中推出
