Main Content

Check safety-related model referencing settings

mathworks.hism.hisl_0037

Dependencies: Simulink® Check™ and Stateflow®

Usage: High-Integrity System Modeling

Guideline: hisl_0037: Configuration Parameters > Model Referencing

Description

This check verifies that model configuration parameters use optimal parameter settings for model referencing when generating code for a safety-related application.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

Modeling ConditionRecommended Action
Referenced model is configured for target to be rebuilt when you update, simulate, or generate code for model, or if the Simulink software detects changes in known dependencies.Prevent regeneration of the code, which results in only the date of the file changing and slower build processing. Set the model configuration parameter Rebuild to Never or If changes detected or set UpdateModelReferenceTargets to "Never" or "If changes detected" by using set_param.
Simulink does not report an error when it detects that the target needs to be rebuilt.For safety-related applications, configure the model to report an error to alert model developers that the parent and referenced models are inconsistent. Set the model configuration parameter Rebuild to Never and Never rebuild diagnostic to Error if rebuild required or set UpdateModelReferenceTargets to "Never" and CheckModelReferenceTargetMessage to "error" by using set_param.
Model is configured to minimize algebraic loop occurrences.Optimize model configuration for generating embedded systems code by selecting the model configuration parameter Single output/update function (Simulink Coder) and clearing Minimize algebraic loop occurrences or by setting CombineOutputUpdateFcns to 'on' and ModelReferenceMinAlgLoopOccurrences to 'off' by using set_param.

Capabilities and Limitations

  • Does not run on library models

  • Does not allow exclusions of blocks or charts

  • Provides auto fix option

  • Does not require model compilation

  • Does not analyze the content of library-linked blocks

Version History

Introduced in R2011a

expand all