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

来源 :2011全国软件与应用学术会议(NASAC2011) | 被引量 : 0次 | 上传用户:deiseng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  随着嵌入式系统复杂度的增加,使用传统的离散事件的建模工具已经无法满足人们日益增长的需求。提出了一种带连续变量的Statecharts的建模方法和其Statechart项的表示形式,同时给出了其操作语义。最后以一个逃生控制系统为例,说明如何使用带连续变量的Statecharts对嵌入式系统进行建模与分析。
其他文献
  预应力多元积成材的提出,是根据木竹质胶合人造板存在的普遍缺陷以及通过实验研究而提出的一种新型的人造板结构模式。其目的:一是提高木竹质胶合人造板的性能,二是对胶合板
  简要介绍了全钢大模板的特点,概述了其更新换代的背景,并总结了在使用过程中存在的问题,同时从模板模数化、大模板的构造改进及质量要求等方面综述了对全钢大模板更新换代的
  测量是获取头相关传输函数(HRTF)的常用方法。由于不可避免的测量误差,即使是对同一测量对象,不同测量结果之间也会存在一定偏离。本文采用自由场均衡的方法,对比研究了三个
  近断层地震动是一种以脉冲型地面运动为最显著特点的地震动,表现出与一般远场地震动明显不同的性质。近十多年来在世界各地发生的几次大地震中收集到了大量近断层地震动的
  对A、B两种细粒度铁矿粉的造球及焙烧性进行了研究。结果表明,A铁精矿为以赤铁矿为主并含有磁铁矿的混合精矿粉,而B铁精矿为以磁铁矿为主的铁矿粉。同A铁矿粉相比,B铁矿粉容
  地震,风等外荷载引发桥梁工程破坏的事故频发,从而导致救灾工作常常不能及时和顺利的进行,进而加深次生灾害的影响。在生命线地震工程的研究中,桥梁抗震扮演着重要角色。对大
  提出一种附加阻尼器的核筒悬挂体系,利用静力弹塑性分析方法将梁、柱模型简化为质点系模型,并利用自编程序对三种结构(即没有附加阻尼器的结构、在主结构与悬挂子结构之间
  XML已经成为网络中信息表示和交互的重要标准,基于组件的软件系统在运行前需要在平台中进行部署并配置XML文档。由于XML文档允许自定义格式,不同的服务器厂商有特定的XML部
  需求分析是软件工程至关重要的活动之一,要求提供确定相关的业务需求的可操作、可度量、可测试的软件系统规约,并为最终确定软件系统的详细设计提供依据。传统的需求分析设
  反模式描述的是一种典型的不良设计,它通常会给系统带来负面的影响,如降低性能、可扩展性等。检测并消除其中存在的反模式实例可以有效提高系统质量。提出一种基于运行时体