本文關(guān)鍵詞：基于MDE的AADL構(gòu)件組合兼容的方法　出處：《計(jì)算機(jī)工程與設(shè)計(jì)》2014年05期 　論文類型：期刊論文

  更多相關(guān)文章： 實(shí)時(shí)嵌入式系統(tǒng) 半形式化建模語(yǔ)言 體系結(jié)構(gòu)分析與設(shè)計(jì)語(yǔ)言 模型驅(qū)動(dòng)方法 接口自動(dòng)機(jī)

【摘要】：實(shí)時(shí)嵌入式系統(tǒng)建模語(yǔ)言—體系結(jié)構(gòu)分析與設(shè)計(jì)語(yǔ)言AADL是一種基于組件的半形式化建模語(yǔ)言,當(dāng)AADL構(gòu)件模型進(jìn)行組合時(shí),因?yàn)橐恍┙换セ顒?dòng)的序列不匹配從而導(dǎo)致構(gòu)件組合行為不兼容,提出了一種基于模型驅(qū)動(dòng)方法 MDE的AADL構(gòu)件組合兼容方法。利用MDE異構(gòu)模型轉(zhuǎn)換框架將AADL模型轉(zhuǎn)換至接口自動(dòng)機(jī)IA,利用形式化方法驗(yàn)證IA的兼容性,使用IA Tool構(gòu)建IA模型的構(gòu)件兼容運(yùn)行環(huán)境,將構(gòu)造的環(huán)境映射到AADL組件,能夠解決AADL構(gòu)件組合的行為兼容性問(wèn)題。
[Abstract]:Real time embedded system modeling language-architecture analysis and design language (AADL) is a semi-formal modeling language based on components, when AADL component model is combined. Because of the sequence mismatch of some interactive activities, component composition behavior is not compatible. In this paper, a AADL component combination compatibility method based on model-driven method (MDE) is proposed. AADL model is converted to interface automaton IA by using MDE heterogeneous model transformation framework. The compatibility of IA is verified by formal method. The component compatible running environment of IA model is constructed with IA Tool, and the constructed environment is mapped to AADL component. It can solve the behavior compatibility problem of AADL component composition.
【作者單位】： 南京中醫(yī)藥大學(xué)信息技術(shù)學(xué)院;南京大學(xué)信息管理學(xué)院;南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系;
【基金】：國(guó)家青年基金項(xiàng)目(61003025) 江蘇省科技基金項(xiàng)目(BE2012184) 南京中醫(yī)藥大學(xué)青年自然科學(xué)基金項(xiàng)目(11XZR17)
【分類號(hào)】：TP368.1
【正文快照】： 0引言隨著嵌入式系統(tǒng)的發(fā)展,其體系結(jié)構(gòu)越來(lái)越復(fù)雜,而傳統(tǒng)的嵌入式系統(tǒng)開(kāi)發(fā)方法已經(jīng)不能適應(yīng)當(dāng)前的需求,在此背景下,MDE(model driven engineering)[1]模型驅(qū)動(dòng)方法被引入到工程開(kāi)發(fā)之中。MDE強(qiáng)調(diào)開(kāi)發(fā)全過(guò)程中模型的應(yīng)用,將軟件開(kāi)發(fā)的重點(diǎn)從代碼層提升到模型層。采用模型驅(qū)動(dòng)

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 江月明;實(shí)時(shí)嵌入式系統(tǒng)中DSP的選用[J];世界產(chǎn)品與技術(shù);2003年09期

2 馮巖;;實(shí)時(shí)嵌入式系統(tǒng)中常用定時(shí)器算法比較[J];交通科技與經(jīng)濟(jì);2009年04期

3 吳明慧;劉洋;;實(shí)時(shí)異構(gòu)嵌入式系統(tǒng)在傳感系統(tǒng)的應(yīng)用[J];赤峰學(xué)院學(xué)報(bào)(自然科學(xué)版);2009年11期

4 尤文莉;基于RT-CORBA的實(shí)時(shí)嵌入式系統(tǒng)開(kāi)發(fā)[J];艦船電子對(duì)抗;2004年03期

5 鄭建華;李迪;肖舒華;蘇兆港;;實(shí)時(shí)嵌入式系統(tǒng)形式化自動(dòng)驗(yàn)證的研究與應(yīng)用[J];制造業(yè)自動(dòng)化;2007年09期

6 張明揚(yáng);鄧萬(wàn)鵬;;基于Linux系統(tǒng)的USB主機(jī)接口設(shè)計(jì)與實(shí)現(xiàn)[J];沈陽(yáng)師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年03期

