Stateflow系统建模技术.pptVIP

精选2021版课件*流程图建模—转移冲突如果在同一个优先级中,具有两个合法的转移,在这种情况会触发一个转移冲突错误的警告信息。Stateflow通过几何的方法解决这样的问题:对于来自于一个节点的转移,按顺时针方向检测转移对于来自于一个状态的转移,从状态的左上角开始,检测转移新版本的stateflow可以自己设置转移执行的顺序精选2021版课件*流程图建模—流程图Stateflow图如果不包含任何状态就构成了一个流程图流程图主要是由转移和连接节点组成流程图并不包含任何存储器流程图一旦被触发,就会一直执行到退出为止在两个连续的触发之间,这个流程图是不活动的流程图在没有合法的转移分支的连接节点处执行结束精选2021版课件*流程图建模—终止节点终止节点就是连接节点,只不过该连接节点聚集了所有转移路径终止节点类似函数中的return声明在一个流程图中,必须要有一个无条件路径来终止连接,防止无穷递归在一个流程图中,以{}表示的条件动作仅仅是一个可执行的动作精选2021版课件*流程图建模—Ifelse结构Ifelse结构Ifelseifelse结构精选2021版课件*流程图建模—迭代循环结构for循环结构While循环结构精选2021版课件*流程图建模—临时数据vs局部数据状态图中的局部数据就相当于函数的全局变量：只有在状态图中，数据才可见当状态图第一次被激活时，局部数据为初值。随后在状态图被激活时，局部数据为前一次数值重新赋初值时，它的值必须要重置状态图中的临时数据对象就相当于函数中的一个局部变量它的值仅在状态图中可见永远从初值开始在状态图的以后激活的情况下，自动重置只有在无状态的状态图中临时数据才是有效的2009a版本中已没有临时数据类型？？？精选2021版课件*流程图建模—密码检测逻辑密码检测逻辑的要求:密码是具有四个数字的输入信号流程图应分别检测每个数字是否与预设的密码匹配把正确的密码数字声明为常量如果密码正确，则输出为1，否则为0见例exp10精选2021版课件*内容提要Stateflow入门介绍及基本概念创建状态图状态转移流程图建模状态图的层次并行机制精选2021版课件*状态图层次—概念当一个状态图具有第二层状态时就构成了层次高层次的状态就被称为父状态,而低层次的状态就被称为子状态状态图中允许拥有的状态层次的数目是没有任何限制的Stateflow允许在不同层次状态之间存在转移如果转移穿越了父状态的边界直接到达了低层次的子状态,则转移被称之为超转移子状态的各种对象仅仅父状态活动时,才有可能执行或者有效直接从父状态发出的转移,可以不用考虑具体哪一个子状态处于活动状态精选2021版课件*状态图层次—层次化转移在具有层次的状态之间转移时,一般转移路径的源头是从最内部的子状态出发,而终止于目标状态的最内部的子状态。例exp11精选2021版课件*状态图层次—使用层次的目的在状态图中使用层次有如下几个目的:使用层次，可以将相关的对象组合在一起，构成族群可以将一些通用的转移路径或者动作组合成为一个转移动作或路径，简化模型适当地使用层次，可以有效地缩减生成代码的大小，也能够提高程序执行的效率和可读性精选2021版课件*状态图层次—生成组合父状态需要将父状态组合起来，这样就可以作为一个整体对状态图进行移动、拷贝或者重新定义尺寸操作方法:右键单击父状态弹出快捷菜单，选择MakeContents子菜单下的Grouped命令或者左键双击父状态精选2021版课件*状态图层次—低层次默认转移第二个层次状态的默认转移决定了当父状态被激活时，具体哪一个子状态被激活思考下图？例exp11和exp12精选2021版课件*状态图层次—历史节点历史节点记录了在父状态退出活动状态时,具体哪一个子状态处于活动状态当父状态再次被激活时,如果子状态没有定义显性直接转移,则历史节点将使其记录的子状态处于活动状态。例exp13历史节点精选2021版课件*状态图层次—内部转移内部转移是指从父状态边缘内部出发,终止于子状态外边缘的转移,转移始终处于父状态的内部。例exp14精选2021版课件*状态图层次—层次转移测试优先权转移的测试从活动的父状态开始向外的转移首先被测试(level1)接着是内部转移(level2)然后从活动的子状态开始检测转移穿越父状态边缘的转移首先被检测(level3)然后是父状态内部