论文部分内容阅读
随着新一代航空电子机载软件功能和性能的复杂度不断增加,如何高效的设计与开发机载软件已成为航电领域亟待解决的问题。为了支持机载软件的高效设计与开发,采用基于嵌入式构件的软件开发是一种值得提倡的方法。但在机载软件的嵌入式构件化设计与开发过程中却面临以下问题:(1)已有的嵌入式构件模型大多针对特定领域设计,并不支持航电领域的设计与开发;(2)机载软件领域目前不存在通用的将构件应用转化为目标框架代码的代码生成器。因此,针对上述问题,研究适应于航电领域的嵌入式构件模型及其代码生成器具有十分重要的意义。本论文基于航电系统应用软件接口标准(ARINC653标准),就机载软件嵌入式构件模型问题和构件的代码生成器做了以下几个方面的工作:(1)在分析ARINC653标准的基础上将其核心的时间和空间分区隔离引入到嵌入式构件模型中,提出了ECOM构件模型。并分析ECOM构件模型的元模型、交互和组合三方面,在此基础上利用构件描述语言(CDL)对ECOM构件模型进行准确的描述。(2)鉴于构件化设计与开发需要代码生成器的原因,本文设计了ECOM构件模型的代码生成器。为实现构件模型信息完整的映射在内存结构中,本文依据构件模型设计了其在内存中的中间表示结构(IR);从目标框架代码的生成角度出发,本文设计了从中间表示映射为C代码的一套详细映射规则。(3)通过ARINC653仿真环境下实现ECOM构件模型代码生成器并举例应用。结果表明,基于ECOM构件化设计和开发方法提高了机载软件的开发效率,减轻了应用逻辑实现人员的负担。