飞行管理系统AADL建模与分析

摘要：

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分.飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析.采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本.首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARINC653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析.通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据.

关键词：航空电子系统、模型驱动 AADL、飞行管理系统、实时调度分析

所属期刊栏目：20

分类号：TP311(计算技术、计算机技术)

资助基金：航空基金资助项目20060718001

在线出版日期：2010-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：191-194