本文關鍵詞： 綜合模塊化航電系統(tǒng) 可調度性驗證 ARINC 實時嵌入式系統(tǒng)與分析 模型驅動工程　出處：《南京航空航天大學學報》2015年03期 　論文類型：期刊論文

【摘要】：綜合模塊化航空電子系統(tǒng)(Integrated modular avionics,IMA)中分區(qū)運行時間特征滿足需求是IMA系統(tǒng)安全可靠性運行的一個重要問題。本文針對滿足ARINC653規(guī)范的IMA系統(tǒng)的層級調度特性,結合IMA系統(tǒng)調度配置信息,提出了一種在模型驅動工程(Model driven engineering,MDE)框架下,基于實時嵌入式系統(tǒng)建模與分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分區(qū)調度系統(tǒng)建模轉換與可調度性驗證的方法。借助MAST工具及其自定義調度策略功能,分析分區(qū)系統(tǒng)調度特性并利用MARTE對其進行建模,并利用該工具對MARTE模型進行仿真以驗證其可調度性,最后給出了一個實例分析。
[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.
【作者單位】： 南京航空航天大學計算機科學與技術學院;南京大學計算機軟件新技術國家重點實驗室;
【基金】：國家重點基礎研究發(fā)展計劃(“九七三”計劃)(2014CB744903)資助項目 回國留學人員科研啟動基金資助項目 611航空科研基金資助項目 南京航空航天大學青年科技創(chuàng)新基金(NS2014098)資助項目
【分類號】：V243;TP368.12

【參考文獻】

相關期刊論文 前2條

1 何鋒;宋麗茹;熊華鋼;;航空電子雙層任務分區(qū)調度設計[J];北京航空航天大學學報;2008年11期

2 周天然;熊華鋼;;航空電子系統(tǒng)混合實時任務的雙層調度[J];航空學報;2011年06期

【共引文獻】

相關期刊論文 前10條

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

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

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

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

5 周天然;熊華鋼;;航空電子系統(tǒng)混合實時任務的雙層調度[J];航空學報;2011年06期

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

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

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

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

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

相關博士學位論文 前1條

1 王溪波;復雜實時應用系統(tǒng)設計實現(xiàn)的關鍵技術研究[D];東北大學;2012年

相關碩士學位論文 前5條

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

2 邢薇薇;面向航空電子的分區(qū)內核關鍵技術研究[D];西安電子科技大學;2011年

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

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

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

【二級參考文獻】

相關期刊論文 前2條

1 何鋒;宋麗茹;熊華鋼;;航空電子雙層任務分區(qū)調度設計[J];北京航空航天大學學報;2008年11期

2 熊華鋼;周貴榮;李峭;;機載總線網(wǎng)絡及其發(fā)展[J];航空學報;2006年06期

【相似文獻】

相關期刊論文 前1條

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

，

本文編號：1507202