메뉴 건너뛰기




Volumn 38, Issue 1, 2008, Pages 105-115

An efficient binary-decision-diagram-based approach for network reliability and sensitivity analysis

Author keywords

Binary decision diagrams (BDDs); Common cause failures (CCF); Imperfect coverage (IPC); Network reliability; Sensitivity

Indexed keywords

BINARY DECISION DIAGRAMS; COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; FAILURE ANALYSIS; FILE ORGANIZATION; NETWORK PROTOCOLS; QUALITY ASSURANCE; RELIABILITY; RELIABILITY ANALYSIS; SENSOR NETWORKS; SEPARATION; SOFTWARE RELIABILITY;

EID: 54949136550     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2007.909493     Document Type: Article
Times cited : (122)

References (36)
  • 1
    • 0000582237 scopus 로고    scopus 로고
    • A separable method for incorporating imperfect fault-coverage into combinatorial model
    • Sep
    • S. V. Amari, J. B. Dugan, and R. B. Misra, "A separable method for incorporating imperfect fault-coverage into combinatorial model," IEEE Trans. Rel., vol. 48, no. 3, pp. 267-274, Sep. 1999.
    • (1999) IEEE Trans. Rel , vol.48 , Issue.3 , pp. 267-274
    • Amari, S.V.1    Dugan, J.B.2    Misra, R.B.3
  • 2
    • 0013021977 scopus 로고    scopus 로고
    • Optimal reliability of systems subject to imperfect fault-coverage
    • Sep
    • S.V. Amari, J. B. Dugan, and R. B. Misra, "Optimal reliability of systems subject to imperfect fault-coverage," IEEE Trans. Rel., vol. 48, no. 3, pp. 275-284, Sep. 1999.
    • (1999) IEEE Trans. Rel , vol.48 , Issue.3 , pp. 275-284
    • Amari, S.V.1    Dugan, J.B.2    Misra, R.B.3
  • 3
    • 0026923654 scopus 로고
    • An improved model for protective-system reliability
    • Sep
    • P. M. Anderson and S. K. Agarwal, "An improved model for protective-system reliability," IEEE Trans. Rel., vol. 41, no. 3, pp. 422-426, Sep. 1992.
    • (1992) IEEE Trans. Rel , vol.41 , Issue.3 , pp. 422-426
    • Anderson, P.M.1    Agarwal, S.K.2
  • 5
    • 54949131661 scopus 로고    scopus 로고
    • A. Anne, Implementation of sensitivity measures for static and dynamic subtrees in DIFtree, M.S. thesis, Univ. Virginia, Charlottesville, VA, 1997.
    • A. Anne, "Implementation of sensitivity measures for static and dynamic subtrees in DIFtree," M.S. thesis, Univ. Virginia, Charlottesville, VA, 1997.
  • 6
    • 0029378982 scopus 로고
    • Joint reliability-importance of components
    • Sep
    • M. J. Armstrong, "Joint reliability-importance of components," IEEE Trans. Rel., vol. 44, no. 3, pp. 408-412, Sep. 1995.
    • (1995) IEEE Trans. Rel , vol.44 , Issue.3 , pp. 408-412
    • Armstrong, M.J.1
  • 7
    • 0026142478 scopus 로고
    • Redundancy optimization of k-out-of-n systems with common-cause failures
    • Apr
    • D. S. Bai, W. Y. Yun, and S. W. Chung, "Redundancy optimization of k-out-of-n systems with common-cause failures," IEEE Trans. Rel., vol. 40, no. 1, pp. 56-59, Apr. 1991.
    • (1991) IEEE Trans. Rel , vol.40 , Issue.1 , pp. 56-59
    • Bai, D.S.1    Yun, W.Y.2    Chung, S.W.3
  • 8
    • 0029755826 scopus 로고    scopus 로고
    • An ordering heuristic for building binary decision diagrams from fault-trees
    • Jan
    • M. Bouissou, "An ordering heuristic for building binary decision diagrams from fault-trees," in Proc. Annu. Reliab. Maintainability Symp., Jan. 1996, pp. 208-214.
    • (1996) Proc. Annu. Reliab. Maintainability Symp , pp. 208-214
    • Bouissou, M.1
  • 9
    • 0022705689 scopus 로고
    • System reliability in the presence of common-cause failures
    • Apr
    • K. C. Chae and G. M. Clark, "System reliability in the presence of common-cause failures," IEEE Trans. Rel., vol. R-35, no. 1, pp. 32-35, Apr. 1986.
    • (1986) IEEE Trans. Rel , vol.R-35 , Issue.1 , pp. 32-35
    • Chae, K.C.1    Clark, G.M.2
  • 10
    • 0344666700 scopus 로고    scopus 로고
    • A cut-based algorithm for reliability analysis of terminal-pair network using OBDD
    • Dallas, TX, Nov
    • Y. R. Chang, H. Y. Lin, and S. Y. Kuo, "A cut-based algorithm for reliability analysis of terminal-pair network using OBDD," in Proc. 27th Ann. Int. COMPSAC, Dallas, TX, Nov. 2003, p. 368.
    • (2003) Proc. 27th Ann. Int. COMPSAC , pp. 368
    • Chang, Y.R.1    Lin, H.Y.2    Kuo, S.Y.3
  • 12
    • 0032592909 scopus 로고    scopus 로고
    • Coverage estimation methods for stratified fault-injection
    • Jul
    • M. Cukier, D. Powell, and J. Ariat, "Coverage estimation methods for stratified fault-injection," IEEE Trans. Comput., vol. 48, no. 7, pp. 707-723, Jul. 1999.
    • (1999) IEEE Trans. Comput , vol.48 , Issue.7 , pp. 707-723
    • Cukier, M.1    Powell, D.2    Ariat, J.3
  • 13
    • 8344241193 scopus 로고    scopus 로고
    • A model for correlated failures in N-version programming
    • Dec
    • Y.S. Dai, M. Xie, K. L. Poh, and S. H. Ng, "A model for correlated failures in N-version programming," IIE Trans., vol. 36, no. 12, pp. 1183-1192, Dec. 2004.
    • (2004) IIE Trans , vol.36 , Issue.12 , pp. 1183-1192
    • Dai, Y.S.1    Xie, M.2    Poh, K.L.3    Ng, S.H.4
  • 14
    • 0024682675 scopus 로고
    • Coverage modeling for dependability analysis of fault-tolerant systems
    • Jun
    • J. B. Dugan and K. S. Trivedi, "Coverage modeling for dependability analysis of fault-tolerant systems," IEEE Trans. Comput., vol. 38, no. 6, pp. 775-787, Jun. 1989.
    • (1989) IEEE Trans. Comput , vol.38 , Issue.6 , pp. 775-787
    • Dugan, J.B.1    Trivedi, K.S.2
  • 17
    • 0022314645 scopus 로고
    • A systematic procedure for incorporation of common cause events into risk and reliability models
    • May
    • K. N. Fleming, N. Mosleh, and R. K. Deremer, "A systematic procedure for incorporation of common cause events into risk and reliability models," Nucl. Eng. Des., vol. 93, no. 2/3, pp. 245-273, May 1986.
    • (1986) Nucl. Eng. Des , vol.93 , Issue.2-3 , pp. 245-273
    • Fleming, K.N.1    Mosleh, N.2    Deremer, R.K.3
  • 18
    • 0027554620 scopus 로고
    • Joint reliability-importance of two edges in an undirected network
    • Mar
    • J. S. Hong and C. H. Lie, "Joint reliability-importance of two edges in an undirected network," IEEE Trans. Rel., vol. 42, no. 1, pp. 17-33, Mar. 1993.
    • (1993) IEEE Trans. Rel , vol.42 , Issue.1 , pp. 17-33
    • Hong, J.S.1    Lie, C.H.2
  • 20
    • 0031223605 scopus 로고    scopus 로고
    • Reliability evaluation for distributed computing networks with imperfect nodes
    • Sep
    • W. Ke and S. Wang, "Reliability evaluation for distributed computing networks with imperfect nodes," IEEE Trans. Rel., vol. 46, no. 3, pp. 342-349, Sep. 1997.
    • (1997) IEEE Trans. Rel , vol.46 , Issue.3 , pp. 342-349
    • Ke, W.1    Wang, S.2
  • 21
    • 0000483766 scopus 로고    scopus 로고
    • Determining terminal-pair reliability based on edge expansion diagrams using OBDD
    • Sep
    • S. Kuo, S. Lu, and F. Yeh, "Determining terminal-pair reliability based on edge expansion diagrams using OBDD," IEEE Trans. Rel., vol. 48, no. 3, pp. 234-246, Sep. 1999.
    • (1999) IEEE Trans. Rel , vol.48 , Issue.3 , pp. 234-246
    • Kuo, S.1    Lu, S.2    Yeh, F.3
  • 22
    • 0030109534 scopus 로고    scopus 로고
    • Consideration of node failures in network-reliability calculation
    • Mar
    • V. A. Netes and B. P. Filin, "Consideration of node failures in network-reliability calculation," IEEE Trans. Rel., vol. 45, no. 1, pp. 127-128, Mar. 1996.
    • (1996) IEEE Trans. Rel , vol.45 , Issue.1 , pp. 127-128
    • Netes, V.A.1    Filin, B.P.2
  • 23
    • 0024054677 scopus 로고
    • A practical implementation of the factoring theorem for network reliability
    • Aug
    • L. B. Page and J. E. Perry, "A practical implementation of the factoring theorem for network reliability," IEEE Trans. Rel., vol. 37, no. 3, pp. 259-267, Aug. 1988.
    • (1988) IEEE Trans. Rel , vol.37 , Issue.3 , pp. 259-267
    • Page, L.B.1    Perry, J.E.2
  • 24
    • 0024752244 scopus 로고
    • A model for system reliability with common-cause failures
    • Oct
    • L. B. Page and J. E. Perry, "A model for system reliability with common-cause failures," IEEE Trans. Rel., vol. 38, no. 4, pp. 406-410, Oct. 1989.
    • (1989) IEEE Trans. Rel , vol.38 , Issue.4 , pp. 406-410
    • Page, L.B.1    Perry, J.E.2
  • 25
    • 0027659413 scopus 로고
    • Optimal cost-effective design of triple-modular-redundancy-with-spares systems
    • Sep
    • H. Pham, "Optimal cost-effective design of triple-modular-redundancy-with-spares systems," IEEE Trans. Rel., vol. 42, no. 3, pp. 369-374, Sep. 1993.
    • (1993) IEEE Trans. Rel , vol.42 , Issue.3 , pp. 369-374
    • Pham, H.1
  • 26
    • 0027289814 scopus 로고
    • New algorithms for fault trees analysis
    • A. Rauzy, "New algorithms for fault trees analysis," Reliab. Eng. Syst. Saf., vol. 40, no. 3, pp. 203-211, 1993.
    • (1993) Reliab. Eng. Syst. Saf , vol.40 , Issue.3 , pp. 203-211
    • Rauzy, A.1
  • 28
    • 2342447250 scopus 로고    scopus 로고
    • An integrated method for incorporating com- mon cause failures in system analysis
    • Jan
    • Z. Tang and J. B. Dugan, "An integrated method for incorporating com- mon cause failures in system analysis," in Proc. Annu. Rel. Maintainability Symp., Jan. 2004, pp. 610-614.
    • (2004) Proc. Annu. Rel. Maintainability Symp , pp. 610-614
    • Tang, Z.1    Dugan, J.B.2
  • 29
    • 0032083676 scopus 로고    scopus 로고
    • An implicit method for incorporating common-cause failures in system analysis
    • Jun
    • J. K. Vaurio, "An implicit method for incorporating common-cause failures in system analysis," IEEE Trans. Rel., vol. 47, no. 2, pp. 173-180, Jun. 1998.
    • (1998) IEEE Trans. Rel , vol.47 , Issue.2 , pp. 173-180
    • Vaurio, J.K.1
  • 30
    • 0037226554 scopus 로고    scopus 로고
    • Common cause failure probabilities in standby safety system fault tree analysis with testing - Scheme and timing dependencies
    • Jan
    • J. K. Vaurio, "Common cause failure probabilities in standby safety system fault tree analysis with testing - Scheme and timing dependencies," Reliab. Eng. Syst. Saf., vol. 79, no. 1, pp. 43-57, Jan. 2003.
    • (2003) Reliab. Eng. Syst. Saf , vol.79 , Issue.1 , pp. 43-57
    • Vaurio, J.K.1
  • 31
    • 0036600332 scopus 로고    scopus 로고
    • Analysis of generalized phased-mission systems reliability, performance and sensitivity
    • Jun
    • L. Xing and J. B. Dugan, "Analysis of generalized phased-mission systems reliability, performance and sensitivity," IEEE Trans. Rel. vol. 51, no. 2, pp. 199-211, Jun. 2002.
    • (2002) IEEE Trans. Rel , vol.51 , Issue.2 , pp. 199-211
    • Xing, L.1    Dugan, J.B.2
  • 33
    • 2342642740 scopus 로고    scopus 로고
    • Maintenance-oriented fault tree analysis of component importance
    • Jan
    • L. Xing, "Maintenance-oriented fault tree analysis of component importance," in Proc. 50th Annu. Rel. Maintaitainability Symp., Jan. 2004, pp. 534-539.
    • (2004) Proc. 50th Annu. Rel. Maintaitainability Symp , pp. 534-539
    • Xing, L.1
  • 34
    • 0036891352 scopus 로고    scopus 로고
    • OBDD-based evaluation of k-terminal network reliability
    • Dec
    • F. Yeh, S. Lu, and S. Kuo, "OBDD-based evaluation of k-terminal network reliability," IEEE Trans. Rel., vol. 51, no. 4, pp. 443-451, Dec. 2002.
    • (2002) IEEE Trans. Rel , vol.51 , Issue.4 , pp. 443-451
    • Yeh, F.1    Lu, S.2    Kuo, S.3
  • 35
    • 0032669754 scopus 로고    scopus 로고
    • A BDD-based algorithm for reliability analysis of phased-mission systems
    • Mar
    • X. Zang, H. Sun, and K. S. Trivedi, "A BDD-based algorithm for reliability analysis of phased-mission systems," IEEE Trans. Rel. vol. 48, no. 1, pp. 50-60, Mar. 1999.
    • (1999) IEEE Trans. Rel , vol.48 , Issue.1 , pp. 50-60
    • Zang, X.1    Sun, H.2    Trivedi, K.S.3


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