本文關鍵詞：基于AADL的航電構型控制系統(tǒng)的建模分析

  更多相關文章： 航空電子 結構化分析設計語言 構型控制

【摘要】：針對航電系統(tǒng)的不同構型仿真、系統(tǒng)加改裝的驗證,為了使構型控制系統(tǒng)可以根據(jù)應用需求可靠轉換,以滿足系統(tǒng)結構能夠可靠重構的需求,采用先進的建模語言AADL(結構化分析設計語言)完成了對航電構型控制系統(tǒng)的建模設計。結合AADL對航電構型控制系統(tǒng)進行了詳細的分析,展示了該系統(tǒng)的特征與關鍵技術,體現(xiàn)了此系統(tǒng)的工作原理與內部結構。該模型可以表達系統(tǒng)的功能與非功能約束,實現(xiàn)了系統(tǒng)級的組件建模策略,層次化地描述了系統(tǒng)的架構。
【作者單位】： 中國民航大學航空自動化學院;
【關鍵詞】： 航空電子 結構化分析設計語言 構型控制
【基金】：民航局重大專項(MHRD20130112) 中央高校基本科研基金(3122015C011)資助
【分類號】：V243;TP311.52
【正文快照】： 本文受民航局重大專項(MHRD20130112),中央高�；究蒲谢�(3122015C011)資助。周德新女,碩士,碩士生導師,主要研究領域為智能診斷與智能檢測,E-mail:261341244@qq.com;李寧男,碩士生,主要研究領域為航電系統(tǒng);劉哲旭男,博士,講師,主要研究領域為航電系統(tǒng)。1引言隨著航空電子

【參考文獻】

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

1 劉瑋;李蜀瑜;;AADL模型的形式化研究[J];計算機技術 與發(fā)展;2013年09期

2 殷鋒社;湯小明;;基于AADL的航空電子系統(tǒng)的建模研究[J];艦船電子工程;2013年04期

3 錢磊;郁文生;朱明華;;基于AADL的無線傳感器網(wǎng)絡的建模與分析[J];計算機科學;2012年S3期

4 李振松;蔣志雄;顧斌;;AADL模式轉換設計方法研究[J];計算機工程與設計;2011年12期

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

1 姜麗云;AFDX網(wǎng)絡關鍵技術研究[D];西安電子科技大學;2013年

2 楊陽;基于AADL的車用嵌入式實時系統(tǒng)建模方法研究[D];湖南大學;2012年

【共引文獻】

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

1 梁剛強;張立臣;;基于體系結構的信息物理融合系統(tǒng)的研究與分析[J];小型微型計算機系統(tǒng);2016年06期

2 周德新;李寧;劉哲旭;;基于AADL的航電構型控制系統(tǒng)的建模分析[J];計算機科學;2016年S1期

3 楊莉;李楠;席隆;;基于AADL的嵌入式系統(tǒng)可靠性建模方法的探討[J];計算機技術與發(fā)展;2015年08期

4 張康林;;芻議嵌入式系統(tǒng)關鍵技術分析與開發(fā)運用[J];計算機光盤軟件與應用;2015年01期

5 廖娜;;嵌入式系統(tǒng)關鍵技術分析與開發(fā)應用探討[J];電子測試;2013年07期

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

1 李寧;基于AADL的航電構型控制系統(tǒng)測試性建模方法研究[D];中國民航大學;2016年

2 許志龍;基于AADL的微發(fā)控制器程序自動生成和驗證[D];南京航空航天大學;2016年

3 倪一洋;基于FPGA的多總線接口適配技術研究[D];南京航空航天大學;2016年

4 白海洋;基于UPPAAL的嵌入式系統(tǒng)AADL模型實時性驗證[D];南京航空航天大學;2014年

【二級參考文獻】

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

1 李振松;顧斌;;基于UPPAAL的AADL行為模型驗證方法研究[J];計算機科學;2012年02期

2 高金梁;張剛;經小川;陳星;張輝;;采用AADL的軟件系統(tǒng)可靠性建模與評估方法[J];計算機科學與探索;2011年10期

3 董云衛(wèi);王廣仁;張凡;高磊;;AADL模型可靠性分析評估工具[J];軟件學報;2011年06期

4 馬春燕;董云衛(wèi);朱宇峰;陸偉;;AADL測試模型的構造研究[J];西北工業(yè)大學學報;2010年06期

5 楊志斌;皮磊;胡凱;顧宗華;馬殿富;;復雜嵌入式實時系統(tǒng)體系結構設計與分析語言:AADL[J];軟件學報;2010年05期

6 馮冰;楊志義;董云衛(wèi);馬春燕;;一種面向AADL架構的模型測試方法[J];計算機測量與控制;2010年04期

7 陸少鵬;桂盛霖;李允;羅蕾;;基于模型的嵌入式開發(fā)環(huán)境——LambdaMDE[J];計算機應用;2010年03期

8 張斌;劉祥;張琦;;艦船電子系統(tǒng)并行工程質量管理模型的研究與應用[J];計算機與數(shù)字工程;2010年02期

9 王庚;周興社;張凡;董云衛(wèi);;AADL模型的測試方法研究[J];計算機科學;2009年11期

10 張莉;姜浩;;領域本體半自動化建模工具的設計與實現(xiàn)[J];計算機與數(shù)字工程;2009年09期

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

1 王綺卉;AFDX核心交換技術的研究與實現(xiàn)[D];西安石油大學;2010年

2 王斌文;航空全雙工以太網(wǎng)交換機若干關鍵技術研究與實現(xiàn)[D];西安電子科技大學;2008年

【相似文獻】

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

1 王遠達;宋筆鋒;姬東朝;史彥斌;;軍機航電系統(tǒng)實現(xiàn)兩級維修的關鍵技術[J];火力與指揮控制;2009年08期

2 蔣國峰;扈勝超;;航電系統(tǒng)外場保障實習臺的設計與研究[J];航空計算技術;2010年05期

3 張U，

本文編號：1089952