本文關(guān)鍵詞：AADL2ECPN模型轉(zhuǎn)換方法及其在IMA上的應(yīng)用

  更多相關(guān)文章： 架構(gòu)分析和設(shè)計語言(AADL) 著色Petri網(wǎng)(CPN) 資源分配 綜合模塊化航空電子(IMA) 模型轉(zhuǎn)換

【摘要】：在綜合模塊化航空電子(IMA)系統(tǒng)應(yīng)用集成的過程中,對IMA系統(tǒng)的資源配置建模和安全性分析至關(guān)重要。首先利用模型轉(zhuǎn)換的方法,提出一套從架構(gòu)分析和設(shè)計語言(AADL)模型到擴(kuò)展著色Petri網(wǎng)(ECPN)模型的轉(zhuǎn)換規(guī)則,將AADL模型轉(zhuǎn)換為ECPN模型,并且確保在模型轉(zhuǎn)換過程中不丟失任何關(guān)鍵資源建模元素;然后基于目標(biāo)模型進(jìn)行后續(xù)的安全性分析研究;最后用一個簡單例子演示如何應(yīng)用提出的模型轉(zhuǎn)換方法。結(jié)果表明,AADL2ECPN模型轉(zhuǎn)換方法分析IMA系統(tǒng)安全性的可行性。
【作者單位】： 中國航空無線電電子研究所航空電子系統(tǒng)綜合技術(shù)重點(diǎn)實(shí)驗(yàn)室;北京航空航天大學(xué)可靠性與系統(tǒng)工程學(xué)院;
【關(guān)鍵詞】： 架構(gòu)分析和設(shè)計語言(AADL) 著色Petri網(wǎng)(CPN) 資源分配 綜合模塊化航空電子(IMA) 模型轉(zhuǎn)換
【基金】：國防基礎(chǔ)科學(xué)研究計劃(JCKY2013205C003)~~
【分類號】：V243;TP301.1
【正文快照】： 網(wǎng)絡(luò)出版地址:www.cnki.net/kcms/detail/11.2625.V.20151217.1133.014.html引用格式:劉暢,谷濤,周慶,等.AADL2ECPN模型轉(zhuǎn)換方法及其在IMA上的應(yīng)用[J].北京航空航天大學(xué)學(xué)報,2016,42(9):1884-1891.LIU C,GU T,ZHOU Q,et al.Model transformation method from AADL2ECPN and it

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 鄭建華;李迪;肖蘇華;;訪問者設(shè)計模式在模型轉(zhuǎn)換中的應(yīng)用研究[J];制造業(yè)自動化;2008年11期

2 朱蓓蓓,徐建閩,周其節(jié);兩連桿柔性前臂機(jī)器人的模型轉(zhuǎn)換[J];華南理工大學(xué)學(xué)報(自然科學(xué)版);1997年12期

3 林哲;;類圖-過程藍(lán)圖聯(lián)合模型轉(zhuǎn)換研究[J];北京聯(lián)合大學(xué)學(xué)報(自然科學(xué)版);2012年02期

4 鄭建華;李迪;肖蘇華;李方;;用于計算機(jī)數(shù)控系統(tǒng)模型層驗(yàn)證的模型轉(zhuǎn)換[J];華南理工大學(xué)學(xué)報(自然科學(xué)版);2009年04期

5 沈磊;李敬學(xué);陶勇;彭俊;;Midas Gen To SAP2000模型轉(zhuǎn)換技術(shù)在鐵路站房工程中的應(yīng)用[J];鐵道標(biāo)準(zhǔn)設(shè)計;2014年07期

6 王軻;范忠華;黨西軍;;基于模態(tài)試驗(yàn)與優(yōu)化的靜動力學(xué)模型轉(zhuǎn)換[J];振動工程學(xué)報;2012年01期

7 戰(zhàn)洪飛,顧新建,祁連,金勇華,吳昭同;基于Internet的企業(yè)建模系統(tǒng)中的模型轉(zhuǎn)換[J];機(jī)電工程;1999年05期

8 杜浩;蔣波;;對象約束語言在MDA模型轉(zhuǎn)換中的應(yīng)用[J];交通與計算機(jī);2006年01期

9 袁潤;李亞洲;胡麗琴;王海濤;高峰;吳宜燦;FDS團(tuán)隊;;RiskA事件樹模型轉(zhuǎn)換模塊的研發(fā)[J];核科學(xué)與工程;2008年02期

10 陳海波;趙偉華;;基于模型轉(zhuǎn)換的通信協(xié)議自動分析[J];機(jī)電工程;2009年05期

中國重要會議論文全文數(shù)據(jù)庫 前8條

