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

• 作者: 宋科璞 汤小明 苏罗辉
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 航空电子系统 模型驱动 AADL 飞行管理系统 实时调度分析
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 应用开发研究
• 页码范围: 191-194
• 页数: 4页
• 分类号: TP311
• 字数: 3447字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.03.049

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋科璞		7	46	4.0	6.0
2	汤小明	西北工业大学自动化学院	6	30	2.0	5.0
3	苏罗辉		1	19	1.0	1.0