ARINC653航空电子系统AADL建模技术研究

摘要：

随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础.详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明.

关键词：AADL模型、ARINC653系统、模型驱动工程

所属期刊栏目：32

分类号：TN911

在线出版日期：2013-09-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：118-120,145