Evaluating software for safety systems in nuclear power plants
- Lawrence Livermore National Lab., CA (United States)
- Nuclear Regulatory Commission, Washington, DC (United States). Office of Nuclear Reactor Regulation
In 1991, LLNL was asked by the NRC to provide technical assistance in various aspects of computer technology that apply to computer-based reactor protection systems. This has involved the review of safety aspects of new reactor designs and the provision of technical advice on the use of computer technology in systems important to reactor safety. The latter includes determining and documenting state-of-the-art subjects that require regulatory involvement by the NRC because of their importance in the development and implementation of digital computer safety systems. These subjects include data communications, formal methods, testing, software hazards analysis, verification and validation, computer security, performance, software complexity and others. One topic software reliability and safety is the subject of this paper.
- Research Organization:
- Lawrence Livermore National Lab., CA (United States)
- Sponsoring Organization:
- Nuclear Regulatory Commission, Washington, DC (United States)
- DOE Contract Number:
- W-7405-ENG-48
- OSTI ID:
- 10136646
- Report Number(s):
- UCRL-JC-116038; CONF-9406130-1; ON: DE94009103
- Resource Relation:
- Conference: 9. annual conference on computer assurance,Gaithersburg, MD (United States),27-30 Jun 1994; Other Information: PBD: 11 Jan 1994
- Country of Publication:
- United States
- Language:
- English
Similar Records
Final Technical Report on Quantifying Dependability Attributes of Software Based Safety Critical Instrumentation and Control Systems in Nuclear Power Plants
Risk Analysis of Various Design Architectures for High Safety-significant Safety-related Digital Instrumentation and Control Systems of Nuclear Power Plants during Accident Scenarios