Check usage of Abs blocks

Check ID: mathworks.hism.hisl_0001

Identify usage of Math Operation blocks that might impact safety.

Description

This check inspects the usage of the Abs block.

Available with Simulink^® Check™.

Results and Recommended Actions

Condition	Recommended Action
The model or subsystem contains an Absolute Value block that is operating on one of the following: A boolean or an unsigned input data type. This condition results in unreachable simulation pathways through the model and might result in unreachable code A signed integer value with the Saturate on integer overflow check box not selected. For signed data types, the absolute value of the most negative value is problematic because it is not representable by the data type. This condition results in an overflow in the generated code.	If the identified Absolute Value block is operating on a boolean or unsigned data type, do one of the following: Change the input of the Absolute Value block to a signed input type. Remove the Absolute Value block from the model. If the identified Absolute Value block is operating on a signed data type, in the Block Parameters > Signal Attributes dialog box, select Saturate on integer overflow.

Condition

Recommended Action

The model or subsystem contains an Absolute Value block that is operating on one of the following:

A boolean or an unsigned input data type. This condition results in unreachable simulation pathways through the model and might result in unreachable code
A signed integer value with the Saturate on integer overflow check box not selected. For signed data types, the absolute value of the most negative value is problematic because it is not representable by the data type. This condition results in an overflow in the generated code.

If the identified Absolute Value block is operating on a boolean or unsigned data type, do one of the following:

Change the input of the Absolute Value block to a signed input type.
Remove the Absolute Value block from the model.

If the identified Absolute Value block is operating on a signed data type, in the Block Parameters > Signal Attributes dialog box, select Saturate on integer overflow.

Capabilities and Limitations

Does not run on library models.
Analyzes content of library linked blocks.
Analyzes content in all masked subsystems.
Allows exclusions of blocks and charts.