免费论文：鉴于重写论理规格证明的软硬件真实性领会

跟着软硬件范围和搀杂度的赶快延长，鉴于构件的开拓本领在软硬件开拓中己经变成趋向。怎样评价鉴于构件的软硬件的真实性，仍旧变成软硬件，更加是要害软硬件的要害接洽课题。保守的软硬件真实性估计模子以黑盒的办法对软硬件举行真实性评价，须要软硬件的作废消息动作参数，普遍实用于在软硬件实行之后，经过本质实行软硬件搜集洪量的尝试数据，并且模子把软硬件看成一个完全周旋，没有商量到软硬件里面构造对软硬件真实性的感化。在鉴于构件的软硬件开拓中，人们提防到软硬件体制构造的要害性，提出了很多鉴于体制构造的软硬件真实性模子，那些真实性模子基础上都把软硬件体制构造笼统为构件间的变化几率，一上面，那些几率值在软硬件开拓早期很难精确获得；另一上面，变化几率没有反应出软硬件体制构造怎样介入到真实度计划中。其余，软硬件的操纵剖面临软硬件的真实性评价也起着至关要害的效率，而暂时大普遍鉴于体制构造的软硬件真实性模子都没有商量到软硬件操纵切面，纵然已有少许试验性的接洽，但须要简直实行软硬件，在软硬件开拓的早期阶段并不实用。 对准之上题目，为了在软硬件的早期安排阶段在充溢商量软硬件体制构造的普通上同声给出软硬件操纵切面的精细消息以更精确的猜测SOA软硬件的真实性，正文提出了一种鉴于重写论理规格证明的软硬件真实度计划本领。而后安排并实行了一个鉴于重写论理的软硬件真实度计划东西，并与试验室已有的多模子采用软硬件真实性评价东西举行集成，实行一个软硬件真实性归纳领会体例。正文重要处事实质如次： （1）提出鉴于重写论理的软硬件真实度计划本领。以OWL-S刻画软硬件需乞降安排阶段的关系消息，在情势化语义设置的普通上，减少真实性消息，并经过重写论理的操纵语义“重写”出软硬件真实度。 （2）安排并实行一个鉴于重写论理的软硬件真实度重写框架。框架包括了OWL-S谈话的重写语义设置和真实度计划的重写语义设置。经过该框架，鉴于Maude的软硬件模子就不妨在Maude重写体例中重写，在重写进程入彀算软硬件的真实度。 （3）软硬件真实性归纳领会体例的集成。在真实度重写框架的普通上，安排并实行了一个鉴于重写论理的软硬件真实度计划东西，并集成到多模子采用软硬件真实性评价东西中，实行一个软硬件真实性归纳领会体例，对SOA软硬件举行真实性领会。

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

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