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

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

Modeling and Analysis of Flight Management System with AADL

Avionics software model and analysis are the important approachs to enhance the reliablity and performance for military and civil aeroplane,and the important components for model drived software architecture.The flight management system,as the subsystem of avionics system,traditionally,is analysed for schedulability in implementation or verification process,which makes the requirement of software and hardware is very hard to be determined.The advanced modeling method AADL is applied to the flight management...