本文關(guān)鍵詞： 綜合模塊化航電系統(tǒng) 可調(diào)度性驗(yàn)證 ARINC 實(shí)時(shí)嵌入式系統(tǒng)與分析 模型驅(qū)動(dòng)工程　出處：《南京航空航天大學(xué)學(xué)報(bào)》2015年03期 　論文類(lèi)型：期刊論文

【摘要】：綜合模塊化航空電子系統(tǒng)(Integrated modular avionics,IMA)中分區(qū)運(yùn)行時(shí)間特征滿(mǎn)足需求是IMA系統(tǒng)安全可靠性運(yùn)行的一個(gè)重要問(wèn)題。本文針對(duì)滿(mǎn)足ARINC653規(guī)范的IMA系統(tǒng)的層級(jí)調(diào)度特性,結(jié)合IMA系統(tǒng)調(diào)度配置信息,提出了一種在模型驅(qū)動(dòng)工程(Model driven engineering,MDE)框架下,基于實(shí)時(shí)嵌入式系統(tǒng)建模與分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分區(qū)調(diào)度系統(tǒng)建模轉(zhuǎn)換與可調(diào)度性驗(yàn)證的方法。借助MAST工具及其自定義調(diào)度策略功能,分析分區(qū)系統(tǒng)調(diào)度特性并利用MARTE對(duì)其進(jìn)行建模,并利用該工具對(duì)MARTE模型進(jìn)行仿真以驗(yàn)證其可調(diào)度性,最后給出了一個(gè)實(shí)例分析。
[Abstract]:It is an important problem for IMA system to meet the requirement of partition running time in integrated modular avionics IMA. This paper aims at the hierarchical scheduling characteristics of IMA system, which meets the ARINC653 specification. Based on the scheduling configuration information of IMA system, a model driven engineering model driven engineering framework is proposed. Modeling and Analysis of and analysis of real-time and embedded system based on Real-Time embedded system Modeling transformation and schedulability verification method for ARINC653 partitioned scheduling system, with the help of MAST tool and its function of self-defined scheduling strategy, this paper introduces the method of modeling transformation and schedulability verification of ARINC653 partitioned scheduling system based on modeling analysis of real-time and embedded system. This paper analyzes the scheduling characteristics of partitioned system and models it with MARTE, and simulates the MARTE model with this tool to verify its schedulability. At last, an example is given.
【作者單位】： 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;南京大學(xué)計(jì)算機(jī)軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(“九七三”計(jì)劃)(2014CB744903)資助項(xiàng)目 回國(guó)留學(xué)人員科研啟動(dòng)基金資助項(xiàng)目 611航空科研基金資助項(xiàng)目 南京航空航天大學(xué)青年科技創(chuàng)新基金(NS2014098)資助項(xiàng)目
【分類(lèi)號(hào)】：V243;TP368.12

【參考文獻(xiàn)】

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

1 何鋒;宋麗茹;熊華鋼;;航空電子雙層任務(wù)分區(qū)調(diào)度設(shè)計(jì)[J];北京航空航天大學(xué)學(xué)報(bào);2008年11期

2 周天然;熊華鋼;;航空電子系統(tǒng)混合實(shí)時(shí)任務(wù)的雙層調(diào)度[J];航空學(xué)報(bào);2011年06期

【共引文獻(xiàn)】

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

1 李昕穎;熊華鋼;;綜合化航空電子分區(qū)隔離的建模與設(shè)計(jì)方法[J];北京航空航天大學(xué)學(xué)報(bào);2011年01期

2 何鋒;顧健;熊華鋼;;基于動(dòng)態(tài)優(yōu)先級(jí)的核心處理安全分區(qū)優(yōu)化設(shè)計(jì)[J];北京航空航天大學(xué)學(xué)報(bào);2011年10期

3 宋麗茹;何鋒;熊華鋼;;航空電子藍(lán)圖系統(tǒng)實(shí)時(shí)性設(shè)計(jì)[J];電光與控制;2010年06期

4 張雙;茹偉;張磊;;小型綜合座艙顯示系統(tǒng)軟件設(shè)計(jì)與實(shí)現(xiàn)[J];電光與控制;2013年06期

5 周天然;熊華鋼;;航空電子系統(tǒng)混合實(shí)時(shí)任務(wù)的雙層調(diào)度[J];航空學(xué)報(bào);2011年06期

6 何鋒;宋麗茹;熊華鋼;;基于固定優(yōu)先級(jí)航天器任務(wù)分層調(diào)度研究[J];空間科學(xué)學(xué)報(bào);2009年05期

7 張永悅;孫瑜;李允;徐建華;;復(fù)雜實(shí)時(shí)系統(tǒng)可調(diào)度性判定工具的研究與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2013年01期

8 易娟;熊華鋼;何鋒;王彤;;TTE網(wǎng)絡(luò)流量轉(zhuǎn)換策略及其延時(shí)性能保障調(diào)度算法研究[J];航空學(xué)報(bào);2014年04期

9 張永悅;云利軍;孫瑜;;基于分區(qū)的航電系統(tǒng)調(diào)度分析工具實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2014年04期

10 袁翔;胡軍;馬金晶;劉雪;;基于AADL的綜合航電分區(qū)系統(tǒng)可調(diào)度性判定[J];計(jì)算機(jī)工程;2014年10期

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

1 王溪波;復(fù)雜實(shí)時(shí)應(yīng)用系統(tǒng)設(shè)計(jì)實(shí)現(xiàn)的關(guān)鍵技術(shù)研究[D];東北大學(xué);2012年

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

1 李偉;高可靠嵌入式操作系統(tǒng)的構(gòu)建與配置研究[D];南京航空航天大學(xué);2010年

2 邢薇薇;面向航空電子的分區(qū)內(nèi)核關(guān)鍵技術(shù)研究[D];西安電子科技大學(xué);2011年

3 吳成濤;混合臨界系統(tǒng)實(shí)時(shí)調(diào)度算法研究[D];湖南大學(xué);2013年

4 袁翔;模型驅(qū)動(dòng)的綜合航電系統(tǒng)配置信息的分析與驗(yàn)證方法研究[D];南京航空航天大學(xué);2014年

5 張永悅;基于仿真的實(shí)時(shí)系統(tǒng)可調(diào)度性分析工具的研究與實(shí)現(xiàn)[D];云南師范大學(xué);2014年

【二級(jí)參考文獻(xiàn)】

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

1 何鋒;宋麗茹;熊華鋼;;航空電子雙層任務(wù)分區(qū)調(diào)度設(shè)計(jì)[J];北京航空航天大學(xué)學(xué)報(bào);2008年11期

2 熊華鋼;周貴榮;李峭;;機(jī)載總線(xiàn)網(wǎng)絡(luò)及其發(fā)展[J];航空學(xué)報(bào);2006年06期

【相似文獻(xiàn)】

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

1 湯小明;張新國(guó);;基于分區(qū)的安全關(guān)鍵軟件體系及其時(shí)間分析研究[J];系統(tǒng)仿真學(xué)報(bào);2013年07期

，

本文編號(hào)：1507202