Abstract: The present invention certifies control modules of engineered safety feature instruments for a power plant automatically. The control modules can be tested before storing or operating. The test is done with enhanced testing speed and saved cost. Thus, safety of the control modules is confirmed.

Abstract: A simulator system transfers parameters between an enhanced nuclear power plant simulator and a safety control system simulator. Problems concerning software common mode failure, interface interactions errors, software failure complexity, and other failure modes, are evaluated. Thus, diversity and defense-in-depth are analyzed and safety is improved.

Abstract: It is described a software verification system and a method for determining anew, upon detection that key characteristics fail an acceptance criteria test, key characteristics and acceptance criteria thereof required for an ensuing verification procedure, so as to perform a spiral verification procedure. Thus, the system and method overcome drawbacks of conventional verification solutions, improve consistency in requirements for budgets and schedules of a verification project, optimize use of resources, maintain the quality of software verification services, enhance the quality of key-controlled services and products, and increase the chance of performing the project successfully. A computer-readable medium for use with the method is further provided.

Abstract: The present invention certifies control modules of engineered safety feature instruments for a power plant automatically. The control modules can be tested before storing or operating. The test is done with enhanced testing speed and saved cost. Thus, safety of the control modules is confirmed.

Abstract: The present invention provides a simulation. In the present invention, a hardware simulation is replaced with a software simulation. Hence, with the software simulation, cost for buying hardware is saved. At the same time, system functions are effectively certified in a limited time. And speed, quality and safety on testing system modules are thus improved.

Abstract: A simulator system transfers parameters between a power plant simulator and a safety control simulator. Problems concerning software common mode failure, interface interactions errors, software failure complexity, and so on, are evaluated. Thus, diversity and defense-in-depth are analyzed and safety is improved.

Abstract: A test facility is obtained for software failure simulation. The test facility applies new failure modes related to software safety analysis and deduction. It is done by integrating a nuclear power plant simulation facility and a high pressure core flooder control facility. And the integration is done through a hardware I/O module and a quality guarantee network.