Automatic Generation of Event Trees and Fault Trees: A Model-Based Approach

References

• C. L. SMITH, S. T. WOOD, and D. O’NEAL, “Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE) Version 8,” NUREG/CR-7039, 3, U. S. Nuclear Regulatory Commission (2011).
   Google Scholar
• K. CANAVAN and G. HANNAMAN, “Introduction to Simplified Generation Risk Assessment Modeling,” EPRI Report 1007386, Electric Power Research Institute (2004).
   Google Scholar
• D. MANDELLI et al., “Linking Classical PRA Models to a Dynamic PRA,” Ann. Nucl. Energy, 149, 107746 (2020); https://doi.org/10.1016/j.anucene.2020.107746.
   Web of Science ®Google Scholar
• D. MANDELLI et al., “Mutual Integration of Classical and Dynamic PRA,” Nucl. Technol., 207, 3, 363 (2021); https://doi.org/10.1080/00295450.2020.1776030.
   Web of Science ®Google Scholar
• P. BUCCI et al., “Construction of Event-Tree/Fault-Tree Models from a Markov Approach to Dynamic System Reliability,” Reliab. Eng. Syst. Saf., 93, 11, 1616 (2008); https://doi.org/10.1016/j.ress.2008.01.008.
   Web of Science ®Google Scholar
• T. ALDEMIR, “A Survey of Dynamic Methodologies for Probabilistic Safety Assessment of Nuclear Power Plants,” Ann. Nucl. Energy, 53, 113 (2013); https://doi.org/10.1016/j.anucene.2012.08.001.
   Web of Science ®Google Scholar
• T. ALDEMIR et al., “Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments,” NUREG/CR-6901, U. S. Nuclear Regulatory Commission (2006).
   Google Scholar
• “MBSE Wiki,” Standards Development Organization; https://www.omgwiki.org/MBSE/doku.php (current as of Jan. 31, 2022).
   Google Scholar
• S. FRIEDENTHAL, A. MOORE, and R. STEINER, A Practical Guide to SysML: The Systems Modeling Language, Morgan Kaufmann (2008).
   Google Scholar
• M. HECHT, E. DIMPFL, and J. PINCHAK, “Automated Generation of Failure Modes and Effects Analysis from SysML Models,” presented at the IEEE Int. Symp. on Software Reliability Engineering Workshops, Naples, Italy (2014); https://doi.org/10.1109/ISSREW.2014.117.
   Google Scholar
• A. RAUZY, “Mode Automata and Their Compilation into Fault Trees,” Reliab. Eng. Syst. Saf., 78, 1, 1 (2002); https://doi.org/10.1016/S0951-8320(02)00042-X.
   Web of Science ®Google Scholar
• P. MUNK and A. NORDMANN, “Model-based Safety Assessment with SysML and Component Fault Trees: Application and Lessons Learned,” Softw. Syst. Model., 19, 4, 889 (2020); https://doi.org/10.1007/s10270-020-00782-w.
   Web of Science ®Google Scholar
• A. BAKLOUTI et al., “Improved Safety Analysis Integration in a Systems Engineering Approach,” Appl. Science, 9, 6, 1246 (2019); https://doi.org/10.3390/app9061246.
   Google Scholar
• RELAP5-3D Code Development Team, “RELAP5-3D Code Manual,” Technical Report, Idaho National Laboratory (2005).
   Google Scholar
• R. O. GAUNTT, “MELCOR Computer Code Manual, Version 1.8.5, Vol. 2, Rev. 2,” NUREG/CR-6119, Sandia National Laboratories (2000).
   Google Scholar
• J. CARROLL and D. LONG, Theory of Finite Automata with an Introduction to Formal Languages, Prentice Hall (1989).
   Google Scholar
• J. L. PETERSON, Petri Net Theory and the Modeling of Systems, Prentice Hall (1981).
   Google Scholar
• I. PAPAZOGLOU, “Mathematical Foundations of Event Trees,” Reliab. Eng. Syst. Saf., 16, 3, 169 (1998); https://doi.org/10.1016/S0951-8320(98)00010-6.
   Google Scholar
• C. ACOSTA and N. SIU, “Dynamic Event Trees in Accident Sequence Analysis: Application to Steam Generator Tube Rupture,” Reliab. Eng. Syst. Saf., 41, 2, 135 (1993); https://doi.org/10.1016/0951-8320(93)90027-V.
   Web of Science ®Google Scholar
• D. MANDELLI et al., “Dynamic PRA: An Overview of New Algorithms to Generate, Analyze and Visualize Data,” Trans. Am. Nucl. Soc. (2013).
   Google Scholar
