메뉴 건너뛰기




Volumn 96, Issue 11, 2011, Pages 1515-1526

Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approaches

Author keywords

Combinatorial models; Hierarchy; Markov chains; Risk assessment; Spreadsheet modeling

Indexed keywords

ANALYTICAL TOOL; COMBINATORIAL MODELS; DFT THEORY; DYNAMIC FAULT TREES; DYNAMIC TOOLS; GENERAL DYNAMICS; GENERIC CLASS; HIERARCHY; INDUSTRIAL FIELDS; MAJOR HAZARDS; MARKOV CHAIN; MODULAR APPROACH; MONTE CARLO SIMULATION; QUANTITATIVE ASSESSMENTS; QUANTITATIVE TECHNIQUES; SAFETY ASSESSMENTS; SPREADSHEET MODELING; THEORETICAL FOUNDATIONS; TIME DEPENDENCY; TIME-DEPENDENT ACTIVITY;

EID: 80052501908     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2011.06.014     Document Type: Article
Times cited : (58)

References (44)
  • 1
    • 0032127387 scopus 로고    scopus 로고
    • Techniques and methodologies for risk analysis in chemical process industries
    • DOI 10.1016/S0950-4230(97)00051-X, PII S095042309700051X
    • F.I. Khan, and S.A. Abbasi Techniques and methodologies for risk analysis in chemical process industries Journal of Loss Prevention in the Process industries 11 1998 261 277 (Pubitemid 28279116)
    • (1998) Journal of Loss Prevention in the Process Industries , vol.11 , Issue.4 , pp. 261-277
    • Khan, F.I.1    Abbasi, S.A.2
  • 5
    • 0141793198 scopus 로고    scopus 로고
    • A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes
    • M. Bouissou, and J.L. Bon A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes Reliability Engineering and System Safety 82 2003 149 163
    • (2003) Reliability Engineering and System Safety , vol.82 , pp. 149-163
    • Bouissou, M.1    Bon, J.L.2
  • 6
    • 80052512629 scopus 로고    scopus 로고
    • EDF R&D, MRI Department, Clamart, France
    • ®. EDF R&D, MRI Department, Clamart, France.
    • ®
    • Bouissou, M.1
  • 7
    • 0036132969 scopus 로고    scopus 로고
    • A dynamic fault tree
    • DOI 10.1016/S0951-8320(01)00121-1, PII S0951832001001211
    • M. Cepin, and B. Mavko A dynamic fault tree Reliability Engineering and System Safety 75 2002 83 91 (Pubitemid 33142188)
    • (2002) Reliability Engineering and System Safety , vol.75 , Issue.1 , pp. 83-91
    • Cpin, M.1    Mavko, B.2
  • 10
    • 0026925395 scopus 로고
    • Dynamic fault-tree models for fault-tolerant computer systems
    • J.B. Dugan, J.S. Bavuso, and M.A. Boyd Dynamic fault-tree models for fault-tolerant computer systems IEEE Transactions on Reliability 41 3 1992 363 377
    • (1992) IEEE Transactions on Reliability , vol.41 , Issue.3 , pp. 363-377
    • Dugan, J.B.1    Bavuso, J.S.2    Boyd, M.A.3
  • 14
    • 0034155553 scopus 로고    scopus 로고
    • Developing a low-cost high-quality software tool for dynamic fault-tree analysis
    • J.B. Dugan, and K.J. Sullivan Developing a low-cost high-quality software tool for dynamic fault-tree analysis IEEE Transactions on Reliability 49 1 2000 49 58
    • (2000) IEEE Transactions on Reliability , vol.49 , Issue.1 , pp. 49-58
    • Dugan, J.B.1    Sullivan, K.J.2
  • 17
    • 34250206636 scopus 로고    scopus 로고
    • A tool for automatically translating dynamic fault trees into dynamic Bayesian networks
    • Varesio M, editor
    • Montani S, Portinale L, Bobbio A. A tool for automatically translating dynamic fault trees into dynamic Bayesian networks. In: Varesio M, editor. Proceedings of the RAMS06; 2006.
    • (2006) Proceedings of the RAMS06
    • Montani, S.1    Portinale, L.2    Bobbio, A.3
  • 18
    • 4344622252 scopus 로고    scopus 로고
    • Identification of independent modules in fault trees which contain dependent basic events
    • H. Sun, and J.D. Andrews Identification of independent modules in fault trees which contain dependent basic events Reliability Engineering and System Safety 86 2004 285 296
    • (2004) Reliability Engineering and System Safety , vol.86 , pp. 285-296
    • Sun, H.1    Andrews, J.D.2
  • 19
    • 10244243694 scopus 로고    scopus 로고
    • Modular solution of dynamic multi-phase systems
    • Y. Ou, and J.B. Dugan Modular solution of dynamic multi-phase systems IEEE Transactions on Reliability 53 2004 499 508
    • (2004) IEEE Transactions on Reliability , vol.53 , pp. 499-508
    • Ou, Y.1    Dugan, J.B.2
  • 21
  • 23
    • 0035720977 scopus 로고    scopus 로고
    • Mathematical foundations of minimal cutsets
    • DOI 10.1109/24.983400, PII S0018952901113540
    • A. Rauzy Mathematical foundations of minimal cutsets IEEE Transactions on Reliability 50 4 2001 389 396 (Pubitemid 34191857)
    • (2001) IEEE Transactions on Reliability , vol.50 , Issue.4 , pp. 389-396
    • Rauzy, A.1
  • 24
  • 25
    • 9444277204 scopus 로고    scopus 로고
    • Analysis of truncation limit in probabilistic safety assessment
    • M. Cepin Analysis of truncation limit in probabilistic safety assessment Reliability Engineering and System Safety 87 2005 395 403
    • (2005) Reliability Engineering and System Safety , vol.87 , pp. 395-403
    • Cepin, M.1
  • 26
  • 30
    • 0037333820 scopus 로고    scopus 로고
    • Hierarchical composition and aggregation of state-based availability and performability models
    • M. Lanus, and K.S. Trivedi Hierarchical composition and aggregation of state-based availability and performability models IEEE Transactions on Reliability 52 1 2003 44 52
    • (2003) IEEE Transactions on Reliability , vol.52 , Issue.1 , pp. 44-52
    • Lanus, M.1    Trivedi, K.S.2
  • 33
    • 34250814237 scopus 로고    scopus 로고
    • Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
    • DOI 10.1016/j.entcs.2007.04.018, PII S157106610700415X
    • P. Kosiuczenko, and G. Lajios Simulation of generalised semi-Markov processes based on graph transformation systems Electronic Notes in Theoretical Computer Science 175 2007 73 86 (Pubitemid 46977872)
    • (2007) Electronic Notes in Theoretical Computer Science , vol.175 , Issue.4 SPEC. ISS. , pp. 73-86
    • Kosiuczenko, P.1    Lajios, G.2
  • 35
    • 9444266483 scopus 로고    scopus 로고
    • A discrete-time Bayesian network reliability modeling and analysis framework
    • H. Boudali, and J.B. Dugan A discrete-time Bayesian network reliability modeling and analysis framework Reliability Engineering and System Safety 2005 337 349
    • (2005) Reliability Engineering and System Safety , pp. 337-349
    • Boudali, H.1    Dugan, J.B.2
  • 36
    • 58749106055 scopus 로고    scopus 로고
    • Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment
    • K. Durga Rao Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment Reliability Engineering and System Safety 94 2007 872 883
    • (2007) Reliability Engineering and System Safety , vol.94 , pp. 872-883
    • Durga Rao, K.1
  • 37
    • 77949272703 scopus 로고    scopus 로고
    • Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events
    • G. Merle Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events IEEE Transactions on Reliability 59 1 2010
    • (2010) IEEE Transactions on Reliability , vol.59 , Issue.1
    • Merle, G.1
  • 38
    • 0001312511 scopus 로고
    • Algorithm AS 183: An efficient and portable pseudo-random number generator
    • B.A. Wichman, and I.D. Hill Algorithm AS 183: an efficient and portable pseudo-random number generator Applied Statistics 31 1982 188 190
    • (1982) Applied Statistics , vol.31 , pp. 188-190
    • Wichman, B.A.1    Hill, I.D.2
  • 39
    • 80052468735 scopus 로고    scopus 로고
    • A comparison of random number generators used in business
    • Atlanta, GA
    • Rotz W, et al., A comparison of random number generators used in business. Presented at Joint Statistical Meetings. Atlanta, GA; 2001.
    • (2001) Joint Statistical Meetings
    • Rotz, W.1
  • 42
  • 43
    • 80052470915 scopus 로고    scopus 로고
    • version 1.01. Center for Advanced Computing and Communication (CACC), Department of Electrical and Computer Engineering, Duke University
    • Trivedi K. SHARPE interface users manual version 1.01. Center for Advanced Computing and Communication (CACC), Department of Electrical and Computer Engineering, Duke University; 1999.
    • (1999) SHARPE Interface Users Manual
    • Trivedi, K.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.