模型驱动的安全关键系统重配置信息验证方法

发布时间：2018-10-30 17:37

【摘要】：近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。
[Abstract]:In recent years, in a class of security key applications represented by integrated modular avionics system (integrated modular avionics,IMA), ensuring the correctness of system reconfiguration information has become an important problem to ensure the safe and reliable operation of the system. This paper presents a modeling transformation and verification method for IMA system configuration information in accordance with ARINC653 specification under the model driven architecture. In view of the system characteristics of multiple real-time applications running in the form of time / space multi-partition on the IMA platform, the core elements (including modules, partitions, memory, processes) of the slave system configuration information are established. The semantic mapping rules to MARTE model elements are used to design a model driven architecture based system configuration information model transformation method. A framework for formal verification of the system configuration information MARTE model constructed by model transformation is also presented. Finally, an example is given to illustrate the effectiveness of this method in verifying the system configuration information after reconfiguration.
【作者单位】： 南京航空航天大学计算机科学与技术学院;南京大学计算机软件新技术国家重点实验室;
【分类号】：TP316.2

【相似文献】

相关会议论文 前9条

1 张媛媛;高琴;;模型驱动体系综述[A];节能环保 和谐发展——2007中国科协年会论文集（一）[C];2007年

2 谭文安;卢忠亚;杨峗;杨付军;;基于模型驱动的企业过程协同运作技术及其环境[A];第四届中国软件工程大会论文集[C];2007年

3 谌菲;曹万华;黄志刚;;舰载作战指挥系统模型驱动软件开发技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集（上册）[C];2006年

4 杨克巍;刘灿;熊健;姜江;谭跃进;;模型驱动的体系级任务结构矩阵设计及优化方法[A];中国系统工程学会第十八届学术年会论文集——A05系统工程理论应用与创新[C];2014年

5 牛彦杰;王智学;胡博;;基于模型驱动的指挥信息系统服务设计方法[A];社会经济发展转型与系统工程——中国系统工程学会第17届学术年会论文集[C];2012年

6 王学斌;陈翔;吴泉源;;基于模型驱动结构的电子商务开发平台设计与实现[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年

7 魏新;廖闻剑;;J2EE中的基于JWAY模型驱动的框架[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

8 宗建建;王峰;施寅生;;UML测试剖面技术研究与进展[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年

9 季一木;王汝传;;网格计算平台Gbuilder中模型驱动软件方法的研究[A];2005年全国理论计算机科学学术年会论文集[C];2005年

相关重要报纸文章 前6条

1 ;灵活访问模型驱动的服务[N];网络世界;2007年

2 Wayne Meikle 李雪;模型驱动降低金融信息服务风险[N];中国计算机报;2008年

3 易水;模型驱动的体系结构(2)[N];计算机世界;2006年

4 易水;模型驱动的体系结构(1)[N];计算机世界;2006年

5 刘江宁;实现信息孤岛集成[N];中国计算机报;2003年

6 刘涛;Accenture投资4.5亿美元发展SOA[N];电脑商报;2006年

相关博士学位论文 前7条

1 乔秀全;模型驱动的业务生成方法及业务智能化支撑技术研究[D];北京邮电大学;2007年

2 徐伟;模型驱动的城轨列车车载控制系统软件评估体系[D];中国铁道科学研究院;2014年

3 张俊;特征模型驱动的软件开发方法及相关技术研究[D];吉林大学;2010年

4 车颖;计算无关模型驱动的ERP系统重构关键技术研究[D];哈尔滨工业大学;2011年

5 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年

6 何可;威胁模型驱动的软件安全评估与测试方法的研究[D];天津大学;2010年

7 杨国青;基于模型驱动的汽车电子软件开发方法研究[D];浙江大学;2006年

相关硕士学位论文 前10条

1 张衡;基于模型驱动的平台开发研究与实现[D];长春理工大学;2013年

2 方乃钗;基于模型驱动的管理信息系统开发平台研究[D];南京航空航天大学;2009年

3 陈yN祺;模型驱动的信息系统开发[D];东南大学;2004年

4 刘万振;基于模型驱动的管理信息系统设计平台研究[D];大连理工大学;2006年

5 何弼;基于分层递阶的实时领域模型驱动建模方法研究[D];昆明理工大学;2014年

6 刘欣洋;复杂网络环境下基于模型驱动的软件进化方法研究[D];内蒙古大学;2011年

7 卢忠亚;基于模型驱动的工作流运作环境的研究[D];浙江师范大学;2007年

8 侯燕;模型驱动体系结构的应用研究[D];东南大学;2005年

9 高佳羽;模型驱动体系结构的研究及其应用[D];浙江大学;2007年

10 王志宝;基于模型驱动的企业应用软件开发方法研究[D];大庆石油学院;2007年

，

本文编号：2300704