基于AADL的航电构型控制系统的建模分析

作     者：周德新 李宁 刘哲旭 ZHOU De-xin;LI Ning;LIU Zhe-xu

作者机构：中国民航大学航空自动化学院天津300300 

基　　金：民航局重大专项(MHRD20130112) 中央高校基本科研基金(3122015C011)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2016年第43卷第S1期

页      码：55-59页

摘      要：针对航电系统的不同构型仿真、系统加改装的验证,为了使构型控制系统可以根据应用需求可靠转换,以满足系统结构能够可靠重构的需求,采用先进的建模语言AADL(结构化分析设计语言)完成了对航电构型控制系统的建模设计。结合AADL对航电构型控制系统进行了详细的分析,展示了该系统的特征与关键技术,体现了此系统的工作原理与内部结构。该模型可以表达系统的功能与非功能约束,实现了系统级的组件建模策略,层次化地描述了系统的架构。

主 题 词：航空电子 结构化分析设计语言 构型控制 

学科分类：08[工学] 0835[0835] 0825[工学-环境科学与工程类] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203171842...