计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2010年
3期
191-194
,共4页
航空电子系统%模型驱动 AADL%飞行管理系统%实时调度分析
航空電子繫統%模型驅動 AADL%飛行管理繫統%實時調度分析
항공전자계통%모형구동 AADL%비행관리계통%실시조도분석
航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分.飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析.采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本.首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARINC653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析.通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据.
航空電子繫統軟件的建模與分析是保證軍用和民用飛機高可靠、高性能的重要手段,也是模型驅動軟件體繫結構的重要組成部分.飛行管理繫統作為航空電子繫統的重要組成部分,傳統上,對該繫統的可調度性分析是在繫統設計完成後,在實現與驗證階段進行的,這使得繫統無法進行的準確地軟硬件需求分析.採用先進的建模方法AADL對其進行建模,為飛行管理繫統的可調度性分析、可靠性分析以及通信延遲等分析提供瞭可能,使得在繫統需求分析階段就可以準確確定繫統的軟硬件需求,併能大大降低繫統的更改驗證成本.首先論述瞭建模語言AADL的基本構成以及與航空電子應用接口規範ARINC653的對應關繫;然後描述瞭飛行管理繫統的功能構成,併建立瞭飛行管理繫統的AADL模型;最後詳細論述瞭繫統調度理論,AADL工具,飛管繫統AADL模型的倣真分析.通過倣真分析為飛管繫統的處理器選型、繫統設計、軟件設計與優化提供瞭依據.
항공전자계통연건적건모여분석시보증군용화민용비궤고가고、고성능적중요수단,야시모형구동연건체계결구적중요조성부분.비행관리계통작위항공전자계통적중요조성부분,전통상,대해계통적가조도성분석시재계통설계완성후,재실현여험증계단진행적,저사득계통무법진행적준학지연경건수구분석.채용선진적건모방법AADL대기진행건모,위비행관리계통적가조도성분석、가고성분석이급통신연지등분석제공료가능,사득재계통수구분석계단취가이준학학정계통적연경건수구,병능대대강저계통적경개험증성본.수선논술료건모어언AADL적기본구성이급여항공전자응용접구규범ARINC653적대응관계;연후묘술료비행관리계통적공능구성,병건립료비행관리계통적AADL모형;최후상세논술료계통조도이론,AADL공구,비관계통AADL모형적방진분석.통과방진분석위비관계통적처리기선형、계통설계、연건설계여우화제공료의거.
