测控技术2013，Vol.32Issue(7)：118-120,145,4.
ARINC653航空电子系统AADL建模技术研究
Study on AADL Modeling Techniques for ARINC653 Avionics Systems
单鹏 1王长宇2
作者信息
- 1. 中航工业西安航空计算技术研究所,陕西西安710068
- 2. 中航工业沈阳飞机工业(集团)有限公司,辽宁沈阳110034
- 折叠
摘要
Abstract
As ARINC653 system has been widely used in the field of China's aviation,the work on studying ARINC653 system modeling methods would lay the foundation for the further study on model-based reliability and schedulability analysis of ARINC653 system.The study methods to model ARINC653 system are discussed using AADL in detail,including the mechanisms to model ARINC653 system,partition,process,process communication and health-monitor.Finally,an example of AADL model is given for further explanation.关键词
AADL模型/ARINC653系统/模型驱动工程Key words
AADL model/ ARINC653 system/ model driven engineering (MDE)分类
信息技术与安全科学引用本文复制引用
单鹏,王长宇..ARINC653航空电子系统AADL建模技术研究[J].测控技术,2013,32(7):118-120,145,4.
