● 摘要
机载软件是安全关键的嵌入式系统。综合模块化航空电子（Integrated Modular Avionics，IMA）是目前机载软件结构发展的最高层次，大大提高了软件的可移植性。ARINC653，作为一个在航空电子行业被广泛应用的标准，依照IMA的原则，在分区的执行环境中为航电系统提供接口。为了保证基于ARINC653规范的操作系统的机载软件的模型的快速构建，我们提出一种安全关键系统领域的基于模型驱动的设计方法。在此设计方法中，我们定义了一个表示ARINC653标准的可执行体系结构的AADL模型——AADL653模型，主要包括两部分：AADL653软件模型和AADL653运行时模型。本文主要关注此方法中的模型转换部分。本课题提出一种机载应用物理模型AADL模型到综合化执行体系结构模型AADL653模型的模型转换方法。首先给出逐层精化的AADL模型到AADL653的模型转换框架；其次给出模型转换规则的BNF语法定义，然后使用面向AADL的形式化表示方法给出模型转换框架内各模型转换规则的形式化定义，使得机载软件设计人员只需构建应用物理模型的AADL模型，使用该模型转换方法即可自动的获取面向综合化体系结构的机载软件AADL653模型。主要工作如下：1. 对AADL模型和AADL653模型进行研究，分析两模型的语法和语义，并制定了AADL模型到AADL653模型的映射规则。2. 设计并实现了AADL模型到AADL653模型的转换工具。首先，分析系统需求，建立模型转换工具的体系结构。然后，选用SODL语言对规则进行进一步描述。制定相关的算法，最后实现系统。3. 选用一个实际生活中的场景，建立AADL模型，并运用此工具生成AADL653模型，以测试工具的功能性正确性。