综合模块化航空电子系统(IMA)由于其灵活的模块化架构被广泛应用于航电系统,其模块间通过分区进行隔离,分区间应用互不干扰,每个模块上的所有应用共享模块的计算资源、存储资源和I/0资源,各个模块之间通过高速总线进行联接。时间触发以太网(TTE)在标准以太网的基础上增加了时间触发机制,通过各节点本地时钟之间的同步机制实现了时间同步,其中时间触发流量能够在确定的时间内传输,具有较高的实时性和可用性,受到混合关键性航电系统通信的广泛应用。集成的模块化航空电子架构与新兴的SAE TTEthernet标准相结合,为满足严格的安全性,可靠性和性能要求的混合关键航空电子应用的部署提供了强大的基础架构。时间触发以太网TTE满足混合安全关键性航电系统中的不同的实时性需求,但是国内外鲜少有人研究关于该领域的建模方法,因此本文研究面向TTEthernet的综合模块化航电系统建模方法,旨在提供一种航电系统的实时性网络建模方法,并为分析系统网络时延及其它非功能属性提供一个模型基础。本文提出一种基于模型的方法以支持对部署在基于TTEthernet的IMA架构上的混合关键性航电应用的建模。为了实现该方法,首先根据AS6802、ARINC664-P7和AADL标准,进行集成相关建模特征提取,形成AADL-Network的需求模型,需求模型包含TTE领域建模需求和集成IMA架构的TTE数据流传输需求。其次,基于EMF框架设计包含TTEthernet领域和IMA架构相关概念和约束的系统网络元模型,涵盖同步元模型,调度元模型,帧元模型和IMA元模型。然后,使用形式化语言巴克斯范式BNF定义该元模型的具体文本语法,其中包含建模语言AADL-Network的词法及语法规范。最后,基于Xtext框架实现该领域特定建模语言及其解析器,该解析器包含词法分析,语法分析,交叉引用和语义分析四个功能,并将该解析器与AADL编译器进行集成。文中最后对空压机控制系统使用上述建模方法及工具进行建模,展示了工具及方法的应用范围及场景。根据所设计的建模方法及工具,能够对面向时间触发以太网的综合模块化航电系统建模,支持系统早期开发阶段的分析与验证,解决了现有建模语言在时间触发以太网络建模方面的不足。基于模型的方法,提高了嵌入式软件开发效率,节省了人力成本,丰富了模型驱动开发。