Abstract
We propose a probabilistic, energy-aware, broadcast calculus for the analysis of mobile ad-hoc networks. The semantics of our model is expressed in terms of Segala’s probabilistic automata driven by schedulers to resolve the nondeterministic choice among the probability distributions over target states. We develop a probabilistic observational congruence and a energy-aware preorder semantics. The observational congruence allows us to verify whether two networks exhibit the same observable probabilistic behaviour (connectivity), while the preorder is used to compare the energy consumption of different, but behaviourally equivalent, networks. As an application, we analyse and compare the energy consumption of two well-known automatic repeat request (ARQ)-based error control protocols: stop-and-wait (SW) and go-back-N (GBN).
This is a preview of subscription content, log in via an institution to check access.
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
Bernardo, M., Bravetti, M.: Performance measure sensitive congruences for markovian process algebras. Theoretical Computer Science 290(1), 117–160 (2003)
Gallina, L., Hamadou, S., Marin, A., Rossi.S.: A probabilistic energy-aware model for mobile ad-hoc networks. Research Report DAIS-2011-3, Department of Computer Science. University Ca’ Foscari of Venice (2011)
Gallina, L., Rossi, S.: Sender- and receiver-centered interference in wireless ad hoc networks. In: Proc. of IFIP Wireless Days 2010. IEEE Computer Society Press, Los Alamitos (2010)
Goubault-Larrecq, J., Palamidessi, C., Troina, A.: A probabilistic applied pi–calculus. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 175–190. Springer, Heidelberg (2007)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Le, L.B., Hossain, E., Zorzi, M.: Queueing analysis for gbn and sr arq protocols under dynamic radio link adaptation with non-zero feedback delay. IEEE Transactions on Wireless Communications 6(9), 3418–3428 (2007)
Priami, C.: Stochasticπ-calculus. The Computer Journal 38(7), 578–589 (1995)
Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685–695. Springer, Heidelberg (1992)
Ross, S.M.: Stochastic Processes, 2nd edn. John Wiley & Sons, Chichester (1996)
Segala, R., Lynch, N.A.: Probabilistic simulations for probabilistic processes. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 481–496. Springer, Heidelberg (1994)
Singh, S., Woo, M., Raghavendra, C.S.: Power-aware routing in mobile ad hoc networks. In: Proc. of the 4th annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom 1998), pp. 181–190. ACM Press, New York (1998)
Song, L., Godskesen, J.C.: Probabilistic mobility models for mobile and wireless networks. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP Advances in Information and Communication Technology, vol. 323, pp. 86–100. Springer, Heidelberg (2010)
Zorzi, M., Rao, R.R.: Error control and energy consumption in communications for nomadic computing. IEEE Transactions on Computers 46(3), 279–289 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gallina, L., Hamadou, S., Marin, A., Rossi, S. (2011). A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. In: Al-Begain, K., Balsamo, S., Fiems, D., Marin, A. (eds) Analytical and Stochastic Modeling Techniques and Applications. ASMTA 2011. Lecture Notes in Computer Science, vol 6751. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21713-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-21713-5_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21712-8
Online ISBN: 978-3-642-21713-5
eBook Packages: Computer ScienceComputer Science (R0)