Abstract
Dependability evaluation plays a key role in the design of a broad range of systems, where related properties have to be carefully analyzed in order to meet the requirements. This is particularly challenging in distributed contexts, where several entities may interact influencing each other. In this paper, we present an analytical framework that allows the study of a class of phenomena where different working conditions alternate, changing the stochastic behavior of the system. The proposed solution technique, based on phase type distributions and on ad-hoc fitting algorithms, can be applied in dependability evaluation of a wide class of distributed systems. Examples are provided to show the usefulness and the applicability of the framework, characterizing and investigating different dependability aspects of two distributed computing systems, i.e., connection-oriented networks and Internet of Things.
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
Finkelstein, M.S.: Wearing-out of components in a variable environment. Reliability Engineering & System Safety 66(3), 235–242 (1999)
Sedyakin, N.: On one physical principle in reliability theory. Tekhn. Kibernetika (in Russian - Technical Cybernetics) 3, 80–87 (1966)
Limnios, N., Oprisan, G.: Semi-Markov Processes and Reliability. Statistics for Industry and Technology. Birkhäuser, Boston (2001)
Cox, D.R.: Renewal Theory. Methuen, London (1962)
Distefano, S., Longo, F., Scarpa, M.: Availability assessment of ha standby redundant clusters. In: SRDS 2010 Proceedings of the 2010 29th IEEE Symposium on Reliable Distributed Systems, pp. 265–274 (2010)
Distefano, S., Longo, F., Scarpa, M.: Symbolic representation techniques in dynamic reliability evaluation. In: 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE), pp. 45–53 (2010)
Neuts, M.F.: Matrix-geometric solutions in stochastic models: an algorithmic approach. Johns Hopkins University Press, Baltimore (1981)
Neuts, M.F., Meier, K.S.: On the use of phase type distributions in reliability modelling of systems with two components. OR Spectrum 2(4), 227–234 (1981)
Bobbio, A., Scarpa, M.: Kronecker representation of stochastic petri nets with discrete ph distributions. In: Proc. Third IEEE Ann. Int’l Computer Performance and Dependability Symp, IPDS 1998 (1998)
Pérez-Ocón, R., Montoro-Cazorla, D.: A multiple system governed by a quasi-birth-and-death process. Reliability Engineering & System Safety 84(2), 187–196 (2004)
Longo, F., Scarpa, M.: Applying symbolic techniques to the representation of non-markovian models with continuous PH distributions. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol. 5652, pp. 44–58. Springer, Heidelberg (2009)
Scarpa, M., Longo, F.: Two layer symbolic representation for stochastic models with phase type distributed events. International Journal of Systems Science (2013)
Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Evaluating wireless sensor node longevity through markovian techniques. Computer Networks 56(2), 521–532 (2012)
Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Workload-based software rejuvenation in cloud systems. IEEE Transactions on Computers 62(6), 1072–1085 (2013)
Franz, R., Gradischnig, K.D., Huber, M.N., Stiefel, R.: Atm-based signaling network topics on reliability and performance. IEEE Journal on Selected Areas in Communications 12(3), 517–525 (1994)
Herrmann, C., Lott, M., Du, Y., Hettich, A.: A wireless atm lan prototype: Test bed implementation and first performance results. In: Proc. of MTT-S Wireless 1998 Symposium, pp. 145–150 (1998)
Liu, H.L., Shooman, M.: Reliability computation of an ip/atm network with congestion. In: Annual. Reliability and Maintainability Symposium, pp. 581–586 (2003)
Ganti, R., Ye, F., Lei, H.: Mobile crowdsensing: current state and future challenges. IEEE Communications Magazine 49(11), 32–39 (2011)
Bruneo, D., Puliafito, A., Scarpa, M.: Energy control in dependable wireless sensor networks: a modelling perspective. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 225(4), 424–434 (2011)
Distefano, S.: Evaluating reliability of wsn with sleep/wake-up interfering nodes. International Journal of Systems Science 44(10), 1793–1806 (2013)
Carroll, A., Heiser, G.: An analysis of power consumption in a smartphone. In: Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, USENIXATC 2010, p. 21. USENIX Association, Berkeley (2010)
Bruneo, D., Distefano, S., Longo, F., Puliafito, A., Scarpa, M.: Reliability assessment of wireless sensor nodes with non-linear battery discharge. In: 2010 IFIP Wireless Days (WD), pp. 1–5. IEEE Press (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Distefano, S., Bruneo, D., Longo, F., Scarpa, M. (2013). Quantitative Dependability Assessment of Distributed Systems Subject to Variable Conditions. In: Pathan, M., Wei, G., Fortino, G. (eds) Internet and Distributed Computing Systems. IDCS 2013. Lecture Notes in Computer Science, vol 8223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41428-2_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-41428-2_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41427-5
Online ISBN: 978-3-642-41428-2
eBook Packages: Computer ScienceComputer Science (R0)