메뉴 건너뛰기




Volumn 59, Issue 1, 2010, Pages 250-261

Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events

Author keywords

Algebraic approach; Cut sequence sets; Dynamic fault tree; Qualitative analysis

Indexed keywords

BOOLEAN FUNCTIONS; GATES (TRANSISTOR); MARKOV PROCESSES;

EID: 77949272703     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2009.2035793     Document Type: Article
Times cited : (125)

References (22)
  • 5
    • 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, vol. 87, no. 3, pp. 337-349, 2005.
    • (2005) Reliability Engineering and System Safety , vol.87 , Issue.3 , pp. 337-349
    • Boudali, H.1    Dugan, J.B.2
  • 6
    • 14944386109 scopus 로고    scopus 로고
    • The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation
    • D. Codetta Raiteri, "The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation," Electronic Notes on Theoretical Computer Science, vol. 127, no. 2, pp. 45-60, 2005.
    • (2005) Electronic Notes on Theoretical Computer Science , vol.127 , Issue.2 , pp. 45-60
    • Codetta Raiteri, D.1
  • 8
    • 0026925395 scopus 로고
    • Dynamic fault-tree models for fault-tolerant computer systems
    • J. B. Dugan, S. J. Bavuso, and M. A. Boyd, "Dynamic fault-tree models for fault-tolerant computer systems," IEEE Trans. Reliability, vol. 41, no. 3, pp. 363-377, 1992.
    • (1992) IEEE Trans. Reliability , vol.41 , Issue.3 , pp. 363-377
    • Dugan, J.B.1    Bavuso, S.J.2    Boyd, M.A.3
  • 9
    • 0034155553 scopus 로고    scopus 로고
    • Developing a low-cost high-quality software tool for Dynamic fault-tree analysis
    • J. B. Dugan, K. J. Sullivan, and D. Coppit, "Developing a low-cost high-quality software tool for Dynamic fault-tree analysis," IEEE Trans. Reliability, vol. 49, no. 1, pp. 49-59, 2000.
    • (2000) IEEE Trans. Reliability , vol.49 , Issue.1 , pp. 49-59
    • Dugan, J.B.1    Sullivan, K.J.2    Coppit, D.3
  • 10
    • 0030245278 scopus 로고    scopus 로고
    • A linear-time algorithm to find modules of fault tree
    • Y. Dutuit and A. Rauzy, "A linear-time algorithm to find modules of fault tree," IEEE Trans. Reliability, vol. 45, no. 3, pp. 422-425, 1996.
    • (1996) IEEE Trans. Reliability , vol.45 , Issue.3 , pp. 422-425
    • Dutuit, Y.1    Rauzy, A.2
  • 11
    • 0017266096 scopus 로고
    • On the quantitative analysis of priority-AND failure logic
    • J. B. Fussel, E. F. Aber, and R. G. Rahl, "On the quantitative analysis of priority-AND failure logic," IEEE Trans. Reliability, vol. 25, no. 5, pp. 324-326, 1976.
    • (1976) IEEE Trans. Reliability , vol.25 , Issue.5 , pp. 324-326
    • Fussel, J.B.1    Aber, E.F.2    Rahl, R.G.3
  • 15
    • 0028508088 scopus 로고
    • Power-hierarchy among dependability model types
    • M. Malhotra and K. Trivedi, "Power-hierarchy among dependability model types," IEEE Trans. Reliability, vol. 43, no. 3, pp. 493-502, 1994.
    • (1994) IEEE Trans. Reliability , vol.43 , Issue.3 , pp. 493-502
    • Malhotra, M.1    Trivedi, K.2
  • 17
    • 77949271781 scopus 로고    scopus 로고
    • G. Merle, J. M. Roussel, and J. J. Lesage, Algebraic Framework for the Modelling of Priority Dynamic Fault Trees 2008 [Online]. Available: http://www.lurpa.ens-cachan.fr/isa/aadft/documents/LURPA-2008-Framework.pdf, Internal report
    • G. Merle, J. M. Roussel, and J. J. Lesage, Algebraic Framework for the Modelling of Priority Dynamic Fault Trees 2008 [Online]. Available: http://www.lurpa.ens-cachan.fr/isa/aadft/documents/LURPA-2008-Framework.pdf, Internal report
  • 18
    • 0035720977 scopus 로고    scopus 로고
    • Mathematical foundations of minimal cutsets
    • A. Rauzy, "Mathematical foundations of minimal cutsets," IEEE Trans. Reliability, vol. 50, no. 4, pp. 389-396, 2001.
    • (2001) IEEE Trans. Reliability , vol.50 , Issue.4 , pp. 389-396
    • Rauzy, A.1
  • 22
    • 44349127262 scopus 로고    scopus 로고
    • Quantitative analysis of a fault tree with priority AND gates
    • T. Yuge and S. Yanagi, "Quantitative analysis of a fault tree with priority AND gates," Reliability Engineering and System Safety, vol. 93, no. 11, pp. 1577-1583, 2008.
    • (2008) Reliability Engineering and System Safety , vol.93 , Issue.11 , pp. 1577-1583
    • Yuge, T.1    Yanagi, S.2


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