Check usage of the Saturation blocks
Guideline: jc_0628: Usage of Saturation blocks
This check identifies:
The Saturation or Saturation Dynamic blocks with any type casting operations. The check compares that the compiled input and output data types match or checks that Output data type is set to Inherit: Same as input and Inherit: Same as second input for Saturation and Saturation Dynamic blocks respectively.
If the upper limit is not set to less the maximum value of the output data type (intmax, realmax) and the lower limit is not set to greater than the minimum value of the output data type (intmin, -realmax).
This check requires a Simulink® Check™ license.
This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.
For reference, the MAB guideline sub ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:
NA-MAAB — a
JMAAB — a
Results and Recommended Actions
|The input and output data types are different.||Set the Output data type to Inherit: Same as input and Inherit: Same as second input for the Saturation and Saturation Dynamic blocks, respectively.|
|The upper limit and lower limit values of the blocks are not set to adhered values.|
Do any of the following:
Capabilities and Limitations
Runs on library models.
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to
Allows exclusions of blocks and charts.