CORC  > 清华大学
安全软件V&V若干问题探讨
李铎 ; 张良驹 ; Li Duo ; Zhang Liangju
2010-07-15 ; 2010-07-15
会议名称第七届全国核仪器及其应用学术会议暨全国第五届核反应堆用核仪器学术会议论文集 ; Proceedings of the 7th National Conference on Nuclear Instrument and Its Application & the 5th Nuclear Reactor Instrument Conference ; 第七届全国核仪器及其应用学术会议暨全国第五届核反应堆用核仪器学术会议 ; The 7th National Conference on Nuclear Instrument and Its Application & the 5th Nuclear Reactor Instrument Conference ; 中国青海西宁 ; CNKI ; 中国核学会核电子学与核探测技术分会、中国电子学会核电子学与核探测技术分会、中核(北京)核仪器厂、《核电子学与探测技术》编辑部
关键词数字化 安全软件 验证与确认 Digitalization Safety Critical Software Verification & Validation(V&V) TM623.8 TP319
其他题名Discussion on Issues of Safety Software Verification & Validation
中文摘要安全软件的V&V在数字化保护系统的开发和审评过程中具有重要的作用,只有通过严格和充分的V&V,才能证明安全软件是足够可靠的,运行该软件的数字化保护系统是足够安全的,才能被允许应用到核工程上。本研究以国际组织的相关标准为依据,通过综合分析,对安全软件V&V有关的若干问题给出了有法规依据的科学解答,有助于避免安全软件V&V工作的盲目性。; The process of Verification and Validation(V&V) for safety critical software plays a vital role in the development and licensing of a digital Reactor Protection System.The software embedded in it should pass a strict and sufficient V&V process,so that it could be proved reliable enough to be used in the reactor protection. Based on investigation of related codes and standards from different international organizations,major issues about safety software V&V were clarified.
语种中文 ; 中文
内容类型会议论文
源URL[http://hdl.handle.net/123456789/66281]  
专题清华大学
推荐引用方式
GB/T 7714
李铎,张良驹,Li Duo,等. 安全软件V&V若干问题探讨[C]. 见:第七届全国核仪器及其应用学术会议暨全国第五届核反应堆用核仪器学术会议论文集, Proceedings of the 7th National Conference on Nuclear Instrument and Its Application & the 5th Nuclear Reactor Instrument Conference, 第七届全国核仪器及其应用学术会议暨全国第五届核反应堆用核仪器学术会议, The 7th National Conference on Nuclear Instrument and Its Application & the 5th Nuclear Reactor Instrument Conference, 中国青海西宁, CNKI, 中国核学会核电子学与核探测技术分会、中国电子学会核电子学与核探测技术分会、中核(北京)核仪器厂、《核电子学与探测技术》编辑部.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace