Stateflow中三种状态转移方式的区别(默认转移、外部转移、内部转移)


前言

Stateflow中有三种典型的状态转移方式:默认转移、外部转移、内部转移。
其中外部转移比较好理解,但是默认转移和内部转移之间的一些区别,在应用过程中稍不注意就会埋下“雷”。本文以在项目中踩到的雷为例,为大家区分Stateflow中的三种状态转移方式。


提示:以下是本篇文章正文内容,下面案例可供参考

一、让人头秃的自增循环

下面是我搭建的一个简单的demo,功能如下:
1、a为Local量,运行后,a进行自增。当a<10:此时b输出0。
2、当a自增至>=10时,b输出1。
以下为控制模型:
在这里插入图片描述
当我们对模型进行功能测试时,发现模型并不能实现预期功能,以下为模型输出:
在这里插入图片描述
我们发现模型中a并没有自增,b也没有实现状态跳转。
So,What heppened!

二、默认转移和内部转移的区别

其实简单理解,默认转移相当于en(entry),内部转移相当于du(during)。所以,上述模型等价于:
在这里插入图片描述
而Stateflow跳转的优先级:默认转移(entry)> 外部转移 > 内部转移(during)。
那么来梳理一下模型功能实现的逻辑:
1、a = 0;分支进行外部转移线1。
2、a = 0;分支进行外部转移线1。



n、a = 0;分支进行外部转移线1。

而实现a++的逻辑是要进入during才能触发的,所以这里陷入了ErrUp外部跳转线1的无限循环逻辑。
那我们如果想要实现a++的逻辑,就应该在ErrUp的外部转移之前对a进行自增。根据Stateflow跳转的优先级,此处应该用默认转移(entry)。

三、抛弃during追求entry

对模型进行修改如下:
在这里插入图片描述
运行结果:
在这里插入图片描述
我们看到a实现了自增,b最终输出为1。
由于entry和默认循环等价,我们也可以这样搭:
在这里插入图片描述
输出也是木有问题滴。

总结

在应用Stateflow的不同跳转方式时,一定要注意不同转移方式的差异点:
1、跳转优先级:默认转移(entry)> 外部转移 > 内部转移(during)
2、默认转移相当于entry
3、内部转移相当于during

在这里插入图片描述

评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值