DOI QR코드

DOI QR Code

REVIEW OF VARIOUS DYNAMIC MODELING METHODS AND DEVELOPMENT OF AN INTUITIVE MODELING METHOD FOR DYNAMIC SYSTEMS

  • 발행 : 2008.08.31

초록

Conventional static reliability analysis methods are inadequate for modeling dynamic interactions between components of a system. Various techniques such as dynamic fault tree, dynamic Bayesian networks, and dynamic reliability block diagrams have been proposed for modeling dynamic systems based on improvement of the conventional modeling methods. In this paper, we review these methods briefly and introduce dynamic nodes to the existing reliability graph with general gates (RGGG) as an intuitive modeling method to model dynamic systems. For a quantitative analysis, we use a discrete-time method to convert an RGGG to an equivalent Bayesian network and develop a software tool for generation of probability tables.

키워드

참고문헌

  1. T. Aldemir, D.W. Miller, M. Stovsky, J. Kirschenbaum, P. Bucci, A.W. Fentiman, and L.T. Mangan, 'Current State of Reliability Modeling Methodologies for Digital Systems and Their Acceptance Criteria for Nuclear Power Plant Assessments,' NUREG/CR-6901, U.S. NRC (2006)
  2. J.B. Dugan, S.J. Bavuso, and M.A. Boyd, 'Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems,' IEEE Transactions on Reliability, 41, 363 (1992) https://doi.org/10.1109/24.159800
  3. K.J. Sullivan, J.B. Dugan, and D. Coppit, 'The Galileo Fault Tree Analysis Tool,' Proceedings of Annual International Symposium on Fault-Tolerant computing, Madison, USA, Jun. 15-18, 1999
  4. R. Manian, D.W. Coppit, K.J. Sullivan, and J.B. Dugan, 'Bridging the Gap between Systems and Dynamic Fault Tree Models,' Proceedings of Annual Reliability and Maintainability Symposium, Washington DC, USA, Jan. 18-21, 1999
  5. S. Amari, G. Dill, and E. Howald, 'A New Approach to Solve Dynamic Fault Trees,' Proceedings of Annual Reliability and Maintainability Symposium, Tampa, USA, Jan. 27-30, 2003
  6. R. Gulati and J.B. Dugan, 'A Modular Approach for Analyzing Static and Dynamic Fault Trees,' Proceedings of Annual Reliability and Maintainability Symposium, Philadelphia, USA, Jan. 13-16, 1997
  7. R.M. Sinnamon and J.D. Andrews, 'Quantitative Fault Tree Analysis using Binary Decision Diagrams,' European Journal of Automation, 30, 1051 (1996)
  8. A. Rauzy, 'New Algorithms for Fault Tree Analysis,' Reliability Engineering and System Safety, 40, 203 (1993) https://doi.org/10.1016/0951-8320(93)90060-C
  9. J.B. Dugan, K.J. Sullivan, and D. Coppit, 'Developing a Low-Cost High-Quality Software Tool for Dynamic Fault-Tree Analysis,' IEEE Transactions on reliability, 49, 49 (2000) https://doi.org/10.1109/24.855536
  10. H. Boudali and J.B. Dugan, 'A Discrete-time Bayesian Network Reliability Modeling and Analysis Framework,' Reliability Engineering and System Safety, 87, 337 (2005) https://doi.org/10.1016/j.ress.2004.06.004
  11. H. Boudali and J.B. Dugan, 'A Contiuous-Time Bayesian Network Reliability Modeling, and Analysis Framework,' IEEE Transactions of Reliability, 55, 86 (2006) https://doi.org/10.1109/TR.2005.859228
  12. S. Montani, L. Portinale, A. Bobbio, D. Codetta-Raiteri, 'Radyban: A Tool for Reliability Analysis of Dynamic Fault Trees through Conversion into Dynamic Bayesian Networks,' Reliability Engineering & System Safety, 93, 922 (2008) https://doi.org/10.1016/j.ress.2007.03.013
  13. G. Chiola, M.A. Marsan, G. Balbo, and G. Conte, 'Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications,' IEEE Transactions on Software Engineering, 19, 89 (1993) https://doi.org/10.1109/32.214828
  14. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo, 'GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets,' Performance Evaluation, 24, 47 (1995) https://doi.org/10.1016/0166-5316(95)00008-L
  15. D. Codetta-Raiteri, 'The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a Case of Graph Transformation,' Electronic Notes in Theoretical Computer Science, 127, 45 (2005) https://doi.org/10.1016/j.entcs.2005.02.005
  16. A. Bobbio, A. Puliafito, and M. Tekel, 'A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs,' IEEE Transactions on Software Engineering, 26, 36 (2000) https://doi.org/10.1109/32.825765
  17. V. Volovoi, 'Modeling of System Reliability using Petri Nets with Aging Tokens,' Reliability Engineering & System Safety, 84, 149 (2004) https://doi.org/10.1016/j.ress.2003.10.013
  18. V. Volovoi, 'Stochastic Petri Nets Modeling using SPN@,' Proceedings of Annual Reliability and Maintainability Symposium, Newport Beach, USA, Jan. 23-26, 2006
  19. S. Distefano, L. Xing, 'A New Approach to Modeling the System Reliability: Dynamic Reliability Block Diagrams,' Proceedings of Annual Reliability and Maintainability Symposium, Newport Beach, USA, Jan. 23-26, 2006
  20. S. Distefano, A. Puliafito, 'Dependability Modeling and Analysis in Dynamic Systems,' Proceedings of Parallel and Distributed Processing Symposium, Long Beach, USA, Mar. 26-30, 2007
  21. A. Ejlali, S.G. Miremadi, 'FPGA-based Monte Carlo Simulation for Fault Tree Analysis,' Microelectronics Reliability, 44, 1017 (2004) https://doi.org/10.1016/j.microrel.2004.01.016
  22. M.C. Kim and P.H. Seong, 'Reliability Graph with General Gates: an Intuitive and Practical Method for System Reliability Analysis,' Reliability Engineering and System Safety, 78, 239 (2002) https://doi.org/10.1016/S0951-8320(02)00164-3
  23. M.C. Kim and P.H. Seong, 'A computational method for probabilistic safety assessment of I&C systems and human operators in nuclear power plants,' Reliability Engineering and System Safety, 91, 580 (2006) https://doi.org/10.1016/j.ress.2005.04.006
  24. S.F. Galan, F.J. Diez, 'Networks of Probabilistic Events in Discrete Time,' International Journal of Approximate Reasoning, 30, 181 (2002) https://doi.org/10.1016/S0888-613X(02)00071-3