참고문헌
- 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)
- 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
- 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
- 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
- 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
- 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
- R.M. Sinnamon and J.D. Andrews, 'Quantitative Fault Tree Analysis using Binary Decision Diagrams,' European Journal of Automation, 30, 1051 (1996)
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- V. Volovoi, 'Stochastic Petri Nets Modeling using SPN@,' Proceedings of Annual Reliability and Maintainability Symposium, Newport Beach, USA, Jan. 23-26, 2006
- 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
- 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
- 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
- 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
- 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
- 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