Check scoping of Stateflow data objects
mathworks.hism.hisf_0017
Dependencies: Simulink® Check™ and Stateflow®
Usage: High-Integrity System Modeling
Guideline: hisf_0017: Stateflow data object scoping
Description
Use this check to identify Stateflow data objects with local scope that are not scoped at the chart level or below.
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 |
|---|---|
| One or more Stateflow data objects with local scope are not defined at the chart level or below. | Make sure to define all the Stateflow data objects with local scope at the chart level or below. |
Capabilities and Limitations
Does not analyze content of library-linked blocks
Does not analyze the content in masked subsystems
Allows exclusions of blocks and charts
Does not require model compilation
Version History
Introduced in R2020a
See Also
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
