邓惠敏
- 作品数：4 被引量：11H指数：2
- 供职机构：广东工业大学更多>>
- 发文基金：国家自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于CPS的实时系统的面向方面的MDA方法
- 随着实时系统的广泛应用,尤其是Cyber-Physical网络环境概念的提出,使得信息物理融合系统(CPS)成为了当前研究的热点。CPS具有实时性、并发性、分布性、可靠性、安全性、容错性等非功能特性,这些非功能特性横切于...
- 邓惠敏
- 关键词：实时系统网络环境模型驱动架构软件开发
- 文献传递
- 基于通信序列进程的UML序列图形式化方法被引量：1
- 2010年
- UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义,所以不利于对其所描述的系统进行形式化验证。为此,根据UML2.0语义文档及组合碎片包概念,基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则,实现了UML序列图的形式化,为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法。最后通过ATM实例说明UML序列图这一过程的正确性。
- 邓建波张立臣邓惠敏徐碧红
- 关键词：形式语义
- 异构分布式系统混合型实时容错调度算法被引量：6
- 2011年
- 基/副版本技术是实现实时分布式系统容错的一个重要手段。提出了一种异构分布式混合型容错模型,该模型与传统的异构分布式实时调度模型相比同时考虑了周期和非周期调度任务。在此基础上给出3种容错调度算法:以可调度性为目的SSA算法、以可靠性为目的RSA算法、以负载均衡性为目的BSA算法。算法能够在异构系统中同时调度具有周期和非周期容错需求的实时任务,且能够保证在异构系统中某节点机失效情况下,实时任务仍然能在截止时间内完成。最后从可调度性、可靠性代价、负载均衡性、周期与非周期任务数及任务周期与粒度5个方面对算法进行了分析。模拟实验结果显示算法各有优缺点,所以在选择调度算法时应该根据异构系统的特点来选择。
- 邓建波张立臣邓惠敏
- 关键词：异构分布式可调度性
- 基于面向方面和UML的实时系统建模研究被引量：3
- 2010年
- 利用面向方面的编程思想,在实时系统设计的需求分析阶段分离系统的功能性核心关注点和非功能性横切关注点,并着重对系统的非功能性等横切性关注点进行分析。通过扩展UML对实时系统时间切面建模,讨论了时间方面织入过程,利用AspectJ对建模的结果进行简单的编码实现。通过实际ATM自动提款机的实际例子说明如何在实时系统开发中运用这些技术进行系统建模和实现,充分显示了这些技术对实时系统进行分析建模的优越性。
- 邓惠敏张立臣邓建波
- 关键词：实时系统横切关注点统一建模语言
