安全软件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, 中国核学会核电子学与核探测技术分会、中国电子学会核电子学与核探测技术分会、中核(北京)核仪器厂、《核电子学与探测技术》编辑部. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论