公开(公告)号：CN103455656B

公开(公告)日：2017-12-22

申请号：CN201310250107.7

申请日：2013-06-17

Applicant: 北京大学深圳研究生院

Inventor： 谢峥 ,  王新安 ,  连志斌 ,  李秋平 ,  刘晴晴 ,  刘畅 ,  柴玲玲

IPC: G06F17/50

Abstract: 本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中，包含一种特殊的状态机核，可以从被验证设计的不同功能角度描述其内部状态，具有容错性和容非完整性，由抽象事件驱动，可以重用早期检验设计功能理解正确性时的分析数据。将参考模型分为不同且固定的耗时过程和非耗时过程，形式了统一的架构，提前将内部的协调工作写成函数库，使用时只需要通过用户自定义部分具体设计特有的属性，完成替换、回调、配置工作，就可以产生对应功能的参考模型，并且重用早期对状态和场景的分析。

公开(公告)号：CN103455656A

公开(公告)日：2013-12-18

申请号：CN201310250107.7

申请日：2013-06-17

Applicant: 北京大学深圳研究生院

Inventor： 谢峥 ,  王新安 ,  连志斌 ,  李秋平 ,  刘晴晴 ,  刘畅 ,  柴玲玲

IPC: G06F17/50

Abstract: 本发明提出了一种可重用的参考模型结构及其建模方法与函数库。该参考模型结构中，包含一种特殊的状态机核，可以从被验证设计的不同功能角度描述其内部状态，具有容错性和容非完整性，由抽象事件驱动，可以重用早期检验设计功能理解正确性时的分析数据。将参考模型分为不同且固定的耗时过程和非耗时过程，形式了统一的架构，提前将内部的协调工作写成函数库，使用时只需要通过用户自定义部分具体设计特有的属性，完成替换、回调、配置工作，就可以产生对应功能的参考模型，并且重用早期对状态和场景的分析。