免费论文摘要：鉴于AADL的嵌入式软硬件体例考证本领接洽

                                                  摘  要       跟着嵌入式体例的迅猛兴盛，其构造也越来越搀杂，更加在宇航电子体例上面，仍旧兴盛为归纳模块化体例。与此同声，对于体例的安定性、真实性等非功效属性上面的诉求也越来越高。为了满意此需要，美国宇航电子工程协会在1997年颁布了ARINC653规范，即宇航电子体例运用软硬件接口规范，过程有年的兴盛，仍旧变成宇航电子体例的重要行业规范。然而ARINC653不过给出了关系规范，并没有给出表白关系观念的笼统标记。所以，美国灵活车工程师学会于2011鉴于AADL建立模型谈话颁布了ARINC653附属类小部件，经过此附属类小部件对ARINC653规范举行刻画。在多个附属类小部件的扶助下，AADL不只不妨刻画嵌入式体例的软硬件构造，还能领会考证嵌入式体例中关系的非功效属性。       固然ARINC653规范中规则了双层安排体制，但并没有给出相映的分区安排规范，并且个中的鉴于主功夫框架轮转安排算法，固然大略易懂，但生存清闲功夫滥用的缺点。除此除外，软硬件的搀杂性也带来了软硬件真实性上面的题目。AADL固然可经过缺点模子对体例的真实性题目举行刻画，但其只能表白为静态体例模子，难以对体例真实性模子中组件之间的动静交互动作举行领会。因为生存上述的各类题目，本舆论就嵌入式体例非功效属性考证做了以次几个上面的接洽：       （1）开始，将鉴于优先级的分区安排体制运用于ARINC653软硬件中。由于鉴于优先级的分区安排体制允很多个分区以优先级的办法抢占主功夫框架中的清闲功夫，进而不妨填补ARINC653规范设置的安排体制清闲功夫滥用的缺点。其次，为了对本舆论所沿用的鉴于优先级的分区安排体制举行可安排性领会，正文对AADL开源集成开拓情况（OSATE）举行了二次开拓。       （2）AADL缺点模子生存只能静态刻画体例的缺点，为了更好的对真实性模子举行领会，正文按照缺点模子的基础观念、缺点传递、缺点过滤等多个上面，提出了关系变换准则，将鉴于AADL 的真实性模子变换为妨碍树，并按照现有妨碍树领会本领对软硬件的真实性举行考证。       （3）运用AADL开源集成开拓情况（OSATE）对遨游筹备子体例范例举行了可安排性和真实性领会考证。试验截止表白，本文华用的鉴于优先级的分区安排体制在确定水平上革新了ARINC653规范安排体制的清闲功夫滥用，而且沿用将真实性模子变换为妨碍树的本领不妨灵验考证体例的真实性。 要害词：AADL，ARINC653，模子变换，真实性，可安排性

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

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