skip to main content

Title: Software reliability and safety in nuclear reactor protection systems

Planning the development, use and regulation of computer systems in nuclear reactor protection systems in such a way as to enhance reliability and safety is a complex issue. This report is one of a series of reports from the Computer Safety and Reliability Group, Lawrence Livermore that investigates different aspects of computer software in reactor National Laboratory, that investigates different aspects of computer software in reactor protection systems. There are two central themes in the report, First, software considerations cannot be fully understood in isolation from computer hardware and application considerations. Second, the process of engineering reliability and safety into a computer system requires activities to be carried out throughout the software life cycle. The report discusses the many activities that can be carried out during the software life cycle to improve the safety and reliability of the resulting product. The viewpoint is primarily that of the assessor, or auditor.
Authors:
 [1]
  1. Lawrence Livermore National Lab., CA (United States)
Publication Date:
OSTI Identifier:
10108329
Report Number(s):
NUREG/CR--6101; UCRL-ID--114839
ON: TI94004215; TRN: 94:000919
DOE Contract Number:
W-7405-ENG-48
Resource Type:
Technical Report
Resource Relation:
Other Information: PBD: Nov 1993
Research Org:
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Reactor Controls and Human Factors; Lawrence Livermore National Lab., CA (United States)
Sponsoring Org:
Nuclear Regulatory Commission, Washington, DC (United States)
Country of Publication:
United States
Language:
English
Subject:
22 GENERAL STUDIES OF NUCLEAR REACTORS; 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; NUCLEAR POWER PLANTS; REACTOR PROTECTION SYSTEMS; COMPUTER CODES; RELIABILITY; REACTOR SAFETY; FAULT TOLERANT COMPUTERS 220900; 220200; 990200; REACTOR SAFETY; COMPONENTS AND ACCESSORIES; MATHEMATICS AND COMPUTERS