Main Content

Check safety-related model referencing settings

Check ID: mathworks.hism.hisl_0037

Check model configuration for model referencing settings that can impact safety.

Description

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

This check requires Simulink® Check™ and Stateflow® licenses.

Results and Recommended Actions

ConditionRecommended Action
The referenced model is configured such that its target is rebuilt whenever you update, simulate, or generate code for the model, or if the Simulink software detects changes in known dependencies. These configuration settings can result in unnecessary regeneration of the code, resulting in changing only the date of the file and slowing down the build process when using model references. Set Rebuild on the Model Referencing pane in the Configuration Parameters dialog box or set the parameter UpdateModelReferenceTargets to Never or If any changes detected.
The diagnostic that detects whether a target needs to be rebuilt is set to None or Warn if targets require rebuild. For safety-related applications, an error should alert model developers that the parent and referenced models are inconsistent. This diagnostic parameter is available only if Rebuild is set to Never.Set the configuration parameter Never rebuild diagnostics on the Model Referencing pane in the Configuration Parameters dialog box or set the parameter CheckModelReferenceTargetMessage to error.
The model is configured to minimize algebraic loop occurrences. This configuration is incompatible with the recommended setting of Single output/update function for embedded systems code. In the Configuration Parameters dialog box, set Minimize algebraic loop occurrences or set parameter ModelReferenceMinAlgLoopOccurrences to off.

Capabilities and Limitations

  • Does not run on library models.

  • Does not allow exclusions of blocks or charts.

  • Provides auto fix option.

See Also