上海烜翊科技有限公司 访客留言 申请认证

信用网址： 102124554.11315.com   

有限责任公司(自然人投资或控股) 成立历史第11 年

专利信息

一种基于体系架构模型的外部离散事件驱动验证系统及方法【异议或纠错】

档案编号： CQ-639-2035-3717
档案文号：
专利权人： 申请人 
发布时间： 发布时间 
档案分类： 专利权 
分 类 号： 第G06F30/20;G06F8/35;G06F8/10类
授权状态： 已授权
档案内容： 本发明涉及逻辑仿真领域,特别是涉及一种基于体系架构模型的外部离散事件驱动验证系统及方法,该方法基于已构建好的体系架构模型,获取模型中定义的离散事件数据,用户根据这些离散事件数据组合成一系列外部离散事件驱动案例,事件驱动验证系统通过这些案例自动发送离散事件至体系架构模型,体系架构模型根据接收到的离散事件,如有事件对应触发,则按照响应机制顺序执行；如无外部离散事件对应,则不响应该事件并告警。通过上诉方法,本发明能够进一步提高体系架构模型的完整性与正确性,使得体系架构模型有了更高的业务价值。
附件下载：  (原始资料备查)

相关专利信息信息

评论

您需要登录后才可以发表评论，请 登录 或 注册

打分

登录

说明：
一、所有信息力求客观、真实：以上信息由全国各级政府职能部门、各行业协会（社团组织）、金融机构、主流媒体、信息主体或实名制下的广大消费者（包括交易对方、员工等）客观提供，不含有本征信平台的任何主观评价；
二、信息异议机制：欢迎大家对有异议的信息及时提出，我们将按照《绿盾全国企业征信管理办法》规定对异议进行核实、修正，确保客观、公平；
三、尊重发布者权益，永不"删贴"：对于符合国家法律、法规和本征信平台规定的每一条信息，都将客观记录于企业信用档案，参与信用分值计算，并长期保存。

分享到:

更多>>视频联播

更多>>绿盾征信系统规则

绿盾在线
×
商务合作
企业服务
征信合作

 

=合作留言=
绿盾业务合作
×
  • 马先生
    15652211315
  • 黄先生
    15652011315