免费论文：鉴于AADL的机载软硬件物理模子到归纳化学工业机械载软硬件模子的变换东西的接洽与实行

机载软硬件是安定要害的嵌入式体例。归纳模块化宇航电子（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模子，以尝试东西的功效性精确性。

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/261086.html