免费论文：鉴于谓词论理的机载嵌入式软硬件模子普遍性查看本领接洽

巨型民用铁鸟是一个宏大的体例，个中机载嵌入式体例遏制着从飞控、雷到达引擎在前的一切要害体例，是铁鸟的中心本领之一。在模子启动的嵌入式软硬件开拓中，模子的品质确定了软硬件产物的品质。创造一个体例的模子，必定要从各别的观点对体例举行静态的或动静的刻画。即使模子中各别的视角对体例的刻画彼此冲突，鉴于这个模子就不许创造一个可满意的体例，开拓职员依照不普遍的模子举行开拓将形成重要的丢失。所以在早期的安排阶段经过那种普遍性考证本领找到体例动作的不普遍之处，对于缩小尝试与保护的开支有着要害的意旨。UML(Unified Modeling Language，一致建立模型谈话)动作一种仍旧到达普遍运用的通用建立模型谈话，同样在机载嵌入式软硬件开拓范围获得一致运用。现有的模子普遍性查看的本领中，一类是将UML模子变换成其余类题目，这类本领可扩充性差。另一种鉴于谓词推导的本领不妨有对准性地设置普遍性牵制，然而在现有的接洽中普遍是用来查看模子对立体例需要的普遍性。本接洽采用鉴于谓词论理的普遍性查看本领，查看机载嵌入式软硬件UML模子视图间的普遍性。本接洽实质囊括：设置UML元模子、安排UML模子消息到谓词论理的变换体制、运用谓词论理公式设置多组普遍性查看准则并为每个准则供给范例考证。鉴于语义上的普遍性查看表面，安排实行嵌入式软硬件模子普遍性查看东西（Embedded Software Model Consistency Checking Tool Based Predicate Logic，ESMCCT），扶助对机载嵌入式体例软硬件的UML模子的类图、程序图和状况机图之间的机动化普遍性查看。结果，经过一个铁鸟遏制机载软硬件模子的试验，考证了普遍性查看东西的适用性。

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

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