A framework for verifying Dynamic Probabilistic Risk Assessment models

• Published in: Reliability engineering & system safety 2020-11, Vol.203, p.107099, Article 107099
• Main Authors: Picoco, Claudia, Rychkov, Valentin, Aldemir, Tunc
• Format: Article
• Language: English
• Subjects: Computer applications; Dynamic Event Tree (DET); Dynamic Probabilistic Risk Assessment (DPRA); Inspection; Nuclear electric power generation; Nuclear energy; Nuclear power plants; Performance assessment; Pressurized water reactors; Probabilistic risk assessment; Reliability engineering; Risk assessment; Simulation; Statechart; Thermal-Hydraulic model; Verification; YAKINDU StateChart Tools
• ISSN: 0951-8320; 1879-0836
• DOI: 10.1016/j.ress.2020.107099

•Development of a framework that allows to verify the simulator model for Dynamic PRA.•Use of graphical method (statechart) combined with formal method.•A general framework that can be extended to different DPRA methods and tools.•Application to i) performance assessment of an heated room using PyCATSHOO and, ii) a dynamic event tree using RAVEN-MAAP5. Recent development of more powerful computational and technological resources has led to significant improvements in the utilization of dynamic methodologies for the Probabilistic Risk Assessment (PRA) of nuclear power plants. These methodologies integrate deterministic and probabilistic analyses and are generally referred to as Dynamic PRA (DPRA) methods. DPRA is performed through the generation and simulation of possibly thousands of different accident scenarios. To ensure the quality and the correctness of the results, DPRA models should be verified. Since DPRA generates large amount of data, a visual inspection of results to verify the correctness of the model used is neither practical nor reliable. As one of the steps for DPRA analysis, a framework is proposed to systematically explore the DPRA model prior to its simulation using statecharts which provide a graphical notation for describing dynamic aspects of system behavior. The application of the framework is illustrated using two case studies: (i) performance assessment of a heated room using the PyCATSHOO DPRA tool, and, (ii) DPRA performed with RAVEN-MAAP5-EDF codes for loss of off-site power as the initiating event in a pressurized water reactor.