嵌入式系统之StateCharts
来源:互联网 发布:不得人知什么意思 编辑:程序博客网 时间:2024/04/28 05:37
说明模型(specification model):适合于复杂系统,可以对层次性和并发性建模。 通过条件来转换;与动作一起转换。(其实很像状态机)
状态说明:
基态(basic state):不包含其他状态的状态;超态(super state):包含其他状态的状态。
层次性:OR state。在超态A中,A被激活的话,那么A状态中有且只有一个状态处于激活。
并发性:AND-Super-State。当超态A被激活的话,那么A的所有状态都被激活。
树状表示(tree representation):
状态的集合:
基态(basic state):state;
OR超态(OR-Super-State):孩子的联合;
AND-Super-States:孩子的笛卡尔积。计算这些的时候要从叶到根。
状态的边:(edge label)
Events:直到下一个模型分析出现之前都存在;
conditions:直到被赋值之前都使得当前状态保持不变。
action:变量的赋值或者是事件的产生。
三个阶段的分析:
1、分析事件和条件的外部改变的影响;
2、计算在当前步骤下右边的赋值的转换;
3、激活转换,将新的值赋给变量。
对于StateCharts有一种称之为State diagram:
0 0
- 嵌入式系统之StateCharts
- 嵌入式系统开发之嵌入式开发工具
- 嵌入式系统质量之路
- 嵌入式系统学习之路
- 嵌入式系统之KPN网络图
- 嵌入式系统之Y-Chart
- 嵌入式系统设计师考试笔记之嵌入式系统基础知识
- 嵌入式系统设计师考试笔记之嵌入式系统基础知识
- [ARM嵌入式系统开发]第一章之嵌入式系统的软硬件
- 嵌入式系统设计师考试笔记之嵌入式系统基础知识
- 嵌入式系统设计师考试笔记之嵌入式系统基础知识
- 嵌入式系统基础知识------之嵌入式系统的硬件基础(1.3)
- 嵌入式系统之实时系统调度算法
- 以嵌入式系统设计师考试成绩,开始嵌入式博客之旅
- 嵌入式启动之二:资源宽裕型嵌入式系统
- 嵌入式系统基础知识------之嵌入式微处理器体系结构(1.2)
- 嵌入式系统基础知识------之嵌入式的硬件基础(1.3)
- 信庭嵌入式工作室-嵌入式Linux漫谈之Linux系统
- XP下 延迟启动某程序
- java的堆栈
- XP下 使用脚本,自动切换IP
- CGContextRef
- 优先级队列:PriorityQueue
- 嵌入式系统之StateCharts
- 生活管家APP 智能化统需联网
- io额温柔阿桑的肌肤
- Condition 条件变量,线程通信更高效的方式
- 阻塞队列和阻塞栈
- 风格和健康了
- solr知识
- Windows打包安装程序
- Java四种线程池的使用