图建模规范

当您为图开发模型和生成代码时，请使用建模规范建议。

高完整性系统建模规范

hisf_0001: State Machine Type

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 咨询委员会 (MAB) 建模规范

db_0127：对 Stateflow 模块中 MATLAB 命令的限制

jc_0451：对无符号整数使用一元减法

jc_0481：Stateflow 中对浮点数使用硬相等性比较

jc_0501：State 模块中入口语句的格式

jc_0511：图形函数的返回值

jc_0531：默认转移

jm_0011：Stateflow 中的指针

na_0001：Stateflow 运算符的标准用法

有关详细信息，请参阅使用针对高完整性系统建模规范的模型顾问检查 (Simulink Check)和使用针对 JMAAB 建模规范的模型顾问检查 (Simulink Check)。