1 陳捷捷;李翔;林銳;;一種基于Foran的輕量模型轉(zhuǎn)換方法研究[A];第十四屆中國科協(xié)年會第5分會場：綠色船舶與海洋裝備創(chuàng)新發(fā)展及產(chǎn)業(yè)化論壇論文集[C];2012年

2 劉超;唐濤;;基于Epsilon的列控系統(tǒng)模型轉(zhuǎn)換及規(guī)范驗(yàn)證[A];中國自動化學(xué)會控制理論專業(yè)委員會B卷[C];2011年

3 李華;趙勁松;汪叢軍;;基于數(shù)據(jù)庫的有限元模型轉(zhuǎn)換研究與應(yīng)用[A];工程三維模型與虛擬現(xiàn)實(shí)表現(xiàn)——第二屆工程建設(shè)計算機(jī)應(yīng)用創(chuàng)新論壇論文集[C];2009年

4 姜彩玉;葉鋒;許文慶;姜彬;;IEC61850的變電站模型與IEC61970主站模型轉(zhuǎn)換[A];2006電力系統(tǒng)自動化學(xué)術(shù)交流研討大會論文集[C];2006年

5 白海;;基于EMF的MDA模型轉(zhuǎn)換研究及應(yīng)用[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國青年通信學(xué)術(shù)會議論文集（上）[C];2008年

6 龔剛;Willi Semmler;;隨機(jī)動態(tài)優(yōu)化模型的近似解法[A];21世紀(jì)數(shù)量經(jīng)濟(jì)學(xué)（第4卷）[C];2003年

7 張海鵬;韓端鋒;何寶;;異構(gòu)CAD船體模型轉(zhuǎn)換技術(shù)研究[A];七屆更迭 三十回眸——第七屆船舶力學(xué)學(xué)術(shù)委員會全體會議論文集[C];2010年

8 苗林;金濤;王建民;;XPDL模型到WWF模型轉(zhuǎn)換技術(shù)的研究[A];第26屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（B輯）[C];2009年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前7條

1 李晉;MDA框架下基于語義保持的大粒度模型轉(zhuǎn)換方法研究[D];哈爾濱工業(yè)大學(xué);2014年

2 王學(xué)斌;軟件工程中基于模型驅(qū)動架構(gòu)的模型轉(zhuǎn)換技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2006年

3 馬坤;模型驅(qū)動架構(gòu)下模型及模型轉(zhuǎn)換方法關(guān)鍵問題研究[D];山東大學(xué);2011年

4 張敏;固定式海洋結(jié)構(gòu)模型轉(zhuǎn)換與動力特性研究[D];中國海洋大學(xué);2010年

5 王彬;基于實(shí)時語義模型的模型轉(zhuǎn)換及語義一致性研究[D];昆明理工大學(xué);2011年

6 王洪媛;UML行為模型之間模型轉(zhuǎn)換的研究[D];吉林大學(xué);2007年

7 彭君;領(lǐng)域軟件開發(fā)中體系結(jié)構(gòu)元模型及模型轉(zhuǎn)換方法研究[D];吉林大學(xué);2010年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 李超;模型轉(zhuǎn)換技術(shù)在UML機(jī)械語義生成中的應(yīng)用研究[D];華東師范大學(xué);2015年

2 王寧波;基于QVT的MOF模型轉(zhuǎn)換技術(shù)的研究與實(shí)現(xiàn)[D];中國石油大學(xué)(華東);2014年

3 黃小浦;基于MDE模型轉(zhuǎn)換的若干研究[D];南京大學(xué);2013年

4 劉崢崢;使用圖轉(zhuǎn)換理論的模型轉(zhuǎn)換一致性研究[D];中國科學(xué)技術(shù)大學(xué);2010年

5 汪洋;支持動作語義映射的模型轉(zhuǎn)換方法研究[D];東北師范大學(xué);2012年

6 劉家紅;電子商務(wù)開發(fā)平臺中基于模式的模型轉(zhuǎn)換框架研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2004年

7 沈慧勇;基于語義一致性的模型轉(zhuǎn)換方法及應(yīng)用[D];山東大學(xué);2007年

8 趙萍;模型驅(qū)動系統(tǒng)中模型轉(zhuǎn)換技術(shù)的研究[D];哈爾濱工程大學(xué);2010年

9 黃瑞情;消息傳遞模型轉(zhuǎn)換機(jī)制的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2015年

10 吉鳴;基于模型轉(zhuǎn)換的實(shí)時軟件資源建模與驗(yàn)證的方法研究[D];南京航空航天大學(xué);2010年

，

本文編號：1018609