张晓丽 彭寒 景月娟

摘   要：针对当前综合模块化航空电子系统（IMA）开发中存在的问题，提出一种基于特定领域建模的综合航电分区间通信元模型的设计开发方法。通过分析航电系统分区间通信原理，抽取分区间通信的特性，采用基于面向特定领域的元建模分析方法，构建了综合航电分区间通信的元模型，通过元模型解析器生成了面向领域的建模语言，通过模型解释器将应用模型自动生成系统通信配置文件。以模块内部两分区间通信系统为实例对象进行了验证，结果表明该建模语言，具有较好的可理解性、易用性，可显著提高航电系统的开发效率，为基于元模型的综合航电系统建模方法奠定基础。

关键字：模型驱动架构;元模型;分区间通信;综合航电

中图分类号： TP391.9                                       文献标识码：A

Design of Meta-model of Integrated Modular

Avionic Inter-partition Communication

ZHANG Xiao-li PENG Han，JING Yue-juan

（School of Computer，Xi′an Aeronautical University，Xi'an，Shaanxi 710077，China）

Abstract：To solve the development problems of current integrated modular avionic（IMA） system，a development method based on domain-oriented meta-model of inter？partition communication was proposed. Through analyzing the communication principle between the avionics system partition and extract the characteristics，the inter-partition communication meta-model was constructed，then the domain-oriented meta-modeling languages was generated by meta-model parser and the application model used the model parser to generate the communication configure file automatically. Validated through the two partition communication in same module，the result shows that the model language has good intelligibility and usability，and can significantly improve the development efficiency of the avionics system，makes a basis of modeling method of integrated avionics system based on the meta-model.

Key words：model driven architecture;meta-model;inter-partition communication;integrated avionics;

航空電子系统模块化、综合化的快速发展对操作系统软件提出了更高的要求，为保障系统的高安全性、高可靠性，必须有高安全性的实时操作系统支持，ARINC653提出了分区的核心概念，分区是运行在一个处理器模块上的多个应用程序的集合，其优势是空间分区和时间分区的相互隔离，当一个分区内的应用发生错误时，在时间和空间上都不会影响到别的分区的执行。分区间通信是不同分区内的应用程序间的信息交换的主要途径，其正确性和可靠性将极大地影响系统的性能[1]。

随着综合航电系统规模不断的增大，传统的开发测试方法已不能适应日益增长的软件系统规模和复杂性需求，基于模型驱动的可视化系统建模设计方法已经广泛应用于机载软件开发过程中[2，3，4]。……