Generating a network reliability formula by using binary decision diagrams

被引：4

作者：

Ikeda, Yasuhiro ^{[1
]}

Kawahara, Ryoichi ^{[1
]}

Saito, Hiroshi ^{[1
]}

机构：

[1] NTT Corp, NTT Network Technol Labs, 3-9-11 Midori Cho, Musashino, Tokyo 1808585, Japan

来源：

IEICE COMMUNICATIONS EXPRESS | 2015年 / 4卷 / 09期

关键词：

reliability; formulation; BDD;

D O I：

10.1587/comex.4.299

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Evaluating network reliability is essential for network management. In the case that the failure probabilities of nodes and links change in an evaluation, iterative calculation of the reliability is required. In large networks, however, this calculation takes considerable time; thus, iterative calculation cannot be done within a practical amount of time. In this paper, we present a method for generating network reliability formulas that is based on the reliability calculation method with binary decision diagrams (BDD). We show that the time taken to calculate reliability can be reduced by the formula expression in some orders of magnitude compared with the conventional BDD calculation method, which excludes the overhead of formula generation.

引用

页码：299 / 303

页数：5

共 50 条

[41] Synthesis of optical circuits using binary decision diagrams
Deb, Arighna
Wille, Robert
Keszoecze, Oliver
Shirinzadeh, Saeideh
Drechsler, Rolf
INTEGRATION-THE VLSI JOURNAL, 2017, 59 : 42 - 51
[42] Evolving binary decision diagrams using implicit neutrality
Downing, RM
2005 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-3, PROCEEDINGS, 2005, : 2107 - 2113
[43] Reversible Circuit Synthesis Using Binary Decision Diagrams
Podlaski, Krzysztof
PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 235 - 238
[44] Reliability analysis of dynamic fault trees with Priority-AND gates using conditional binary decision diagrams
Zhou, Siwei
Li, Zhao
Xiang, Jianwen
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2025, 253
[45] Using Datalog with binary decision diagrams for program analysis
Whaley, J. (jwhaley@cs.stanford.edu), Asian Association for Foundation of Software; Japan Society for Software Science and Technology; International Information Science Foundation, Japan; University of Tsukuba (Springer Verlag):
[46] Reliability Analysis of Satellite System With Cold-Standby Components Using Sequential Binary Decision Diagrams
Zhou, Hang
Gan, Luping
Meng, Debiao
Li, Yan-Feng
Huang, Hong-Zhong
PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (QR2MSE), VOLS I-IV, 2013, : 122 - 124
[47] Efficient reliability assessment of redundant systems subject to imperfect fault coverage using binary decision diagrams
Myers, Albert
Rauzy, Antoine
IEEE TRANSACTIONS ON RELIABILITY, 2008, 57 (02) : 336 - 348
[48] Zero-suppressed Binary Decision Diagrams Automated Test Assmbly using Zero-suppressed Binary Decision Diagrams
Fuchimoto K.
Minato S.-I.
Ueno M.
Transactions of the Japanese Society for Artificial Intelligence, 2022, 37 (05)
[49] Partial binary decision diagrams
Townsend, WJ
Thornton, MA
PROCEEDINGS OF THE THIRTY-FOURTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2002, : 422 - 425
[50] Equational binary decision diagrams
Groote, JF
van de Poll, J
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 161 - 178

← 1 2 3 4 5 →