A Validation and Verification Method of I&C Software of Nuclear Power Station Based on FSS
Sun Yuan-zh · Jisuanji fangzhen · 2014
The safety features of nuclear power plants require control system software must have high reliability.Because of the special nature of computer software,to discover some design flaws and logic errors must rely on special conditions or man-made destructive testing,the cost is very high.This article provided a validation and verification method based on nuclear power plant full scope simulator,design various verification tests by using high-precision simulation model and simulating unexpected conditions in nuclear power plant,to validate the safety and reliability of IC software in such a contingency conditions.Under the assumptions digital control system is unsafe,we performed some unconventional operations to verify the logic of the instrument control software and procedures unsafe factors in the control system.This article also provided a test of unplanned reactor accident caused by trip to identify possible defects in the design and improvements.The results show that the full-scope simulator-based IC software design verification is feasible.