检查 Stateflow 图中事件的使用

检查 ID：mathworks.jmaab.jm_0012

规范：jm_0012：事件和广播事件的使用限制

检查 Stateflow^® 中可能在仿真期间导致递归并生成低效代码的无向事件广播。

此检查需要 Simulink^® Check™ 和 Stateflow 许可证。

此检查包含与 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。

作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的规范子 ID 为：

注意

子检查 jm_0012_a1 默认选中。

规范子 ID	条件	建议的操作
jm_0012_a1：检查 Stateflow 事件是否仅在 Stateflow 模块的输出中使用	Stateflow 事件未用在 Stateflow 模块的输出中。	将上述列出的 Stateflow 事件的作用域更改为输出。
jm_0012_a2：检查 Stateflow 广播事件是否使用 "send" 语法进行定向	Stateflow 广播事件未使用 "send" 语法发送。	使用 "send(event_name, state_name)" 语法广播 Stateflow 事件。
jm_0012_a3：检查 Stateflow 广播事件是否使用限定的事件名称定向	Stateflow 事件未使用限定的事件名称进行定向。	使用 "send(state_name.event_name)" 语法广播 Stateflow 事件。