The modernization of Feedwater Pump Turbine (FWPT) controller for nuclear power plants unit 5 and 6
Keywords:FWPT (Feedwater Pump Turbine), Software Development Life Cycle (SDLC), Verification and Validation (V&V), Nuclear Power Plant (NPP)
AbstractFor modernization, Feedwater Pump Turbine (FWPT) for HANUL Nuclear Power Plants Unit 5 & 6 has been replaced with Triple Modular System including the upgrade of control logic actuating Low Pressure/High Pressure (LP/HP) stop valves and control valves. This modernization includes hardware platform change as well as ladder logic changes. This paper provides the lesson learned from the design support and the verification and validation (V&V) for control logic software in accordance with IEEE 1012, which describes the Software Development Life Cycle (SDLC) phase activities for independent verification and validation (V&V). As usually it is necessary to interpret standards by upward and/or downward tailoring, i.e. interpretation, based on the SIL level and application function for practical independent V&V. It has been conducted to list up the inspection viewpoints for software itself as well as architectural design including the hardware interfaces. For successful independent V&V of FWPT, the specific viewpoints and approach are employed according to the functional characteristics and code optimization. The V&V for this project reviews only the requirement, design, implementation, and test phase. This article also provides the difficulty experienced during independent V&V including the design support, and concludes by addressing a couple of lessons learned for FWPT V&V.
IEEE Std 1012™, “IEEE Standard for Software Verification and Validation”, 2004
Roger S. Pressman, Ph. D, ISBN 0073655783, “Software Engineering, A Practitioner's Approach”, Fifth Edition, McGraw-Hill Higher Education.
Kyung Ho Cha, Kee Choon Kwon, Chun Se Woo, “The software verification and validation tasks for a safety critical system in nuclear power plants”, International journal of safety, vol.3 no.1, pp.38-46, 1598-7302, 2004.
C. Ponsard, P. Massonet, J. F. Molderez, A. Rifaut, A. van Lamsweerde, H. Tran Van, “Early verification and validation of mission critical systems”, Formal Methods in system Design, Volume 30, Number 3, pp.233-247, 0925-9856.
IEEE 829, “IEEE Standard for Software and System Test Documentation”, 2008
ANSI/IEEE 1008, “IEEE Standard for Software Unit Testing”, 1987
NUREG/CR-6430, “Software Safety Analysis”, 1995
Lessons learned from Practical Independent Verification and Validation based on IEEE 1012, A Journal of Software Engineering and Applications, JoonKu LEE, YangMo KIM