On Reliability Design Inspection,Analysis And Test Methods Of Safety-Critical Software For Nuclear Power Plants

Digital Instrument control system(I&C)is the central system of nuclear power plant,it is the important equipment to ensure the safe and reliable operation of nuclear power plant,so the reliability of the software has become the focus of the industry.Referenced the safety-critical software reliability engineering experience from the international nuclear power plants,this paper describes the main three aspects including the design inspection,analysis and test method to systematically assess the reliability of the software.At last,the examples have been used to explain how to carry out the safety software reliability process by these methods.The main contributions of this paper include:Based on the domestic and international nuclear safety assessment guide and engineering experience,the important inspection items are prepared to ensure the software reliability qualitatively focusing on the main phase of the software process from the software whole key process.The software reliability analysis methods such as FMEA,FTA are used to analyze the safety-critical software for the reactor trip function.Because of the limitations of those methods,a colored Petri net-based modeling and reasoning method is proposed.The reactor trip function by SG level is modeled and analyzed to show the effectiveness of those methods.The software reliability growth test process is studied and it is shown how to get the optimization reliability model in detail.