基于MDE的AADL构件组合兼容的方法

发布时间：2018-01-09 11:37

  本文关键词：基于MDE的AADL构件组合兼容的方法　出处：《计算机工程与设计》2014年05期 　论文类型：期刊论文

  更多相关文章： 实时嵌入式系统 半形式化建模语言 体系结构分析与设计语言 模型驱动方法 接口自动机

【摘要】：实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
[Abstract]:Real time embedded system modeling language-architecture analysis and design language (AADL) is a semi-formal modeling language based on components, when AADL component model is combined. Because of the sequence mismatch of some interactive activities, component composition behavior is not compatible. In this paper, a AADL component combination compatibility method based on model-driven method (MDE) is proposed. AADL model is converted to interface automaton IA by using MDE heterogeneous model transformation framework. The compatibility of IA is verified by formal method. The component compatible running environment of IA model is constructed with IA Tool, and the constructed environment is mapped to AADL component. It can solve the behavior compatibility problem of AADL component composition.
【作者单位】： 南京中医药大学信息技术学院;南京大学信息管理学院;南京大学计算机科学与技术系;
【基金】：国家青年基金项目(61003025) 江苏省科技基金项目(BE2012184) 南京中医药大学青年自然科学基金项目(11XZR17)
【分类号】：TP368.1
【正文快照】： 0引言随着嵌入式系统的发展,其体系结构越来越复杂,而传统的嵌入式系统开发方法已经不能适应当前的需求,在此背景下,MDE(model driven engineering)[1]模型驱动方法被引入到工程开发之中。MDE强调开发全过程中模型的应用,将软件开发的重点从代码层提升到模型层。采用模型驱动

【相似文献】

相关期刊论文 前10条

1 江月明;实时嵌入式系统中DSP的选用[J];世界产品与技术;2003年09期

2 冯岩;;实时嵌入式系统中常用定时器算法比较[J];交通科技与经济;2009年04期

3 吴明慧;刘洋;;实时异构嵌入式系统在传感系统的应用[J];赤峰学院学报(自然科学版);2009年11期

4 尤文莉;基于RT-CORBA的实时嵌入式系统开发[J];舰船电子对抗;2004年03期

5 郑建华;李迪;肖舒华;苏兆港;;实时嵌入式系统形式化自动验证的研究与应用[J];制造业自动化;2007年09期

6 张明扬;邓万鹏;;基于Linux系统的USB主机接口设计与实现[J];沈阳师范大学学报(自然科学版);2008年03期

7 陈筠 ,桑楠 ,熊光泽;双机容错实时嵌入式系统设计与分析[J];单片机与嵌入式系统应用;2005年10期

8 陈筠;桑楠;熊光泽;;一种容错实时计算机体系结构的研究与实现[J];电子科技大学学报;2007年05期

9 龚志远;刘斌;杨顺昆;;实时嵌入式系统测试脚本模型化研究[J];测控技术;2010年06期

10 罗怡桂,栾静,顾君忠;混合实时嵌入式系统软硬件协同综合算法及其组件设计[J];计算机应用;2005年06期

相关会议论文 前4条

1 朱凯;谢敏;;浅谈实时嵌入式系统[A];广西计算机学会——2004年学术年会论文集[C];2004年

2 张科超;崔刚;;实时嵌入式系统中的双机热备份容错设计[A];第六届中国测试学术会议论文集[C];2010年

3 朱凯;谢敏;;浅谈实时嵌入式系统[A];广西计算机学会2004年学术年会论文集[C];2004年

4 张晶;王剑平;张果;张云生;;面向服务的实时分布嵌入式控制软件实现策略[A];第二十七届中国控制会议论文集[C];2008年

相关重要报纸文章 前4条

1 魏永明;轻量级种子选手[N];计算机世界;2002年

2 上海大学机电工程及自动化学院博士 刘锬;触摸屏校准程序设计[N];计算机世界;2006年

3 ;速度决定一切[N];中国计算机报;2002年

4 王飞跃;从ASOS到嵌入式系统[N];计算机世界;2003年

相关硕士学位论文 前10条

1 付玉;实时嵌入式系统软件自恢复技术研究[D];哈尔滨工程大学;2011年

2 胡在华;实时嵌入式系统的研究与应用[D];湖南大学;2002年

3 李霞;基于通用控制平台的VxWorks BSP设计与实现[D];湖南大学;2007年

4 赵震宇;硬实时调度抢占开销的在线优化策略及仿真实现[D];东北大学;2008年

5 时巍;电动公交车燃料电池发动机实时嵌入式系统的研究[D];沈阳工业大学;2007年

6 徐丙凤;基于接口自动机的嵌入式软件验证技术及支撑工具研究[D];南京航空航天大学;2009年

7 王永双;面向JAVA加速系统的SPARC-RTEMS驱动技术的研究[D];哈尔滨工业大学;2012年

8 赵明阳;基于嵌入式实时操作系统的软总线技术研究[D];南京航空航天大学;2011年

9 陈筠;嵌入式多处理器实时系统的容错研究与实现[D];电子科技大学;2006年

10 字天文;实时嵌入式软构件模型及构件组装方法研究[D];昆明理工大学;2009年

，

本文编号：1401261