检查 Abs 模块的使用

mathworks.hism.hisl_0001

依赖关系: Simulink^® Check™

用法: 高完整性系统建模

规范: hisl_0001:Abs 模块的使用

说明

使用此检查来检查 Abs 模块的使用情况。

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

参数	描述
跟随链接	指定是否将文库链接模块的内容纳入分析。 on（默认）\| off
查看封装内部	指定是否在分析中包含掩码模型元素。全部（默认）\| 无 \| 图形 \| 功能性全部 - 检查分析是否包含所有掩码模型元素。无 - 检查分析排除了已屏蔽的模型元素。图形 - 检查分析仅包括图形掩码模型元素。功能性 - 检查分析仅包括功能掩码模型元素。

参数

描述

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无 | 图形 | 功能性

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

建模条件	建议的操作
该模型或子系统包含一个 Abs 模块，该模块对以下对象之一进行操作：输入数据类型可以是布尔值或无符号值。这种情况会导致模型中出现无法访问的仿真路径，并可能导致代码无法访问。已取消选中对整数溢出进行饱和处理复选框的有符号整数值。对于有符号数据类型，距离零最远的负值的绝对值是有问题的，因为它无法用该数据类型表示。这种情况会导致生成的代码溢出。	如果识别出的 Abs 模块正在操作布尔值或无符号数据类型，则执行以下操作之一：将 Abs 模块的输入更改为有符号输入类型。从模型中移除 Abs 模块。如果已识别的 Abs 模块正在对有符号数据类型进行操作，则在“模块参数”对话框的信号属性选项卡上，选择对整数溢出进行饱和处理。

建模条件

建议的操作

该模型或子系统包含一个 Abs 模块，该模块对以下对象之一进行操作：

输入数据类型可以是布尔值或无符号值。这种情况会导致模型中出现无法访问的仿真路径，并可能导致代码无法访问。
已取消选中对整数溢出进行饱和处理复选框的有符号整数值。对于有符号数据类型，距离零最远的负值的绝对值是有问题的，因为它无法用该数据类型表示。这种情况会导致生成的代码溢出。

如果识别出的 Abs 模块正在操作布尔值或无符号数据类型，则执行以下操作之一：

如果已识别的 Abs 模块正在对有符号数据类型进行操作，则在“模块参数”对话框的信号属性选项卡上，选择对整数溢出进行饱和处理。