| 核电厂安全系统软件设计及编码研究 |
| |
| 引用本文： | 毛从吉,毋琦. 核电厂安全系统软件设计及编码研究[J]. 核电子学与探测技术, 2012, 32(4): 497-500 |
| |
| 作者姓名： | 毛从吉 毋琦 |
| |
| 作者单位： | 环保部核与辐射安全中心,北京,100082 |
| |
| 摘 要： | 当前法律和法规规定,对核电厂安全系统使用的核安全级数字设备必须对其硬件和软件进行鉴定。软件设计和编码是软件通过鉴定关键的一环。核安全级软件必须具备可确定性的特征,其设计和编码必须体现这一特征。对于核安全级软件设计和编码如何满足核安全要求的研究,是软件厂商和监管当局面临的问题之一。
|
| 关 键 词： | 核电厂 核安全级 软件 设计 编码 可确定性 |
Research of Software Design and Coding for Safety Systems in Nuclear Power Plants |
| |
| MAO Cong-ji , WU Qi. Research of Software Design and Coding for Safety Systems in Nuclear Power Plants[J]. Nuclear Electronics & Detection Technology, 2012, 32(4): 497-500 |
| |
| Authors: | MAO Cong-ji WU Qi |
| |
| Affiliation: | (Nuclear and Radiation Safety Centre,MEP,100082) |
| |
| Abstract: | Chinese code and regulations have stipulated that Class 1E equipments included hardware and software must be qualified for digital safety systems in Nuclear Power Plants.Software design and coding is one key aspect to pass the qualification.Class 1E software must meet the requirement of deterministic,and Software design and coding also reflect this characteristic.Research of how to meet requirement of qualification for software design and coding is one issue faced by both vendors and regulatory authorities |
| |
| Keywords: | Nuclear Power Plant Class 1E Software design coding deterministic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
