发明名称 核电站安全级软件验证与确认方法和系统
摘要 本发明公开了一种核电站安全级软件验证与确认方法,该方法包括:建立核电站安全级软件验证与确认对照单,所述对照单至少包括基础文件列、验证文件列以及意见反馈列;在所述基础文件列中输入核电站安全级软件的功能需求信息;验证所述功能需求信息能否被产品功能信息满足;将验证结果写入所述意见反馈列。此外,本发明还公开了一种核电站安全级软件验证与确认系统。本发明通过在核电站安全软件的概念阶段实现验证和确认,避免了安全软件需求方与软件提供方对概念理解不一致导致的软件故障风险。
申请公布号 CN104462933A 申请公布日期 2015.03.25
申请号 CN201410712835.X 申请日期 2014.12.01
申请人 中广核工程有限公司;中国广核集团有限公司 发明人 郑添;刘真;陈卫华;高峰;叶王平;唐建中;白涛;梁慧慧;彭华清;周军;谷鹏飞;张建波;何亚南;王升超
分类号 G06F21/44(2013.01)I 主分类号 G06F21/44(2013.01)I
代理机构 广州三环专利代理有限公司 44202 代理人 王基才;王冬华
主权项 一种核电站安全级软件验证与确认方法,其特征在于,所述方法包括:建立核电站安全级软件验证与确认对照单,所述对照单至少包括基础文件列、验证文件列以及意见反馈列;在所述基础文件列中输入核电站安全级软件的功能需求信息;验证所述功能需求信息能否被产品功能信息满足;将验证结果写入所述意见反馈列。
地址 518023 广东省深圳市福田区深南中路69号