Documentation
Search Help
Off-Canvas Navigation Menu Toggle Off-Canvas Navigation Menu Toggle
Documentation Home
Simulink
Modeling
Modeling Guidelines
High-Integrity System Modeling
Category
Simulink Block Considerations
Stateflow Chart Considerations
MATLAB Function and MATLAB Code Considerations
Configuration Parameter Considerations
Requirements Considerations
MISRA C:2012 Compliance Considerations
All
Examples
Functions
Blocks
Resources
All
Examples
Functions
Blocks
Stateflow
Chart Considerations
Stateflow
®
chart names, properties, and architecture
Modeling Guidelines
expand all
Naming Conventions
hisl_0031: Model file names
hisl_0032: Model object names
Chart Properties
hisf_0001: State Machine Type
hisf_0002: User-specified state/transition execution order
hisf_0009: Strong data typing (Simulink and Stateflow boundary)
hisf_0011: Stateflow debugging settings
Chart Architecture
hisf_0003: Usage of bitwise operations
hisf_0004: Usage of recursive behavior
hisf_0007: Usage of junction conditions (maintaining mutual exclusion)
hisf_0013: Usage of transition paths (crossing parallel state boundaries)
hisf_0014: Usage of transition paths (passing through states)
hisf_0015: Strong data typing (casting variables and parameters in expressions)
hisf_0016: Stateflow port names
hisf_0017: Stateflow data object scoping
Simulink Documentation
Examples
Blocks and Other Reference
Release Notes
PDF Documentation
Support
MATLAB Answers
Installation Help
Bug Reports
Product Requirements
Software Downloads