Abstract


Historical reviews are first made on the application of digital computers in the instrumentation and control system of nuclear power plant and the operating and maintenance experiences of usages of digital computers in the nuclear power plant.Then, the result of workshop on the comparison of Korean and Japanese activities are summarized for the experience and approach of introducing digital computers in the safety system of nuclear power plant. Lastly, two issues are discussed for the software QA activity, i.e., formal method for software validation and automated software generation.

Powered by JDBS Ver.2.1.0
(C) 2020 Hirotake Ishii