免费论文摘要：IMA软硬件功效重构的建立模型与考证本领接洽

归纳模块化宇航电子体例（IMA），暂时仍旧在军用和民用范围获得了确定范畴的运用，与保守的散布式宇航电子体例比拟，归纳模块化宇航电子体例完备反复无常性和可重用性的特性，硬件资源和软硬件资源，在IMA体例中不妨实行共享。IMA体例平分秋色区的安排不只不妨使新一代宇航电子体例的分量和耗费大大缩小，同声也不妨灵验的普及宇航电子体例的精巧性和重用性。功效重构动作IMA体例的最要害特性之一，就展现了IMA体例的精巧性。为了对IMA体例中软硬件功效重构的精确性举行考证，正文提出了一种对准IMA软硬件功效重构的建立模型与考证本领。正文开始对IMA软硬件功效重构的相映文件举行了调查研究，给出了IMA软硬件功效重构所需的因素，经过分区形式变换、过程状况变换、通讯、资源调配和时序五个观点，动作刻画IMA软硬件功效重构的基础因素。随后，对准IMA软硬件功效重构实行进程中的特性，提出了IMA软硬件功效重建立模的本领，将重构进程拆分为构件、构件的状况、状况变化的前提和状况变化的动作实行建立模型。接下来，采用AADL谈话动作建立模型谈话，贯串AADL谈话的基础语法，配以ARINC 653附属类小部件和动作附属类小部件，实行AADL谈话对IMA软硬件功效重构的建立模型。而后，提出了由AADL模子向功夫自效果模子变换的准则，实行两种模子之间的变换。结果采用UPPAAL动作东西，对功夫自效果模子的可达性、无死锁和及时性举行考证，进而实行对IMA软硬件功效重构的考证。鉴于上述本领，正文采用了某IMA体例中软硬件功效重构案例动作范例，考证了本领的精确性。

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

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