Bidirectional implementation of Markov/CCMT for dynamic reliability analysis with application to digital I&C systems

Abstract The paper presents a framework of Markov/CCMT search engine platform for dynamic system reliability modeling and analysis. The search engine platform implemented with a versatile Markov/CCMT algorithm that supports multiple search modes including forward-tracing, backtracking and bidirectional search. The scalability and practicality of the proposed bidirectional search algorithm is demonstrated with a Boiling Water Reactor feedwater control system. The comparisons of multiway search analysis indicate that the complete and optimal solutions can be assured in the implementation of Markov/CCMT algorithm using breadth first search. The bidirectional search algorithm implemented with forward-backward integration by allowing the use of pruning criterion is well supported for search efficiency improvement.

[1]  Vinay Kumar,et al.  Parameter Estimation for Quantitative Dependability Analysis of Safety-Critical and Control Systems of NPP , 2018, IEEE Transactions on Nuclear Science.

[2]  Jan-Erik Holmberg,et al.  RELIABILITY ANALYSIS OF DIGITAL SYSTEMS IN A PROBABILISTIC RISK ANALYSIS FOR NUCLEAR POWER PLANTS , 2012 .

[3]  Tunc Aldemir,et al.  Some Measure Theoretic Issues in Probabilistic Dynamics , 2007 .

[4]  Carol S. Smidts,et al.  Three suggestions on the definition of terms for the safety and reliability analysis of digital systems , 2015, Reliability Engineering & System Safety.

[5]  Diego Mandelli,et al.  Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies , 2010, Reliab. Eng. Syst. Saf..

[6]  Jan-Erik Holmberg,et al.  Reliability analysis of safety-related digital instrumentation and control in a nuclear power plant , 2012 .

[7]  Kim Man Cheol Reliability analysis of digital I&C systems at KAERI , 2012 .

[8]  Jun Yang,et al.  An algorithm for the computationally efficient deductive implementation of the Markov/Cell-to-Cell-Mapping Technique for risk significant scenario identification , 2016, Reliab. Eng. Syst. Saf..

[9]  Enrico Zio,et al.  Fuzzy C-Means Clustering of Signal Functional Principal Components for Post-Processing Dynamic Scenarios of a Nuclear Power Plant Digital Instrumentation and Control System , 2011, IEEE Transactions on Reliability.

[10]  Poong Hyun Seong Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems , 2008 .

[11]  Tero Tyrväinen Prime implicants in dynamic reliability analysis , 2016, Reliab. Eng. Syst. Saf..

[12]  Kim Björkman,et al.  Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems , 2016 .

[13]  Michael Yau,et al.  Development of tools for safety analysis of control software in advanced reactors , 1996 .

[14]  Thomas A Henzinger,et al.  Two challenges in embedded systems design: predictability and robustness , 2008, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[15]  L. H. Youngborg,et al.  Stability Of Primary BWR Control Systems With Digital Technology , 1993, 1993 IEEE Conference Record Nuclear Science Symposium and Medical Imaging Conference.

[16]  A. Ipakchi,et al.  Digital feedwater controller for a BWR: a conceptual design study , 1984 .

[17]  Tunc Aldemir,et al.  A survey of dynamic methodologies for probabilistic safety assessment of nuclear power plants , 2013 .

[18]  Pedro L.C. Saldanha,et al.  Models for the Reliability Analysis of Digital Instrumentation and Control Systems for Nuclear Power Plants , 2016 .

[19]  Yang Yaguang,et al.  RELIABILITY ESTIMATION FOR A DIGITAL INSTRUMENT AND CONTROL SYSTEM , 2012 .

[20]  Jong Gyun Choi,et al.  Reliability assessment method for NPP digital I&C systems considering the effect of automatic periodic tests , 2010 .

[21]  Tero Tyrväinen Risk importance measures in the dynamic flowgraph methodology , 2013, Reliab. Eng. Syst. Saf..

[22]  Tunc Aldemir,et al.  The cell to cell mapping technique and chapman-kolmogorov representation of system dynamics , 1995 .

[23]  Wei Wang,et al.  Component- and system-level degradation modeling of digital Instrumentation and Control systems based on a Multi-State Physics Modeling Approach , 2016 .

[24]  Ken Muramatsu,et al.  Quantitative modeling of digital reactor protection system using Markov state-transition model , 2014 .

[25]  Poong Hyun Seong,et al.  REVIEW OF VARIOUS DYNAMIC MODELING METHODS AND DEVELOPMENT OF AN INTUITIVE MODELING METHOD FOR DYNAMIC SYSTEMS , 2008 .

[26]  Enrico Zio,et al.  Processing dynamic scenarios from a reliability analysis of a nuclear power plant digital instrumentation and control system , 2009 .