基于带连续变量的Statecharts的嵌入式系统模型

摘要：

　　随着嵌入式系统复杂度的增加，使用传统的离散事件的建模工具已经无法满足人们日益增长的需求。提出了一种带连续变量的Statecharts的建模方法和其Statechart项的表示形式，同时给出了其操作语义。最后以一个逃生控制系统为例，说明如何使用带连续变量的Statecharts对嵌入式系统进行建模与分析。

关键词： 连续变量 可视化语言 嵌入式系统 建模方法

作者: 黄骏虎 虞慧群

作者单位: 华东理工大学计算机科学与工程系 上海 200237

会议类型: 国内会议

会议名称: 2011全国软件与应用学术会议(NASAC2011)

会议地点: 长春

会议语种:中文

页码: 1-5

在线出版日期: 2011-10-28（万方平台首次上网日期，不代表论文的发表时间）