核电子学与探测技术
覈電子學與探測技術
핵전자학여탐측기술
NUCLEAR ELECTRONICS & DETECTION TECHNOLOGY
2012年
4期
497-500
,共4页
核电厂%核安全级%软件%设计%编码%可确定性
覈電廠%覈安全級%軟件%設計%編碼%可確定性
핵전엄%핵안전급%연건%설계%편마%가학정성
当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定.软件设计和编码是软件通过鉴定关键的一环.核安全级软件必须具备可确定性的特征,其设计和编码必须体现这一特征.对于核安全级软件设计和编码如何满足核安全要求的研究,是软件厂商和监管当局面临的问题之一.
噹前法律和法規規定,對覈電廠安全繫統使用的覈安全級數字設備必鬚對其硬件和軟件進行鑒定.軟件設計和編碼是軟件通過鑒定關鍵的一環.覈安全級軟件必鬚具備可確定性的特徵,其設計和編碼必鬚體現這一特徵.對于覈安全級軟件設計和編碼如何滿足覈安全要求的研究,是軟件廠商和鑑管噹跼麵臨的問題之一.
당전법률화법규규정,대핵전엄안전계통사용적핵안전급수자설비필수대기경건화연건진행감정.연건설계화편마시연건통과감정관건적일배.핵안전급연건필수구비가학정성적특정,기설계화편마필수체현저일특정.대우핵안전급연건설계화편마여하만족핵안전요구적연구,시연건엄상화감관당국면림적문제지일.
