免费论文摘要：鉴于AADL的要害宇航机载计划机软硬件体例领会与建立模型

跟着宇航电子体例的飞快兴盛，宇航机载计划机软硬件的范围越来越大，功效越来越搀杂，对宇航机载计划机软硬件的开拓本领提出了新的挑拨。宇航机载计划机体例构造搀杂，须要由多个豆芽网和好店足球并行开拓，保守的开拓形式中，子体例的数据接口典型、功效需乞降本能需要经过文书档案办法举行设置，并行开拓功效卑下；因为宇航航天这一特出范围对体例安定性和真实性的高诉求，宇航机载计划机体例中普遍运用容错安排来普及体例本能，然而为每个体例独立举行容错安排带来洪量反复性处事，增大了体例堕落几率，减少了后期体例保护的处事量。正文对宇航机载计划机软硬件开拓本领面对的题目打开了接洽。正文按照自上而下、从完全到局部的分层建立模型思维，鉴于ARINC国际宇航规范领会要害宇航机载计划机子体例的体例构造，并运用AADL谈话对其举行建立模型，运用一致的模子刻画体例接口、体例功效及体例本能，实行可并行开拓，普及开拓功效；对准宇航机载计划机体例洪量的容错安排需要，正文对宇航机载计划机体例中运用的容错本领创造容错模子，归纳了一组可重用容错模子沙盘，结构容错建立模型扶助东西。普及宇航机载计划机体例的容错模子开拓功效，贬低缺点危害。本文华用AADL谈话对宇航机载计划机体例的软硬件、硬件体制构造、要害本能属性及关系容错本领举行建立模型，归纳了宇航机载计划机软硬件体例的AADL建立模型本领；安排并考证了一种从AADL模子到鉴于ARINC653分区典型的可实行代码实行本领，并运用开源机动代码天生东西，最后将AADL模子变化为不妨运转在ARINC653分区体例上的可执路途序框架，为嵌入式及时体例安排职员供给了一种从模子创造到可实行代码天生的实行本领和开拓过程；同声经过该本领考证大气数据计划机体例、导航体例、遨游处置体例AADL模子的精确性。

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

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