«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

期数:

2010年03期

页码:

191-194

栏目:

应用开发研究

出版日期:

1900-01-01

文章信息/Info

Title:

Modeling and Analysis of Flight Management System with AADL

文章编号:

1673-629X（2010）03-0191-04

作者:

汤小明¹ 苏罗辉² 宋科璞²

[1]西北工业大学自动化学院[2]飞行自动控制研究所

Author(s):

TANG Xiao-ming¹;  SU Luo-hui²;  SONG Ke-pu²

[1]College of Automation, Northwest Polytechnicial University[2] Flight Automation Control Research Institution

关键词:

航空电子系统; 模型驱动AADL; 飞行管理系统; 实时调度分析

Keywords:

avionics system;  model drive AADL;  flight management system;  real time scheduling analysis

分类号:

TP311

文献标志码:

A

摘要:

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段，也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分，传统上，对该系统的可调度性分析是在系统设计完成后，在实现与验证阶段进行的，这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模，为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能，使得在系统需求分析阶段就可以准确确定系统的软硬件需求，并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及

Abstract:

Aviooics 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 subsyste

备注/Memo

备注/Memo:

航空基金资助项目（20060718001）汤小明（1979-），男，博士研究生，CCF高级会员，研究方向为嵌入式软件体系结构、实时操作系统以及分布式计算。

常用功能

更新日期/Last Update: 1900-01-01