Check diagnostic settings for incorrect calculation results

Check ID: mathworks.jmaab.jc_0806

Guideline: jc_0806: Detecting incorrect calculation results

• MAB v5.0

• JMAAB v5.1

Description

Identifies the status of the configuration parameters of the data validity diagnostic settings which detect incorrect calculation results.

This check requires a Simulink^® Check™ license.

Check Parameterization

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 NA-MAAB and JMAAB modeling standards organizations recommend are:

• NA-MAAB — a

• JMAAB — a

Results and Recommended Actions

Condition	Recommended Action
The model configuration parameter Division by singular matrix (CheckMatrixSingularityMsg) is not set to error.	Set the input parameter value to error.
The model configuration parameter Inf or NaN block output (SignalInfNanChecking) is not set to error.	Set the input parameter value to error.
The model configuration parameter Wrap on overflow (IntegerOverflowMsg) is not set to error.	Set the input parameter value to error.
The model configuration parameter Saturate on overflow (IntegerSaturationMsg) is not set to error.	Set the input parameter value to error.

Capabilities and Limitations

• This check does not have additional capabilities or limitations.