首页> 中国专利> 一种可重用的参考模型结构及其建模方法与函数库

一种可重用的参考模型结构及其建模方法与函数库

摘要

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

著录项

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2017-12-22

    授权

    授权

  • 2014-01-15

    实质审查的生效 IPC(主分类):G06F17/50 申请日:20130617

    实质审查的生效

  • 2013-12-18

    公开

    公开

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号