Safety critical software in nuclear power

被引:0
|
作者
Welbourne, D
机构
来源
GEC JOURNAL OF TECHNOLOGY | 1997年 / 14卷 / 01期
关键词
standards; soft control; safety critical; software; reliability; research and development; safety; safety-related; nuclear; nuclear power; control; protection; integrity; classification; faults; hazards; diversity; PWR; VVER; AGR; CANDU;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
The uses of computer systems on nuclear plant are outlined. The development of safety-critical and safety-related uses are described. These are classed as Category A and Category B with C by the International Electrotechnical Commission (IEC), in standard IEC1226. The key application and reliability requirements are provided, together with the relevant standards. Comments are made on acceptance by rite nuclear safety regulators and the consequences for system structures. Expected developments in computer use are discussed with special reference to Eastern Europe, where Russian designs of reactor are being provided with upgrades and retrofit systems. The expected use of soft, on-screen control of safety plant, the use of commercial off-the-shelf (COTS) software and the increased use of computers for protection are discussed. In conclusion, some of the areas needing R&D are described.
引用
收藏
页码:33 / 40
页数:8
相关论文
共 50 条
  • [31] Safety-Critical Software
    Merino, Pedro
    Schoitsch, Erwin
    ERCIM NEWS, 2008, (75): : 12 - 13
  • [32] Safety-critical software
    1600, IEEE Computer Society (30):
  • [33] Methodology study on safety-critical software reliability evaluation of digital I&C systems at nuclear power plants
    School of Economics and Management, Harbin Engineering University, Harbin
    150001, China
    不详
    150001, China
    Hedongli Gongcheng, 1 (177-181):
  • [34] Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application
    Son, HS
    Seong, PH
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2003, 80 (01) : 19 - 32
  • [35] Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants
    Cho, Chi-Shiang
    Chung, Wei-Ho
    Gao, Deyun
    Zhang, Hongke
    Kuo, Sy-Yen
    2011 IEEE 17TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2011, : 129 - 134
  • [36] Ensuring Software Safety in Safety Critical Domains
    Bahig, Ghada Moussa
    El-Kadi, Amr
    2012 INTERNATIONAL CONFERENCE FOR INTERNET TECHNOLOGY AND SECURED TRANSACTIONS, 2012, : 308 - 312
  • [37] Problems of Evaluating the Software Quality for Systems Important for the Nuclear Power Plant Safety
    Jharko, E. Ph.
    IV INTERNATIONAL CONGRESS ON ULTRA MODERN TELECOMMUNICATIONS AND CONTROL SYSTEMS 2012 (ICUMT), 2012, : 461 - U1650
  • [38] QUANTIFYING SOFTWARE SAFETY IN NUCLEAR POWER PLANTS: A FRAMEWORK FOR REQUIREMENTS PHASE ASSESSMENT
    Li, Boyuan
    Li, Duo
    Li, Jianghai
    Guo, Chao
    Xiong, Huasheng
    Zhou, Shuqiao
    Huang, Xiaojin
    PROCEEDINGS OF 2024 31ST INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, VOL 10, ICONE31 2024, 2024,
  • [39] A Quantification Framework for Software Safety in the Requirements Phase: Application to Nuclear Power Plants
    Li, Boyuan
    Huang, Fuqun
    Quinn, Ted
    Smidts, Carol
    2018 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2018,
  • [40] Nuclear safety-critical Digital Instrumentation and Control system software: Reliability demonstration
    Guo Jia
    Yang Ming
    Zou Bowen
    Zhang Yuxin
    Yang Jun
    Dai Xinyu
    ANNALS OF NUCLEAR ENERGY, 2018, 120 : 516 - 527