Check diagnostic settings for incorrect calculation results
Check ID:
mathworks.jmaab.jc_0806
Guideline: jc_0806: Detecting incorrect calculation results
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.