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_0011: Stateflow debugging settings hisf_0004: Protect against recursive function calls to improve code compliance 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 System Modeling Guidelines (Simulink Check) and Using Model Advisor Checks for JMAAB Modeling Guidelines (Simulink Check).