• D. MANDELLI et al., “BWR Station Blackout: A RISMC Analysis Using RAVEN and RELAP5-3D,” Nucl. Technol., 193, 1, 161 (2016); https://doi.org/10.13182/NT14-142.
   Web of Science ®Google Scholar
• D. MANDELLI et al., “Modeling of a Flooding Induced Station Blackout for a Pressurized Water Reactor Using the RISMC Toolkit,” Proc. PSA 2015 Int. Topl. Mtg. on Probabilistic Safety Assessment and Analysis, Sun Valley, Idaho, April 26–30, 2015.
   Google Scholar
• R. L. BORING et al., “Simulation and Non-simulation Based Human Reliability Analysis Approaches,” INL/EXT-14-33903, Idaho National Laboratory (2014).
   Google Scholar
• J. DEVOOGHT, “Dynamic Reliability,” Adv. Nucl. Sci. Technol., 25, 215 (1997); https://doi.org/10.1016/S0951-8320(00)00017-X.
   Google Scholar
• T. ALDEMIR, “Computer-Assisted Markov Failure Modeling of Process Control Systems,” IEEE Trans. Reliab., 36, 1, 133 (1987); https://doi.org/10.1109/TR.1987.5222318.
   Web of Science ®Google Scholar
• T. ALDEMIR, “Utilization of the Cell-to-Cell Mapping Technique to Construct Markov Failure Models for Process Control Systems,” in Probabilistic Safety Assessment and Management, G. APOSTOLAKIS, Ed., Vol. 2, pp. 1431–1436, Elsevier (1991).
   Google Scholar
• D. DEOSS and N. SIU, “A Simulation Model for Dynamic System Availability Analysis,” MS Thesis, Massachusetts Institute of Technology, Department of Nuclear Engineering, Boston, Massachusetts (1989).
   Google Scholar
• T. MATSUOKA and M. KOBAYASHI, “An Analysis of a Dynamic System by the GOFLOW Methodology,” in Probabilistic Safety Assessment and Management, p. 1436, Elsevier (1991).
   Google Scholar
• M. MARSEGUERRA and E. ZIO, “Monte Carlo Approach to PSA for Dynamic Process Systems,” Reliab. Eng. Syst. Saf., 52, 3, 227 (1996); https://doi.org/10.1016/0951-8320(95)00131-X.
   Web of Science ®Google Scholar
• Y. DUTUIT et al., “Dependability Modeling and Evaluation by Using Stochastic Petri Nets: Application to Two Test Cases,” Reliab. Eng. Syst. Saf., 55, 2, 117 (1997); https://doi.org/10.1016/S0951-8320(96)00108-1.
   Web of Science ®Google Scholar
• A. ALFONSI et al., “RAVEN and Dynamic Probabilistic Risk Assessment: Software Overview,” Proc. European Safety and Reliability Conf. (ESREL 2014), Wroklaw, Poland (2014); https://doi.org/10.1201/b17399-106.
   Google Scholar
• B. RUTT et al., “Distributed Dynamic Event Tree Generation for Reliability and Risk Assessment,” Proc. IEEE—Challenges of Large Applications in Distributed Environments, 61 (2006); https://doi.org/10.1109/CLADE.2006.1652056.
   Google Scholar
• K. S. HSUEH and A. MOSLEH, “The Development and Application of the Accident Dynamic Simulator for Dynamic Probabilistic Risk Assessment of Nuclear Power Plants,” Reliab. Eng. Syst. Saf., 52, 3, 297 (1996); https://doi.org/10.1016/0951-8320(95)00140-9.
   Web of Science ®Google Scholar
• C. AGGARWAL and C. REDDY, Data Clustering: Algorithms and Applications, Chapman & Hall/CRC Data Mining and Knowledge Discovery Series (2013).
   Google Scholar
• D. MANDELLI et al., “Mining Data in a Dynamic PRA Framework,” Prog. Nucl. Energy, 108, 99 (2018); https://doi.org/10.1016/j.pnucene.2018.05.004.
   Web of Science ®Google Scholar
• D. MANDELLI et al., “Dynamic PRA Methods to Evaluate the Impact on Accident Progression of Accident Tolerant Fuels,” Nucl. Technol., 207, 3, 389 (2021); https://doi.org/10.1080/00295450.2020.1794234.
   Web of Science ®Google Scholar
• M. HIBTI, T. FRIEDLHUBER, and A. RAUZY, “Automated Generation of Event Trees from Event Sequence/Functional Block Diagrams: Optimization Issues,” Proc. PSAM Conf., Tokyo, Japan (2013).
   Google Scholar
• T. PROSVIRNOVA et al., “The AltaRica 3.0 Project for Model-Based Safety Assessment,” IFAC Proc., 46, 22, 127 (2013); https://doi.org/10.1109/INDIN.2013.6622976.
   Google Scholar