Stateflow模型测试典型问题分享——不可达的分支

问题描述：

• Stateflow条件存在互斥情况，导致部分工况不可达。

造成的影响：

较多的互斥结构将无法满足ASIL C/D等级覆盖度要求，并存在安全隐患。

优化建议：

优化Stateflow条件，消除互斥影响，使用静态工具检测。如MXAM mes_slsf_1302规范，其要求同一源状态或结点的转换不应包含冗余的AND转换条件。

例如：

模型中的A条件存在互斥情况，MXAM运行后报告了此问题。

图 1 模型结构

图 2 报告的问题