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

摘要

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