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
Condition | Recommended 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.