Book contents
- Frontmatter
- Contents
- Preface
- Part I Introduction
- Part II Non-State-Space (Combinatorial) Models
- 4 Reliability Block Diagram
- 5 Network Reliability
- 6 Fault Tree Analysis
- 7 State Enumeration
- 8 Dynamic Redundancy
- Part III State-Space Models with Exponential Distributions
- Part IV State-Space Models with Non-Exponential Distributions
- Part V Multi-Level Models
- Part VI Case Studies
- Author Index
- Subject Index
- References
5 - Network Reliability
from Part II - Non-State-Space (Combinatorial) Models
Published online by Cambridge University Press: 30 August 2017
Book contents
- Frontmatter
- Contents
- Preface
- Part I Introduction
- Part II Non-State-Space (Combinatorial) Models
- 4 Reliability Block Diagram
- 5 Network Reliability
- 6 Fault Tree Analysis
- 7 State Enumeration
- 8 Dynamic Redundancy
- Part III State-Space Models with Exponential Distributions
- Part IV State-Space Models with Non-Exponential Distributions
- Part V Multi-Level Models
- Part VI Case Studies
- Author Index
- Subject Index
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Reliability and Availability EngineeringModeling, Analysis, and Applications, pp. 150 - 200Publisher: Cambridge University PressPrint publication year: 2017
References
[1] , “Computing the reliability of complex networks,” SIAM Journal on Applied Mathematics, vol. 32, pp. 384–393, 1977.Google Scholar
[2] , “Computing network reliability,” Operations Research, vol. 27, pp. 823–838, 1979.Google Scholar
[3] and , “A survey of network reliability and domination theory,” Operations Research, vol. 32, pp. 478–492, 1984.Google Scholar
[4] , The Combinatorics of Network Reliability. Oxford University Press, 1987.
[5] and , “Fast algorithm for unavailability and sensitivity analysis of series-parallel systems,” IEEE Transactions on Reliability, vol. R-31, pp. 359–361, 1982.Google Scholar
[6] and , “A practical implementation of the factoring theorem for network reliability,” IEEE Transactions on Reliability, vol. 37, pp. 259–267, 1988.Google Scholar
[7] , , and , “Computing all-terminal reliability of stochastic networks by BDDs,” in Proc. Applied Stochastic Modeling and Data Analysis, ASMDA2005, 2005.
[8] and , “Preprocessing minpaths for sum of disjoint products,” IEEE Transaction on Reliability, vol. 52, no. 3, pp. 289–295, Sep. 2003.Google Scholar
[9] , “An improved algorithm for network reliability,” IEEE Transactions on Reliability, vol. 28, pp. 58–61, 1979.Google Scholar
[10] and , “An improved algorithm for the symbolic reliability analysis of networks,” IEEE Transactions on Reliability, vol. 40, pp. 347–358, 1991.Google Scholar
[11] , “Graph-based algorithms for Boolean function manipulation,” IEEE Transactions on Computers, vol. C-35, pp. 677–691, 1986.Google Scholar
[12] , “Symbolic Boolean manipulation with ordered binary decision diagrams,” ACM Computing Surveys, vol. 24, pp. 293–318, 1992.Google Scholar
[13] and , Binary Decision Diagrams and Extensions for System Reliability Analysis. Wiley-Scrivener, 2015.
[14] and , “A linear-time algorithm for computing k-terminal reliability in series-parallel networks,” SIAM Journal on Computing, vol. 14, no. 4, pp. 818–832, 1985.
[15] , , and , “Efficient implementation of a BDD package,” in Proc. 27th ACM/IEEE Design Automation Conf., 1990, pp. 40–45.Google Scholar
[16] List of BDD software libraries. [Online]. Available: https://github.com/johnyf/tool_lists/ blob/master/bdd.md (last accessed April 12, 2017).
[17] , Boolean Functions with Engineering Applications and Computer Programs. Springer Verlag, 1989.
[18] , “Inclusion–exclusion and network reliability,” The Electronic Journal of Combinatorics, vol. 5, no. R36, pp. 1–8, 1998.Google Scholar
[19] , Probability and Statistics with Reliability, Queueing and Computer Science Applications, 2nd ed. John Wiley & Sons, 2001.
[20] and , “An improved algorithm for coherent-system reliability,” IEEE Transaction on Reliability, vol. 47, pp. 73–78, 1998.Google Scholar
[21] , “Statistical comparison of two sum-of-disjoint product algorithms for reliability and safety evaluation,” in Proc. 21st Int. Conf. SAFECOMP 2002. LNCS-2434, 2002, pp. 70–81.Google Scholar
[22] , , , and , “A simple algorithm for sum of disjoint products,” in Proc. Ann. IEEE Reliability and Maintainability Symp., 2012.
[23] , , and , “k-terminal network reliability measures with binary decision diagrams,” IEEE Transactions on Reliability, vol. 56, pp. 506–515, 2007.
[24] , , and , Introduction to Algorithms. MIT Press and McGraw-Hill, 1990.
[25] , , and , “A survey of efficient reliability computation using disjoint products approach,” Networks, vol. 25, no. 3, pp. 147–163, 1995.Google Scholar
[26] , , , and , “A practical comparison of methods to assess sum-of-products,” Reliability Engineering and System Safety, vol. 79, no. 1, pp. 33–42, 2003.Google Scholar
[27] , , and , Mathematical Models for the Study of the Reliability of Systems. Academic Press, 1977.
[28] , , and , “A recursive approach for enumerating minimal cutset in a network,” IEEE Transaction on Reliability, vol. 43, no. 3, pp. 383–387, Sep. 1994.Google Scholar
[29] and , “An algorithm to determine the reliability of a complex system,” IEEE Transactions on Reliability, vol. R-18, no. 4, pp. 169–174, Nov. 1969.Google Scholar
[30] , , and , “Reliability analysis of systems,” in Reliability Analysis of Water Distribution Systems, ed. American Society of Civil Engineers, 1989, ch. 9, pp. 259–298.
[31] and , “Reliability analysis of water-distribution systems,” Journal of Environmental Engineering, vol. 120, no. 2, pp. 447–461, 1994.Google Scholar
[32] and , “Reliability of directed networks using the factoring theorem,” IEEE Transactions on Reliability, vol. 38, pp. 556–562, 1989.Google Scholar
[33] , “Factoring algorithms for computing k-terminal network reliability,” IEEE Transactions on Reliability, vol. R-35, pp. 269–278, 1986.
[34] and , “A unified approach via BDD to the network reliability and path number,” Dept. Information Science, University of Tokyo, Tech. Rep. TR-95-09, 1995.
[35] , , and , “A BDD-based algorithm for reliability graph analysis,” Dept. of Electrical Engineering, Duke University, Tech. Rep., 2000.
[36] , “New algorithms for fault tree analysis,” Reliability Engineering & System Safety, vol. 40, pp. 203–211, 1993.Google Scholar
[37] GARR, Italian Research, and Education Network. [Online]. Available: www.garr.it
[38] and , “Reliability and QoS analysis of the Italian GARR network,” Tech. Rep. TR-INF-2008-06-04-UNIPMN, Dip. Informatica, Università Piemonte Orientale. [Online]. Available: www.di.unipmn.it/TechnicalReports/TR-INF-2008-06-04- UNIPMN.pdf
[39] , , , , , , , , and , “Unavailability of critical SCADA communication links interconnecting a power grid and a telco network,” Reliability Engineering and System Safety, vol. 95, pp. 1345–1357, 2010.Google Scholar
[40] Integrated Risk Reduction of Information-based Infrastructure Systems. [Online]. Available: www.irriis.org/
[42] and , “A sum of disjoint products algorithm for reliability evaluation flow of flow networks,” European Journal of Operational Research, vol. 127, no. 3, pp. 664–675, Jun. 2001.Google Scholar
[43] and , “An efficient cutset approach for evaluating communication-network reliability with heterogeneous link-capacities,” IEEE Transactions on Reliability, vol. 54, no. 1, pp. 133–144, 2005.Google Scholar
[44] , , , , and , “Multi-terminal binary decision diagrams: An efficient data structure for matrix representation,” in IWLS'93: Int. Workshop on Logic Synthesis, Carnegie Mellon University, Report 5-1993, 1993, pp. 6a:1–15.
[45] , , and , “Applications of multi-terminal binary decision diagrams,” Technical Report CMU-CS-95-160, 1995. [Online]. Available: www.dtic.mil/ dtic/tr/fulltext/u2/a296385.pdf
[46] , , and , “Multi-terminal binary decision diagrams: An efficient data structure for matrix representation,” Formal Methods in System Design, vol. 10, no. 2–3, pp. 149–169, 1997.Google Scholar
[47] and , “A symbolic algorithms for maximum flow in 0-1 networks,” Form. Methods Syst. Des., vol. 10, no. 2–3, pp. 207–219, 1997.Google Scholar
[48] and , “The symbolic algorithms for maximum flow in networks,” Computers and Operations Research, vol. 34, pp. 799–816, 2007.Google Scholar
[49] and , “Reliability and quality of service in weighted probabilistic networks using algebraic decision diagrams,” in Proc. IEEE Ann. Reliability and Maintainability Symp., Fort Worth, TX, 2009, pp. 19–24.
[50] , “On limit reliability functions of large multi-state systems with ageing components,” Appl. Math. Comput., vol. 121, no. 2–3, pp. 313–361, 2001.Google Scholar
[51] and , Multi-State System Reliability: Assessment, Optimization and Applications, Series on Quality, Reliability and Engineering Statistics: Volume 6. World Scientific, 2003.
[52] and , “Investigation multi-state system reliability by structure function,” in DEPCOS-RELCOMEX '07: Proc. 2nd Int. Conf. on Dependability of Computer Systems. IEEE Computer Society, 2007, pp. 81–90.
[53] , “On evaluating the performability of degradable systems,” IEEE Transactions on Computers, vol. C-29, pp. 720–731, 1980.Google Scholar
[54] , , , and , “A BDD-based algorithm for analysis of multistate systems with multistate components,” IEEE Transactions on Computers, vol. 52, no. 12, pp. 1608–1618, 2003.Google Scholar
[55] and , “A new decision diagram based method for efficient analysis on multi-state systems,” IEEE Transactions on Dependable and Secure Computing, vol. 6, no. 3, pp. 161–174, 2009.Google Scholar
[56] , , , , and , “Performability analysis of multistate computing systems using multivalued decision diagrams,” IEEE Transactions on Computers, vol. 59, no. 10, pp. 1419–1433, 2010.Google Scholar
[57] and , “Multi-state system analysis based on multiple-valued decision diagram,” Journal of Reliability and Statistical Studies, vol. 5, pp. 107–118, 2012.Google Scholar
[58] , , and , “Reliability analysis of multistate device networks,” IEEE Transactions on Reliability, vol. 27, no. 3, pp. 233–236, Aug. 1978.Google Scholar
[59] , “Multivalued state component systems,” The Annals of Probability, vol. 7, no. 2, pp. 379–383, 1979.Google Scholar
[60] and , “Reliability analysis of multistate systems with multistate components,” IIE Transactions, vol. 15, pp. 127–135, 1983.Google Scholar
[61] , , and , “Decision diagram based methods and complexity analysis for multi-state systems,” IEEE Transactions on Reliability, vol. 59, no. 1, pp. 145–161, 2010.Google Scholar
[62] , “Reliability of multi-state systems with two failure-modes,” IEEE Transactions on Reliability, vol. R-52, no. 3, pp. 340–348, 2003.Google Scholar
[63] and , “A new approach to solving problems of multi-state system reliability optimization,” Quality and Reliability Engineering International, vol. 17, pp. 93–104, 2001.Google Scholar
[64] and , “QoS analysis of weighted multi-state probabilistic networks via decision diagrams,” in Computer Safety, Reliability, and Security, ed. . Springer Verlag, LNCS, Vol 6351, 2010, pp. 41–54.
[65] , , , and , “Multi-valued decision diagrams: Theory and applications,” Multiple-Valued Logic, vol. 4, no. 1, pp. 9–62, 1998.Google Scholar
[66] , , and , “Exploiting interleaving semantics in symbolic state-space generation,” Formal Methods in System Design, vol. 31, no. 1, pp. 63–100, 2007.Google Scholar
[67] and , “On the construction of multiple-valued decision diagrams,” in Proc. IEEE 32nd Int. Symp. on Multiple-Valued Logic, 2002, pp. 264–269.Google Scholar
[68] I. S. U. Research Foundation, Meddly decision diagram library. [Online]. Available: http:// meddly.sourceforge.net/
[69] and , “Meddly: Multi-terminal and Edge-valued Decision Diagram Library,” in Proc. 7th Int. Conf. on Quantitative Evaluation of Systems (QEST'10), 2010, pp. 195–196.Google Scholar
[70] , , and , “OBDD-based evaluation of k-terminal network reliability,” IEEE Transactions on Reliability, vol. 51, no. 4, pp. 443–451, 2002.
[71] , , , and , “Evaluating network reliability versus topology by means of BDD algorithms,” in Int. Probabilistic Safety Assessment and Management Conf. (PSAM-9), 2008.
[72] , “Improving reliability calculation with augmented binary decision diagrams,” in 24th IEEE Int. Conf. on Advanced Information Networking and Applications, 2010, pp. 328–333.Google Scholar
[73] , , , and , “A new symbolic approach for network reliability analysis,” in IEEE Int. Conf. on Dependable Systems and Networks, DSN2012, 2012, pp. 1–12.Google Scholar
[74] and , “Calculating bounds on reachability and connectedness in stochastic networks,” Networks, vol. 13, no. 2, pp. 253–278, 1983.Google Scholar
[75] and , “Bounds on the reliability of binary coherent systems,” IEEE Transactions on Reliability, vol. 38, pp. 425–427, 1989.Google Scholar
[76] , , and , “Practical sequential bounds for approximating two-terminal reliability,” European Journal of Operational Research, vol. 195, no. 2, pp. 427–441, Jun. 2009.Google Scholar
[77] , , , and , “Fast computation of bounds for two-terminal network reliability,” European Journal of Operational Research, vol. 238, no. 3, pp. 810–823, 2014.Google Scholar
[78] , , , , , , and , “Reliability estimation for large networked systems,” U.S. Patent 20 090 323 539, 11, 2011.
[79] , , and , Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, 1996.
[80] and , Network Reliability Calculations Based on Structural Invariants. John Wiley & Sons, Ltd, 2013, pp. 135–146.
[81] , , and , “Network reliability,” Handbooks in Operations Research and Management Science, vol. 7, pp. 673–762, 1995.Google Scholar
[82] , “Network reliability evaluation,” in State-of-the-Art in Performance Modeling and Simulation, eds. and . Gordon and Breach, 1998, ch. 11, pp. 275–302.
[83] , “A Monte Carlo sampling plan for estimating network reliability,” Operations Research, vol. 34, no. 4, pp. 581–594, 1986.Google Scholar
[84] and , “Statistical mechanics of complex networks,” Review Modern Physics, vol. 74, pp. 47–97, 2002.Google Scholar
[85] and , “Evolution of networks,” Advances in Physics, vol. 51, pp. 1079–1187, 2002.Google Scholar
[86] , “The structure and function of complex networks,” SIAM Review, vol. 45, pp. 167–256, 2003.Google Scholar
[87] , , , , and , “Complex networks: Structure and dynamics,” Physics Reports, vol. 424, no. 4–5, pp. 175–308, 2006.Google Scholar
[88] and , Networks: A Very Short Introduction. Oxford University Press, 2012.