计算机科学 ›› 2016, Vol. 43 ›› Issue (Z6): 55-59.doi: 10.11896/j.issn.1002-137X.2016.6A.012

• 智能计算 • 上一篇    下一篇

基于AADL的航电构型控制系统的建模分析

周德新,李宁,刘哲旭   

  1. 中国民航大学航空自动化学院 天津300300,中国民航大学航空自动化学院 天津300300,中国民航大学航空自动化学院 天津300300
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受民航局重大专项(MHRD20130112),中央高校基本科研基金(3122015C011)资助

Modeling and Analysis of Avionics Configurations Control System Based on AADL

ZHOU De-xin, LI Ning and LIU Zhe-xu   

  • Online:2018-12-01 Published:2018-12-01

摘要: 针对航电系统的不同构型仿真、系统加改装的验证,为了使构型控制系统可以根据应用需求可靠转换,以满足系统结构能够可靠重构的需求,采用先进的建模语言AADL(结构化分析设计语言)完成了对航电构型控制系统的建模设计。结合AADL对航电构型控制系统进行了详细的分析,展示了该系统的特征与关键技术,体现了此系统的工作原理与内部结构。该模型可以表达系统的功能与非功能约束,实现了系统级的组件建模策略,层次化地描述了系统的架构。

关键词: 航空电子,结构化分析设计语言,构型控制

Abstract: To verify the avionics system’s different configuration stimulations and the system’s remodification,and to solve the issue that configuration control system can change according to operational needs to ensure the system structure can be reliably reconstructed,the advanced AADL(architecture analysis and design language) was adopted to complete modeling design of avionics configuration control system.With AADL,the avionics configuration control system was analyzed in detail,its features and key techniques were revealed,and the system’s operational principle and internal structure were also reflected.This model shows the system’s functions and non-functional constraints,realizes the system-level modeling strategy and hierarchically describes the system’s structure.

Key words: Avionics,Architecture analysis and design language,Configurations control

[1] Feiler P H,Hundak J.developing.AAD-L for Control System:APractitione-r’s Guide(CMU/SEI-2007-TR-014)[M].Pitt-sbur-gh,PA:Software Engineering Institute,Carnegie Mellon University,2007
[2] 钱磊,郁文生,朱明华.基于AADL的无线传感网络的建模与分析[J].计算机科学,2012,9(11):424-427
[3] Feiler P H,Hansson J.Flow Latency Analysis with the Architecture Analysis and Design Language(AADL)[D].Pittsburgh,PA:Software Engineering Institute,Carnegie Mellon University,2007
[4] 李振松,蒋志雄,顾斌.AADL模式转化设计方法研究[J].计算机工程与设计,2011,2(12):424-427
[5] 姜丽云.AFDX网络关键技术研究[D].西安:西安电子科技大学,2013
[6] 杨阳.基于AADL的车用嵌入式实时系统建模方法研究[D].长沙:湖南大学,2012
[7] 殷锋社,汤小明.基于AADL的航空电子系统建模研究[J].舰船电子工程,2013,3(4):88-89
[8] 刘玮,李蜀瑜.AADL的形式化研究[J].计算机技术与发展,2013,3(9):43-45

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!