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