| 基于AADL的航电构型控制系统的建模分析 |
| |
| 引用本文： | 周德新,李宁,刘哲旭.基于AADL的航电构型控制系统的建模分析[J].计算机科学,2016,43(Z6):55-59. |
| |
| 作者姓名： | 周德新 李宁 刘哲旭 |
| |
| 作者单位： | 中国民航大学航空自动化学院 天津300300,中国民航大学航空自动化学院 天津300300,中国民航大学航空自动化学院 天津300300 |
| |
| 基金项目： | 本文受民航局重大专项(MHRD20130112),中央高校基本科研基金(3122015C011)资助 |
| |
| 摘 要： | 针对航电系统的不同构型仿真、系统加改装的验证,为了使构型控制系统可以根据应用需求可靠转换,以满足系统结构能够可靠重构的需求,采用先进的建模语言AADL(结构化分析设计语言)完成了对航电构型控制系统的建模设计。结合AADL对航电构型控制系统进行了详细的分析,展示了该系统的特征与关键技术,体现了此系统的工作原理与内部结构。该模型可以表达系统的功能与非功能约束,实现了系统级的组件建模策略,层次化地描述了系统的架构。
|
| 关 键 词： | 航空电子 结构化分析设计语言 构型控制 |
Modeling and Analysis of Avionics Configurations Control System Based on AADL |
| |
| ZHOU De-xin,LI Ning and LIU Zhe-xu.Modeling and Analysis of Avionics Configurations Control System Based on AADL[J].Computer Science,2016,43(Z6):55-59. |
| |
| Authors: | ZHOU De-xin LI Ning and LIU Zhe-xu |
| |
| Affiliation: | Aeronautical Automation College,Civil Aviation University of China,Tianjin 300300,Cina,Aeronautical Automation College,Civil Aviation University of China,Tianjin 300300,Cina and Aeronautical Automation College,Civil Aviation University of China,Tianjin 300300,Cina |
| |
| Abstract: | |
| |
| Keywords: | Avionics Architecture analysis and design language Configurations control |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
