Developing Digital Instrumentation and Control System for Experimental Power Reactor by Following IEEE Std 1012 −2004 to be Verified and Validated

Abstract

Abstract We will develop the Experimental Power Reactor of Indonesia (RDE), by adopting the HTR-10 type from Tsinghua University-China. The–Instrumentation and Control (I&C) for RDE will developed with digital system technology which in the development process will have verification, validation, design and implementation, reviews, and audits for digital computer software activities. Software design for I&C system of Nuclear Power Plant (NPP) should be started by developing software requirement specification (SRS) to meet the requirement that systems and components should be designed, fabricated, erected, tested, and inspected. In the regulatory structure of developing nuclear power plant in Indonesia, BAPETEN also concern for the design development of important to safety with computer based system for nuclear power plant (NPP) by PERKA BAPETEN No.6 in 2012. Since BAPETEN did not state which standards should be use, we can refer to the standards that are commonly used globally. IEEE Std 1012™-2004 is recommended by the latest US. Nuclear Regulatory Commission Guide 1.168 in 2013 about verification, validation, reviews, and audits for digital computer software used in safety systems of NPP. This guide also recommends IEEE Std 279, “Criteria for Protection Systems for Nuclear Power Generating Stations,” or in IEEE Std 603-1991, “Criteria for Safety Systems for Nuclear Power Generating Stations. In this research we will examine the recommendation activity that should be follow to meet the requirement of the regulatory body which is also covered in IEEE Std 1012-2004. Developing traceability analysis in the first activity will help the designer to trace the requirement to meet the design criteria and reach the effectiveness and performance of the I&C system. By tracing from the top tier recommendation, it will help the development I&C system of RDE to be verified and validate as the design criteria for HTR-10