Abstract
Network reliability analysis is usually carried out under the simplified hypothesis that the elements of the network are binary entities that can be in one of two mutually exclusive states, perfect functioning or failed. The present paper enlarges this view from two points of view. The elements of the networks are described by multiple states that can represent a variety of different situations, like degradation levels or multiple failure modes. Furthermore, in order to increase the description power of the model, we assign to each state a weight describing a performance attribute of the element in that state. The weights may assume different physical meanings so that different Quality of Service (QoS) indicators may be evaluated. We show that the QoS analysis of a multi-state weighted probabilistic network can be performed by resorting to data structures called Multi-valued Decision Diagrams. Several examples illustrate the methodology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bobbio, A., Terruggia, R.: Binary decision diagram in network reliability analysis. In: 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007), pp. 57–62 (2007)
Boykov, Y., Kolmogorov, V.: An experimental comparison of min-cut/max- flow algorithms for energy minimization in vision. IEEE Transactions on Pattern Analysis and Machine Intelligence 26(9), 1124–1137 (2004)
Chaturvedi, S.K.: Irredundant subset cut generation to compute capacity related reliability. Int. J. of Performability Engineering 3, 243–256 (2007)
Ciardo, G., Luttgen, G., Miner, A.S.: Exploiting interleaving semantics in symbolic state-space generation. Formal Methods in System Design (2007)
Gan, D., Luo, X., Bourcier, D.V., Thomas, R.J.: Min-max transfer capabilities of transmission interfaces. Int. J. of Electrical Power & Energy Systems 25(5), 347–353 (2003)
Hajiaghayi, M.T., Leighton, T.: On the max-flow min-cut ratio for directed multicommodity flows. Theoretical Computer Science 352(1-3), 318–321 (2006)
Hardy, G., Lucet, C., Limnios, N.: K-terminal network reliability measures with binary decision diagrams. IEEE Transactions on Reliability 56, 506–515 (2007)
Hudson, J.C., Kapur, K.C.: Reliability analysis of multistate systems with multistate components. IIE Transactions 15, 127–135 (1983)
Jane, C.C., Yuan, J.: A sum of disjoint products algorithm for reliability evaluation flow of flow networks. European J. of Op. Research 127(3), 664–675 (2001)
Kam, T., Villa, T., Braytonand, R., Sangiovanni-Vincentelli, A.: Multi-valued decision diagrams: Theory and applications. Multiple-Valued Logic 4(1), 9–62 (1998)
Kolowrocki, K.: On limit reliability functions of large multi-state systems with ageing components. Appl. Math. Comput. 121(2-3), 313–361 (2001)
Levitin, G., Lisnianski, A.: A new approach to solving problems of multi-state system reliability optimization. Quality and Reliability Engineering International 17, 93–104 (2001)
Nagamochi, H., Ibaraki, T.: On max-flow min-cut and integral flow properties for multicommodity flows in directed networks. Information Processing Letters 31(6), 279–285 (1989)
Ramirez-Marquez, J.E., Coit, D.W.: A Monte-Carlo simulation approach for approximating multi-state two terminal reliability. Reliability Engineering and System Safety 87(2), 253–264 (2005)
Shrestha, A., Xing, L., Dai, Y.: Decision diagram based methods and complexity analysis for multi-state systems. IEEE Trans. on Reliability 59(1), 145–161 (2010)
Soh, S., Rai, S.: An efficient cutset approach for evaluating communication-network reliability with heterogeneous link-capacities. IEEE Transactions on Reliability 54(1), 133–144 (2005)
Iowa State University Ames (IA) USA. Meddly decision diagram library, http://sourceforge.net/projects/meddly/
Xing, L., Dai, Y.: A new decision diagram based method for efficient analysis on multi-state systems. IEEE Transactions on Dependable and Secure Computing 6(3), 161–174 (2009)
Zaitseva, E., Levashenko, V.: Investigation multi-state system reliability by structure function. In: DEPCOS-RELCOMEX 2007: Proceedings of the 2nd International Conference on Dependability of Computer Systems, Washington, DC, USA, pp. 81–90. IEEE Computer Society, Los Alamitos (2007)
Zang, X., Wang, D., Sun, H., Trivedi, K.: A BDD-based algorithm for analysis of multistate systems with multistate components. IEEE Transactions on Computers 52(12), 1608–1618 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Terruggia, R., Bobbio, A. (2010). QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-15651-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15650-2
Online ISBN: 978-3-642-15651-9
eBook Packages: Computer ScienceComputer Science (R0)