Computer Science ›› 2016, Vol. 43 ›› Issue (Z6): 55-59.doi: 10.11896/j.issn.1002-137X.2016.6A.012

Previous Articles     Next Articles

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

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!