论文纲要：机载软硬件因果模子到AADL模子的变换本领接洽与实行

机载软硬件是嵌入式及时安定要害体例软硬件。归纳化模块航空电磁法体例（Integrated Modular Avionics，IMA）是暂时机载电子体例构造的最高档次。ARINC653是在IMA的普通上提出的宇航电子运用软硬件规范接口典型。保守嵌入式软硬件框架结构与开拓本领已不许满意IMA构造的机载软硬件需要，产业界提出模子启动体制构造（MDA）本领对机载软硬件举行开拓。机载软硬件建立模型谈话有AADL、UML和Signal等。暂时国际上比拟时髦沿用AADL谈话对机载软硬件举行建立模型，对范围内开拓职员诉求较高，给开拓带来难度。同声AADL模子中机载软硬件的框架结构是报酬安排出来的，可变换性较小，而且运用AADL模子很难对体例需要举行考证。对准上述题目，试验室课题组提出了一种新的鉴于汇合的机载软硬件建立模型本领——因果模子，使得机载软硬件安排职员只需关心范围模子的安排，不须要熟习软硬件开拓本领以及简直建立模型谈话的语法语义。同声因果模子的体制构造是按照机载软硬件工作的各别而机动天生的，而且运用因果模子不妨很好的对体例需要举行考证。 正文提出一种机载软硬件因果模子到AADL模子，以及因果模子到ARINC653平台软硬件框架结构代码的变换本领，并安排实行了因果模子的模子变换和代码天生东西。重要接洽功效有：拟订因果模子到AADL模子的变换准则、因果模子到ARINC653平台可实行C代码的变换准则以及XML摆设文献的天生准则；提出模子变换和代码天生东西的体例构造和要害算法；实行因果模子的模子变换和代码天生东西。