| 飞行管理系统AADL建模与分析 |
| |
| 引用本文： | 汤小明,苏罗辉,宋科璞. 飞行管理系统AADL建模与分析[J]. 计算机技术与发展, 2010, 20(3): 191-194 |
| |
| 作者姓名： | 汤小明 苏罗辉 宋科璞 |
| |
| 作者单位： | 1. 西北工业大学,自动化学院,陕西,西安,710075
2. 飞行自动控制研究所,陕西,西安,710065 |
| |
| 摘 要： | 航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段，也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分，传统上，对该系统的可调度性分析是在系统设计完成后，在实现与验证阶段进行的，这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模，为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能，使得在系统需求分析阶段就可以准确确定系统的软硬件需求，并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARING653的对应关系；然后描述了飞行管理系统的功能构成，并建立了飞行管理系统的AADL模型；最后详细论述了系统调度理论，AADL工具，飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。
|
| 关 键 词： | 航空电子系统 模型驱动AADL 飞行管理系统 实时调度分析 |
Modeling and Analysis of Flight Management System with AADL |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
