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 Condition | Recommended 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 R2011aSee Also
Minimize algebraic loop occurrences | Never rebuild diagnostic | Rebuild | Single output/update function (Simulink Coder)
Topics
- Check Your Model Using the Model Advisor
- Address Model Check Results
- Save and View Model Advisor Check Reports
- Improve Simulation Performance Using Performance Advisor
- Upgrade Models Using Upgrade Advisor
- Use Model Advisor Configuration Editor to Customize Model Advisor
- Exclude Blocks from Model Advisor Check Analysis
- Justify Model Advisor Violations from Check Analysis
- Check Model Compliance Using Edit-Time Checking
- Generate Code for Model Reference Hierarchy (Simulink Coder)
- Algebraic Loop Concepts
- Algebraic Loops (Simulink Coder)
