【摘要】：近年來,在以綜合模塊化航電系統(tǒng)(integrated modular avionics,IMA)為代表的一類安全關(guān)鍵應(yīng)用中,確保系統(tǒng)重配置信息的正確性成為保證系統(tǒng)安全可靠運(yùn)行的一個(gè)重要問題。提出了一種模型驅(qū)動(dòng)架構(gòu)下符合ARINC653規(guī)范的IMA系統(tǒng)配置信息的建模轉(zhuǎn)換與驗(yàn)證方法。針對(duì)多個(gè)實(shí)時(shí)應(yīng)用在IMA平臺(tái)上以時(shí)間/空間多分區(qū)形式運(yùn)行的系統(tǒng)特征,建立了從系統(tǒng)配置信息的核心元素(包括模塊、分區(qū)、內(nèi)存、進(jìn)程、通信等)到MARTE模型元素的語(yǔ)義映射規(guī)則,設(shè)計(jì)了基于模型驅(qū)動(dòng)架構(gòu)的系統(tǒng)配置信息模型轉(zhuǎn)換的方法,并給出了一種對(duì)模型轉(zhuǎn)換構(gòu)造得到的系統(tǒng)配置信息MARTE模型進(jìn)行形式化驗(yàn)證的框架。最后,通過一個(gè)實(shí)例分析說明了此方法對(duì)驗(yàn)證重配置后系統(tǒng)配置信息的有效性。
[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.
【作者單位】： 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【分類號(hào)】：TP316.2

【相似文獻(xiàn)】

相關(guān)會(huì)議論文 前9條

1 張媛媛;高琴;;模型驅(qū)動(dòng)體系綜述[A];節(jié)能環(huán)保 和諧發(fā)展——2007中國(guó)科協(xié)年會(huì)論文集（一）[C];2007年

2 譚文安;盧忠亞;楊峗;楊付軍;;基于模型驅(qū)動(dòng)的企業(yè)過程協(xié)同運(yùn)作技術(shù)及其環(huán)境[A];第四屆中國(guó)軟件工程大會(huì)論文集[C];2007年

3 諶菲;曹萬華;黃志剛;;艦載作戰(zhàn)指揮系統(tǒng)模型驅(qū)動(dòng)軟件開發(fā)技術(shù)研究[A];中國(guó)造船工程學(xué)會(huì)電子技術(shù)學(xué)術(shù)委員會(huì)2006學(xué)術(shù)年會(huì)論文集（上冊(cè)）[C];2006年

4 楊克巍;劉燦;熊健;姜江;譚躍進(jìn);;模型驅(qū)動(dòng)的體系級(jí)任務(wù)結(jié)構(gòu)矩陣設(shè)計(jì)及優(yōu)化方法[A];中國(guó)系統(tǒng)工程學(xué)會(huì)第十八屆學(xué)術(shù)年會(huì)論文集——A05系統(tǒng)工程理論應(yīng)用與創(chuàng)新[C];2014年

5 牛彥杰;王智學(xué);胡博;;基于模型驅(qū)動(dòng)的指揮信息系統(tǒng)服務(wù)設(shè)計(jì)方法[A];社會(huì)經(jīng)濟(jì)發(fā)展轉(zhuǎn)型與系統(tǒng)工程——中國(guó)系統(tǒng)工程學(xué)會(huì)第17屆學(xué)術(shù)年會(huì)論文集[C];2012年

6 王學(xué)斌;陳翔;吳泉源;;基于模型驅(qū)動(dòng)結(jié)構(gòu)的電子商務(wù)開發(fā)平臺(tái)設(shè)計(jì)與實(shí)現(xiàn)[A];第二十一屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2004年

7 魏新;廖聞劍;;J2EE中的基于JWAY模型驅(qū)動(dòng)的框架[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

8 宗建建;王峰;施寅生;;UML測(cè)試剖面技術(shù)研究與進(jìn)展[A];第十四屆全國(guó)容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議(CFTC'2011)論文集[C];2011年

9 季一木;王汝傳;;網(wǎng)格計(jì)算平臺(tái)Gbuilder中模型驅(qū)動(dòng)軟件方法的研究[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

相關(guān)重要報(bào)紙文章 前6條

1 ;靈活訪問模型驅(qū)動(dòng)的服務(wù)[N];網(wǎng)絡(luò)世界;2007年

2 Wayne Meikle 李雪;模型驅(qū)動(dòng)降低金融信息服務(wù)風(fēng)險(xiǎn)[N];中國(guó)計(jì)算機(jī)報(bào);2008年

3 易水;模型驅(qū)動(dòng)的體系結(jié)構(gòu)(2)[N];計(jì)算機(jī)世界;2006年

4 易水;模型驅(qū)動(dòng)的體系結(jié)構(gòu)(1)[N];計(jì)算機(jī)世界;2006年

5 劉江寧;實(shí)現(xiàn)信息孤島集成[N];中國(guó)計(jì)算機(jī)報(bào);2003年

6 劉濤;Accenture投資4.5億美元發(fā)展SOA[N];電腦商報(bào);2006年

相關(guān)博士學(xué)位論文 前7條

1 喬秀全;模型驅(qū)動(dòng)的業(yè)務(wù)生成方法及業(yè)務(wù)智能化支撐技術(shù)研究[D];北京郵電大學(xué);2007年

2 徐偉;模型驅(qū)動(dòng)的城軌列車車載控制系統(tǒng)軟件評(píng)估體系[D];中國(guó)鐵道科學(xué)研究院;2014年

3 張俊;特征模型驅(qū)動(dòng)的軟件開發(fā)方法及相關(guān)技術(shù)研究[D];吉林大學(xué);2010年

4 車穎;計(jì)算無關(guān)模型驅(qū)動(dòng)的ERP系統(tǒng)重構(gòu)關(guān)鍵技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2011年

5 陳文智;Pcanel——基于模型驅(qū)動(dòng)的嵌入式系統(tǒng)設(shè)計(jì)平臺(tái)[D];浙江大學(xué);2005年

6 何可;威脅模型驅(qū)動(dòng)的軟件安全評(píng)估與測(cè)試方法的研究[D];天津大學(xué);2010年

7 楊國(guó)青;基于模型驅(qū)動(dòng)的汽車電子軟件開發(fā)方法研究[D];浙江大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 張衡;基于模型驅(qū)動(dòng)的平臺(tái)開發(fā)研究與實(shí)現(xiàn)[D];長(zhǎng)春理工大學(xué);2013年

2 方乃釵;基于模型驅(qū)動(dòng)的管理信息系統(tǒng)開發(fā)平臺(tái)研究[D];南京航空航天大學(xué);2009年

3 陳yN祺;模型驅(qū)動(dòng)的信息系統(tǒng)開發(fā)[D];東南大學(xué);2004年

4 劉萬振;基于模型驅(qū)動(dòng)的管理信息系統(tǒng)設(shè)計(jì)平臺(tái)研究[D];大連理工大學(xué);2006年

5 何弼;基于分層遞階的實(shí)時(shí)領(lǐng)域模型驅(qū)動(dòng)建模方法研究[D];昆明理工大學(xué);2014年

6 劉欣洋;復(fù)雜網(wǎng)絡(luò)環(huán)境下基于模型驅(qū)動(dòng)的軟件進(jìn)化方法研究[D];內(nèi)蒙古大學(xué);2011年

7 盧忠亞;基于模型驅(qū)動(dòng)的工作流運(yùn)作環(huán)境的研究[D];浙江師范大學(xué);2007年

8 侯燕;模型驅(qū)動(dòng)體系結(jié)構(gòu)的應(yīng)用研究[D];東南大學(xué);2005年

9 高佳羽;模型驅(qū)動(dòng)體系結(jié)構(gòu)的研究及其應(yīng)用[D];浙江大學(xué);2007年

10 王志寶;基于模型驅(qū)動(dòng)的企業(yè)應(yīng)用軟件開發(fā)方法研究[D];大慶石油學(xué)院;2007年

，

本文編號(hào)：2300704