自动化仪表
自動化儀錶
자동화의표
PROCESS AUTOMATION INSTRUMENTATION
2014年
2期
43-45
,共3页
毛从吉%郑睿鹏%李世欣%尹宝娟
毛從吉%鄭睿鵬%李世訢%尹寶娟
모종길%정예붕%리세흔%윤보연
核设施%核安全级%验证与确认%独立性%可确定性
覈設施%覈安全級%驗證與確認%獨立性%可確定性
핵설시%핵안전급%험증여학인%독립성%가학정성
Nuclear facilities%Nuclear security level%Verification and validation (V&V)%Independence%Determinability
当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须进行鉴定.软件验证与确认是核安全级软件通过鉴定的关键环节,软件验证与确认必须具备独立性的特征.对于核安全级软件验证与确认如何满足当前核安全监管要求的研究,是软件厂商和监管当局共同关注的主要问题之一.核安全级软件验证与确认独立性要求的明确,有利于开发成本的控制和监管的规范化,从管理方面为保证核安全级数字设备安全水平打好基础.
噹前法律和法規規定,對覈電廠安全繫統使用的覈安全級數字設備必鬚進行鑒定.軟件驗證與確認是覈安全級軟件通過鑒定的關鍵環節,軟件驗證與確認必鬚具備獨立性的特徵.對于覈安全級軟件驗證與確認如何滿足噹前覈安全鑑管要求的研究,是軟件廠商和鑑管噹跼共同關註的主要問題之一.覈安全級軟件驗證與確認獨立性要求的明確,有利于開髮成本的控製和鑑管的規範化,從管理方麵為保證覈安全級數字設備安全水平打好基礎.
당전법률화법규규정,대핵전엄안전계통사용적핵안전급수자설비필수진행감정.연건험증여학인시핵안전급연건통과감정적관건배절,연건험증여학인필수구비독립성적특정.대우핵안전급연건험증여학인여하만족당전핵안전감관요구적연구,시연건엄상화감관당국공동관주적주요문제지일.핵안전급연건험증여학인독립성요구적명학,유리우개발성본적공제화감관적규범화,종관리방면위보증핵안전급수자설비안전수평타호기출.