节点文献

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

Modeling and Analysis of Avionics Configurations Control System Based on AADL

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 周德新李宁刘哲旭

【Author】 ZHOU De-xin;LI Ning;LIU Zhe-xu;Aeronautical Automation College,Civil Aviation University of China;

【机构】 中国民航大学航空自动化学院

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

【Abstract】 To verify the avionics system’s different configuration stimulations and the system’s remodification,and to solve the issue that configuration control system can change according to operational needs to ensure the system structure can be reliably reconstructed,the advanced AADL(architecture analysis and design language)was adopted to complete modeling design of avionics configuration control system.With AADL,the avionics configuration control system was analyzed in detail,its features and key techniques were revealed,and the system’s operational principle and internal structure were also reflected.This model shows the system’s functions and non-functional constraints,realizes the system-level modeling strategy and hierarchically describes the system’s structure.

【基金】 民航局重大专项(MHRD20130112);中央高校基本科研基金(3122015C011)资助
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2016年S1期
  • 【分类号】V243;TP311.52
  • 【被引频次】3
  • 【下载频次】178
节点文献中: