AADL2ECPN模型转换方法及其在IMA上的应用

发布时间：2017-10-12 12:07

  本文关键词：AADL2ECPN模型转换方法及其在IMA上的应用

  更多相关文章： 架构分析和设计语言(AADL) 着色Petri网(CPN) 资源分配 综合模块化航空电子(IMA) 模型转换

【摘要】：在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。
【作者单位】： 中国航空无线电电子研究所航空电子系统综合技术重点实验室;北京航空航天大学可靠性与系统工程学院;
【关键词】： 架构分析和设计语言(AADL) 着色Petri网(CPN) 资源分配 综合模块化航空电子(IMA) 模型转换
【基金】：国防基础科学研究计划(JCKY2013205C003)~~
【分类号】：V243;TP301.1
【正文快照】： 网络出版地址:www.cnki.net/kcms/detail/11.2625.V.20151217.1133.014.html引用格式:刘畅,谷涛,周庆,等.AADL2ECPN模型转换方法及其在IMA上的应用[J].北京航空航天大学学报,2016,42(9):1884-1891.LIU C,GU T,ZHOU Q,et al.Model transformation method from AADL2ECPN and it

【相似文献】

中国期刊全文数据库 前10条

1 郑建华;李迪;肖苏华;;访问者设计模式在模型转换中的应用研究[J];制造业自动化;2008年11期

2 朱蓓蓓,徐建闽,周其节;两连杆柔性前臂机器人的模型转换[J];华南理工大学学报(自然科学版);1997年12期

3 林哲;;类图-过程蓝图联合模型转换研究[J];北京联合大学学报(自然科学版);2012年02期

4 郑建华;李迪;肖苏华;李方;;用于计算机数控系统模型层验证的模型转换[J];华南理工大学学报(自然科学版);2009年04期

5 沈磊;李敬学;陶勇;彭俊;;Midas Gen To SAP2000模型转换技术在铁路站房工程中的应用[J];铁道标准设计;2014年07期

6 王轲;范忠华;党西军;;基于模态试验与优化的静动力学模型转换[J];振动工程学报;2012年01期

7 战洪飞,顾新建,祁连,金勇华,吴昭同;基于Internet的企业建模系统中的模型转换[J];机电工程;1999年05期

8 杜浩;蒋波;;对象约束语言在MDA模型转换中的应用[J];交通与计算机;2006年01期

9 袁润;李亚洲;胡丽琴;王海涛;高峰;吴宜灿;FDS团队;;RiskA事件树模型转换模块的研发[J];核科学与工程;2008年02期

10 陈海波;赵伟华;;基于模型转换的通信协议自动分析[J];机电工程;2009年05期

中国重要会议论文全文数据库 前8条

1 陈捷捷;李翔;林锐;;一种基于Foran的轻量模型转换方法研究[A];第十四届中国科协年会第5分会场：绿色船舶与海洋装备创新发展及产业化论坛论文集[C];2012年

2 刘超;唐涛;;基于Epsilon的列控系统模型转换及规范验证[A];中国自动化学会控制理论专业委员会B卷[C];2011年

3 李华;赵劲松;汪丛军;;基于数据库的有限元模型转换研究与应用[A];工程三维模型与虚拟现实表现——第二届工程建设计算机应用创新论坛论文集[C];2009年

4 姜彩玉;叶锋;许文庆;姜彬;;IEC61850的变电站模型与IEC61970主站模型转换[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年

5 白海;;基于EMF的MDA模型转换研究及应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

6 龚刚;Willi Semmler;;随机动态优化模型的近似解法[A];21世纪数量经济学（第4卷）[C];2003年

7 张海鹏;韩端锋;何宝;;异构CAD船体模型转换技术研究[A];七届更迭 三十回眸——第七届船舶力学学术委员会全体会议论文集[C];2010年

8 苗林;金涛;王建民;;XPDL模型到WWF模型转换技术的研究[A];第26届中国数据库学术会议论文集（B辑）[C];2009年

中国博士学位论文全文数据库 前7条

1 李晋;MDA框架下基于语义保持的大粒度模型转换方法研究[D];哈尔滨工业大学;2014年

2 王学斌;软件工程中基于模型驱动架构的模型转换技术研究[D];国防科学技术大学;2006年

3 马坤;模型驱动架构下模型及模型转换方法关键问题研究[D];山东大学;2011年

4 张敏;固定式海洋结构模型转换与动力特性研究[D];中国海洋大学;2010年

5 王彬;基于实时语义模型的模型转换及语义一致性研究[D];昆明理工大学;2011年

6 王洪媛;UML行为模型之间模型转换的研究[D];吉林大学;2007年

7 彭君;领域软件开发中体系结构元模型及模型转换方法研究[D];吉林大学;2010年

中国硕士学位论文全文数据库 前10条

1 李超;模型转换技术在UML机械语义生成中的应用研究[D];华东师范大学;2015年

2 王宁波;基于QVT的MOF模型转换技术的研究与实现[D];中国石油大学(华东);2014年

3 黄小浦;基于MDE模型转换的若干研究[D];南京大学;2013年

4 刘峥峥;使用图转换理论的模型转换一致性研究[D];中国科学技术大学;2010年

5 汪洋;支持动作语义映射的模型转换方法研究[D];东北师范大学;2012年

6 刘家红;电子商务开发平台中基于模式的模型转换框架研究与实现[D];国防科学技术大学;2004年

7 沈慧勇;基于语义一致性的模型转换方法及应用[D];山东大学;2007年

8 赵萍;模型驱动系统中模型转换技术的研究[D];哈尔滨工程大学;2010年

9 黄瑞情;消息传递模型转换机制的研究与实现[D];北京邮电大学;2015年

10 吉鸣;基于模型转换的实时软件资源建模与验证的方法研究[D];南京航空航天大学;2010年

，

本文编号：1018609