关键词：AADL模型;;ARINC653系统;;模型驱动工程
摘 要：随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础。详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明。
内 容：原文可通过湖北省科技信息共享服务平台（http://www.hbstl.org.cn)获取