Ultra-Reliable Computer Systems: An Integrated Approach for Application in Reactor Safety Systems

摘要

Improvements in operation and maintenance of nuclear reactors can be realized with the application of computers in the reactor control systems. In the context of this paper a reactor control system encompasses the control aspects of the Reactor Safety System (RSS). Equipment qualification for application in reactor safety systems requires a rigorous demonstration of reliability. For the purpose of this paper, the reliability demonstration will be divided into two categories. These categories are demonstrations of compliance with respect to (a) environmental; and (b) functional design constrains. This paper presents an approach for the determination of computer-based RSS respective to functional design constraints only. It is herein postulated that the design for compliance with environmental design constraints is a reasonably definitive problem and within the realm of available technology. The demonstration of compliance with design constraints respective to functionality, as described herein, is an extension of available technology and requires development. (ERA citation 10:030858)