Main Content

Check safety-related diagnostic settings for data used for debugging

Check ID: mathworks.hism.hisl_0305

Check model configuration for diagnostic settings that apply to data used for debugging and that can impact safety.

Description

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

Available with Simulink® Check™.

Results and Recommended Actions

ConditionRecommended Action
The diagnostic that enables model verification blocks is set to Use local settings or Enable all. Such blocks should be disabled because they are assertion blocks, which are for verification only. Model developers should not use assertions in embedded code. In the Configuration Parameters dialog box, set Model Verification block enabling or set parameter AssertControl to Disable All.

Action Results

Clicking Modify Settings configures model diagnostic settings that apply to data used for debugging and that can impact safety.

Capabilities and Limitations

  • Does not run on library models.

  • Does not allow exclusions of blocks or charts.

See Also