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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

2 Wayne Meikle 李雪;模型驅(qū)動降低金融信息服務(wù)風險[N];中國計算機報;2008年

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

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

5 劉江寧;實現(xiàn)信息孤島集成[N];中國計算機報;2003年

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

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

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

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

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

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

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

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

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

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

1 張衡;基于模型驅(qū)動的平臺開發(fā)研究與實現(xiàn)[D];長春理工大學;2013年

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

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

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

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

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

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

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

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

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

，

本文編號：2300704