Modeling Guidelines for Charts

When you develop models and generate code for charts, use the modeling guideline recommendations.

High-Integrity Systems Modeling Guidelines

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 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)

MathWorks Advisory Board (MAB) Modeling Guidelines

db_0127: Limitation on MATLAB commands in Stateflow blocks jc_0451: Use of unary minus on unsigned integers jc_0481: Use of hard equality comparisons for floating point numbers in Stateflow jc_0501: Format of entries in a State block jc_0511: Return values from a graphical function jc_0531: Default transition jm_0011: Pointers in Stateflow na_0001: Standard usage of Stateflow operators

For more information, see Model Advisor Checks for High-Integrity Modeling Guidelines and Model Advisor Checks for MAB and JMAAB Compliance (Simulink Check).