Main Content

Check safety-related diagnostic settings for parameters

Check ID: mathworks.hism.hisl_0302

Check model configuration for diagnostic settings that apply to parameters and that can impact safety.

Description

This check verifies that model diagnostic configuration parameters pertaining to parameters are set optimally for generating code for a safety-related application.

Available with Simulink® Check™.

Results and Recommended Actions

ConditionRecommended Action
The diagnostic that detects when a parameter downcast occurs is set to none or warning. A downcast to a lower signal range can result in numeric overflows of parameters, resulting in unexpected behavior. Set Detect downcast on the Diagnostics > Data Validity pane in the Configuration Parameters dialog box or set the parameter ParameterDowncastMsg to error.
The diagnostic that detects when a parameter underflow occurs is set to none or warning. When the data type of a parameter does not have enough resolution, the parameter value is zero instead of the specified value. This can lead to incorrect operation of generated code. Set Detect underflow on the Diagnostics > Data Validity pane in the Configuration Parameters dialog box or set the parameter ParameterUnderflowMsg to error.
The diagnostic that detects when a parameter overflow occurs is set to none or warning. Numeric overflows can result in unexpected application behavior and should be detected and fixed in safety-related applications. Set Detect overflow on the Diagnostics > Data Validity pane in the Configuration Parameters dialog box or set the parameter ParameterOverflowMsg to error.
The diagnostic that detects when a parameter loses precision is set to none or warning. Not detecting such errors can result in a parameter being set to an incorrect value in the generated code. Set Detect precision loss on the Diagnostics > Data Validity pane in the Configuration Parameters dialog box or set the parameter ParameterPrecisionLossMsg to error.
The diagnostic that detects when an expression with tunable variables is reduced to its numerical equivalent is set to none or warning. This can result in a tunable parameter unexpectedly not being tunable in generated code.Set Detect loss of tunability on the Diagnostics > Data Validity pane in the Configuration Parameters dialog box or set the parameter ParameterTunabilityLossMsg to error.

Action Results

Clicking Modify Settings configures model diagnostic settings that apply to parameters and that can impact safety.

Capabilities and Limitations

  • Does not run on library models.

  • Does not allow exclusions of blocks or charts.

See Also