免费论文摘要：鉴于AADL的嵌入式软硬件情势化考证接洽

为了满意航空电磁法体例软硬件对高真实性等诉求，在1997年美国宇航电子工程协会（AEEC）颁布了航空电磁法体例运用软硬件规范接口（ARINC653规范）。暂时，ARINC653仍旧兴盛为是航空电磁法的重要的行业规范，它设置了用来航空电磁法体例安排的一系列功效。然而ARINC653不过给出关系的规范，并没有给出表白关系观念的笼统标记。所以，2011年，SAE颁布了鉴于AADL的ARINC653附属类小部件用来刻画ARINC653规范，而且动作模子启动（Model Driven Architecture，MDA）范围的佼佼者AADL不只能刻画嵌入式的软硬件构造，并且能考证嵌入式软硬件中关系的非功效性属性。然而在本质运用中，ARINC653附属类小部件只是是经过天然谈话刻画了关系的映照联系，这对于开拓职员来说，简单形成曲解，爆发二义性，而且AADL中生存没有精确设置一种体制来实行关系范围牵制查看的缺点，简单引导开拓职员在建立模型时违犯了ARINC653规范中潜伏的范围牵制。固然ARINC653规范中规则两层安排的体制，但在并没有给出相映的分区安排规范，其给出鉴于功夫片轮转的安排算法，固然大略，但常常爆发清闲分区，引导资源的滥用。与之同声，软硬件的搀杂性也带来了软硬件真实性的题目，但鉴于AADL的ARINC653缺点模子只能表白为一个静态的体例模子，这对于领会真实性模子中组件之间的交互的动静动作带来未便。所以，正文对准于上述题目，做了以次上面的接洽：开始，正文把ARINC653软硬件分别为分区模子、分区内工作模子和缺点模子，运用数学设置情势刻画了模子中ARINC653规范所设置的关系元素与AADL规范中所设置的元素之间的联系，并运用牵制领会谈话（REAL，Requirements Enforce- ment Analysis Language）对模子实行ARINC653范围牵制查看，进而制止模子与范围牵制不普遍的情景。其次给出鉴于加权轮转的ARINC653安排战略。设置分区权重计划公式，分区以权重办法轮转运转，分区内安排以RMS动作安排算法。并对AADL开源集成开拓情况（OSATE）举行二次开拓再不扶助两层安排，进而对该安排战略举行安排领会。结果，鉴于AADL的ARINC653缺点模子只能表白为一个静态的体例模子的缺点，为了更好评价鉴于AADL的ARINC653模子的真实性，从缺点的基础观念、缺点的传递、缺点的过滤/樊篱上面商量，提出关系的变换准则，把鉴于AADL的ARINC653模子变换为广义随机Petri网。并依靠随机petri网领会本领举行真实性评价。

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

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