首页专利查询专利详情

*来源于国家知识产权局数据,仅供参考,实际以国家知识产权局展示为准

核电站安全级软件验证与确认方法和系统

发明专利无效专利
  • 申请号:
    CN201410712835.X
  • IPC分类号:G06F21/44
  • 申请日期:
    2014-12-01
  • 申请人:
    中广核工程有限公司;中国广核集团有限公司
著录项信息
专利名称核电站安全级软件验证与确认方法和系统
申请号CN201410712835.X申请日期2014-12-01
法律状态驳回申报国家暂无
公开/公告日2015-03-25公开/公告号CN104462933A
优先权暂无优先权号暂无
主分类号G06F21/44IPC分类号G06F21/44查看分类表>
申请人中广核工程有限公司;中国广核集团有限公司申请人地址
广东省深圳市福田区深南中路*** 变更 专利地址、主体等相关变化,请及时变更,防止失效
权利人中广核工程有限公司,中国广核集团有限公司当前权利人中广核工程有限公司,中国广核集团有限公司
发明人郑添;刘真;陈卫华;高峰;叶王平;唐建中;白涛;梁慧慧;彭华清;周军;谷鹏飞;张建波;何亚南;王升超
代理机构广州三环专利代理有限公司代理人王基才;王冬华
摘要
本发明公开了一种核电站安全级软件验证与确认方法,该方法包括:建立核电站安全级软件验证与确认对照单,所述对照单至少包括基础文件列、验证文件列以及意见反馈列;在所述基础文件列中输入核电站安全级软件的功能需求信息;验证所述功能需求信息能否被产品功能信息满足;将验证结果写入所述意见反馈列。此外,本发明还公开了一种核电站安全级软件验证与确认系统。本发明通过在核电站安全软件的概念阶段实现验证和确认,避免了安全软件需求方与软件提供方对概念理解不一致导致的软件故障风险。

专利服务由北京酷爱智慧知识产权代理公司提供