7 陳筠 ,桑楠 ,熊光澤;雙機(jī)容錯(cuò)實(shí)時(shí)嵌入式系統(tǒng)設(shè)計(jì)與分析[J];單片機(jī)與嵌入式系統(tǒng)應(yīng)用;2005年10期

8 陳筠;桑楠;熊光澤;;一種容錯(cuò)實(shí)時(shí)計(jì)算機(jī)體系結(jié)構(gòu)的研究與實(shí)現(xiàn)[J];電子科技大學(xué)學(xué)報(bào);2007年05期

9 龔志遠(yuǎn);劉斌;楊順昆;;實(shí)時(shí)嵌入式系統(tǒng)測(cè)試腳本模型化研究[J];測(cè)控技術(shù);2010年06期

10 羅怡桂,欒靜,顧君忠;混合實(shí)時(shí)嵌入式系統(tǒng)軟硬件協(xié)同綜合算法及其組件設(shè)計(jì)[J];計(jì)算機(jī)應(yīng)用;2005年06期

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

1 朱凱;謝敏;;淺談實(shí)時(shí)嵌入式系統(tǒng)[A];廣西計(jì)算機(jī)學(xué)會(huì)——2004年學(xué)術(shù)年會(huì)論文集[C];2004年

2 張科超;崔剛;;實(shí)時(shí)嵌入式系統(tǒng)中的雙機(jī)熱備份容錯(cuò)設(shè)計(jì)[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

3 朱凱;謝敏;;淺談實(shí)時(shí)嵌入式系統(tǒng)[A];廣西計(jì)算機(jī)學(xué)會(huì)2004年學(xué)術(shù)年會(huì)論文集[C];2004年

4 張晶;王劍平;張果;張?jiān)粕?;面向服務(wù)的實(shí)時(shí)分布嵌入式控制軟件實(shí)現(xiàn)策略[A];第二十七屆中國(guó)控制會(huì)議論文集[C];2008年

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

1 魏永明;輕量級(jí)種子選手[N];計(jì)算機(jī)世界;2002年

2 上海大學(xué)機(jī)電工程及自動(dòng)化學(xué)院博士 劉錟;觸摸屏校準(zhǔn)程序設(shè)計(jì)[N];計(jì)算機(jī)世界;2006年

3 ;速度決定一切[N];中國(guó)計(jì)算機(jī)報(bào);2002年

4 王飛躍;從ASOS到嵌入式系統(tǒng)[N];計(jì)算機(jī)世界;2003年

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

1 付玉;實(shí)時(shí)嵌入式系統(tǒng)軟件自恢復(fù)技術(shù)研究[D];哈爾濱工程大學(xué);2011年

2 胡在華;實(shí)時(shí)嵌入式系統(tǒng)的研究與應(yīng)用[D];湖南大學(xué);2002年

3 李霞;基于通用控制平臺(tái)的VxWorks BSP設(shè)計(jì)與實(shí)現(xiàn)[D];湖南大學(xué);2007年

4 趙震宇;硬實(shí)時(shí)調(diào)度搶占開(kāi)銷(xiāo)的在線優(yōu)化策略及仿真實(shí)現(xiàn)[D];東北大學(xué);2008年

5 時(shí)巍;電動(dòng)公交車(chē)燃料電池發(fā)動(dòng)機(jī)實(shí)時(shí)嵌入式系統(tǒng)的研究[D];沈陽(yáng)工業(yè)大學(xué);2007年

6 徐丙鳳;基于接口自動(dòng)機(jī)的嵌入式軟件驗(yàn)證技術(shù)及支撐工具研究[D];南京航空航天大學(xué);2009年

7 王永雙;面向JAVA加速系統(tǒng)的SPARC-RTEMS驅(qū)動(dòng)技術(shù)的研究[D];哈爾濱工業(yè)大學(xué);2012年

8 趙明陽(yáng);基于嵌入式實(shí)時(shí)操作系統(tǒng)的軟總線技術(shù)研究[D];南京航空航天大學(xué);2011年

9 陳筠;嵌入式多處理器實(shí)時(shí)系統(tǒng)的容錯(cuò)研究與實(shí)現(xiàn)[D];電子科技大學(xué);2006年

10 字天文;實(shí)時(shí)嵌入式軟構(gòu)件模型及構(gòu)件組裝方法研究[D];昆明理工大學(xué);2009年

，

本文編號(hào)：1401261