免费论文摘要：鉴于机载软硬件范围常识的高层需要建立模型与考证

计划机体例仍旧在宇航航天范围中获得了普遍的运用，新颖铁鸟简直一切要害功效体例都与软硬件出色关系，然而软硬件的莫大搀杂性对机载体例的安定性和真实性爆发了极大的反面感化。为了保证机载软硬件的安定，须要对其举行充满的安定认证本领加入运用。暂时沿用的规范是美国宇航无线电委员会提出的宇航适航认证规范体制DO-178B以及DO-178C，规范体制规则了A级软硬件开拓考证进程，并规则了由体例需要开拓高层需要的进程及高层需要的考证目的。归纳化模块航空电磁法体例是暂时机载电子体例构造的最高档次，然而归纳化遗失了共同式构造中物理分隔的上风，且对范围大师诉求普及；暂时比拟时髦的是沿用AADL谈话、UML MARTE等对机载软硬件举行建立模型，对开拓职员诉求比拟高，给开拓带来了确定的难度且很难对体例需要举行考证，不许保护需要的完备性、普遍性及可追究性；对于机载软硬件体例的高安定性、及时性等需要，很多接洽都是鉴于UML给出建立模型本领，该本领不易追究和考证需要。对准上述题目，正文提出一种鉴于常识图的机载软硬件高层需要建立模型与考证本领，该本领以因果模子为普通举行开拓，按照ARINC范围常识规范建立常识图，鉴于常识图实行高层需要的建立模型与考证。正文重要处事如次：提出一种范围常识的刻画本领和机载软硬件范围常识图模子，运用灵验的数据共享和并发遏制本领来共同建立处置范围常识图，并在建立时保证常识图的无环性。提出鉴于常识图对体例需要举行建立模型的本领，安排常识配合算法获得高层功效性需要，并对体例需要中本能、安定性和窃密性等非功效需要提出变换本领获得高层非功效性需要。提出鉴于常识图对高层需要举行考证的本领，运用常识图配合算法在高层需要建立模型的进程中考证其完备性，运用因果链表白高层需要来考证其普遍性，运用常识图的个性考证高层需要的可追究性。在之上处事的普通上，安排实行了鉴于常识图的高层需要的建立模型与考证东西，该东西不妨供范围大师共同建立常识图，并对给定的体例需要实行高层功效和非功效需要的建立模型，实行对高层需要的完备性、普遍性和可追究性的考证。

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

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