SIS SS IEC 880-1987 核检测仪表．核电站安全系统计算机软件

标准号：SIS SS IEC 880-1987
中文标准名称：核检测仪表．核电站安全系统计算机软件
英文标准名称：Nuclear instrumentation - Software for computers in the safety systems of nuclear power stations
发布日期：1987/11/15 12:00:00
实施日期：1999/12/31 12:00:00
适用范围：This standard is applicable to highly reliable software required for computers to be used in the safety systems of nuclear power plants for safety functions — Class 1 functions according to IEC Publication 643: Application of Digital Computers to Nuclear Reactor Instrumentation and Control. This includes the safety actuation systems, the safety system support features and the protection systems.For the utilization of computer systems for non-safety functions the principles of IEC Publication 639: Nuclear Reactors — Use of the Protection System for Non-safety Purposes, are applicable.This standard provides requirements for each stage of software generation, including design, development, qualification and operation as well as the documentation for each stage of the software generation for the purpose of achieving highly reliable software.The principles applied in developing these requirements include:— best available practice;— top-down design methods;— modularity;— verificationofeach phase;— clear documentation;— auditable documents;— vaiidation testing.Additional guidance and information on how to comply with the requirements of the main part of this standard is given in Appendices A to F. References to those appendices are given in brackets.If practices differing from those of the appendices are used, they shall be documented and auditable according to the requirements of the main part of this standard.