免费论文摘要：AADL模子变换与考证接洽

跟着计划运用范围的连接扩充，计划机软硬件开拓范围渐渐夸大，软硬件开拓的搀杂性越来越高。这引导软硬件开拓周期和开拓用度减少。为领会决那些题目，东西处置构造OMG提出了鉴于模子启动的软硬件开拓本领。这种本领的中心是以模子为重心，将软硬件开拓进程简化为创造论理模子和鉴于一定平台的代码。在MDA中，模子谈话不只仅是安排谈话也是一个编制程序谈话。在及时体例建立模型范围，产业界鉴于模子启动观念，提出结束构化领会和安排谈话（AADL），AADL不妨对及时要害体例的软硬件共同举行安排，由于AADL不妨透彻刻画体例， AADL渐渐变成嵌入式软硬件开拓范围的规范。正文重要接洽了AADL的模子变换和情势化考证本领。作品分红三个局部举行中心接洽。开始，接洽了AADL规范语义，对准AADL情势语义刻画不及，商量了AADL模子的情势化考证本领。经过对AADL模子的可安排性和真实性考证表面的接洽，归纳了AADL模子的普遍考证思绪，将AADL模子变换为其余的情势化模子运用已有的情势化东西举行考证。而且引入了情势化建立模型谈话BIP，它是一种鉴于组件的及时体例建立模型框架。其次，按照MDE的看法，找到了异构模子变换普遍思绪，语义映照和语法层情势变换，提出了运用ATL元模子变换谈话和EMF框架，创造AADL运用模子到BIP模子的变换，并拟订了关系的变换准则和统变换范例。再次，精细引见了AADL实行语义的BIP建立模型本领，接洽了BIP模子的考证表面与考证东西。经过考证变换后的BIP模子的安定性不妨转弯抹角表明AADL模子的真实性。AADL模子变换与考证不妨扶助安排职员在体例开拓早期创造体例中生存的缺点，大大普及体例开拓功效，作品结果指出了这种本领大范围运用还须要处置的题目以及下一步的接洽目标。

来源：半壳优胜育转载请保留出处和链接！

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