Abstract
Cognitive Networks are a class of communication networks, in which nodes can learn how to adjust their behaviour according to the present and past network conditions. In this paper we introduce a formal probabilistic model for the analysis of wireless networks in which nodes are seen as processes capable of adapting their course of action to the environmental conditions. In particular, we model a network made of mobile nodes using the gossip protocol, and we study how the energy performance of the network varies, according to the topology changes and the transmission power. The stochastic process underlying the model is a discrete time Markov chain. We use the PRISM model checker to obtain, through Monte-Carlo simulation, numerical results for our analysis, which show how the learning-driven dynamic adjustment of transmission power can improve the energy performance while preserving connectivity.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dimakis, A.G., Sarwate, A.D., Wainwright, M.J.: Geographic Gossip: Efficient Aggregation for Sensor Networks. In: Proc. of the 5th International Conference on Information Processing in Sensor Networks, pp. 69–76. ACM (2006)
Donald, J.S., Yasinac, A.: Dynamic probabilistic retransmission in ad hoc networks. In: Proc. of the Int. Conference on Wireless Networks (ICWN 2004), pp. 158–164. CSREA Press (2004)
Fehnker, A., Gao, P.: Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols. In: Kunz, T., Ravi, S.S. (eds.) ADHOC-NOW 2006. LNCS, vol. 4104, pp. 128–141. Springer, Heidelberg (2006)
Fortuna, C., Mohorcic, M.: Trends in the Development of Communication Networks: Cognitive Networks. Computer Networks 53(9), 1354–1376 (2009)
Gelenbe, E., Lent, R.: Power-aware ad hoc cognitive packet networks. Ad Hoc Networks 2(3), 205–216 (2004)
Haas, Z.J., Halpern, J.Y., Li, L.: Gossip-based Ad Hoc Routing. IEEE/ACM Trans. Netw. 14(3), 479–491 (2006)
Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5), 512–535 (1994)
Mitola III., J.: Cognitive Radio - An Integrated Agent Architecture for Software Defined Radio. PhD thesis, Royal Institute of Technology, Stockholm, Sweden (2000)
Guo, L., Wang, J., Zhao, G.: Study on Formal Modeling and Analysis Method Oriented Cognitive Network. In: 2012 Fifth International Symposium on Computational Intelligence and Design (ISCID), vol. 2, pp. 402–405 (2012)
Kwiatkowska, M., Norman, G., Parker, D.: Prism 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)
Norman, G., Kwiatkowska, M., Parker, D.: Advances and Challenges of Probabilistic Model Checking. In: 48th Annual Allerton Conference on Communication, Control, and Computing, pp. 1691–1698. IEEE (2010)
Madhav, T.V., Sarma, N.V.S.N.: Maximizing Network Lifetime through Varying Transmission Radii with Energy Efficient Cluster Routing Algorithm in Wireless Sensor Networks. International Journal of Information and Electronics Engineering 2(2), 205–209 (2012)
Mahmoodi, T.: Energy-aware routing in the cognitive packet network. Performance Evaluation 68(4), 338–346 (2011)
Santi, P.: Topology Control in Wireless Ad Hoc and Sensor Networks. ACM Computing Surveys (CSUR) 37(2), 164–194 (2005)
Stewart, W.J.: Probability, Markov Chains, Queues, and Simulation. Princeton University Press, UK (2009)
Younis, O., Fahmy, S.: HEED: A Hybrid, Energy-Efficient, Distributed Clustering Approach for Ad Hoc Sensor Networks. IEEE Transactions on Mobile Computing 3(4), 366–379 (2004)
Zhai, H., Fang, Y.: Physical carrier sensing and spatial reuse in multirate and multihop wireless ad hoc networks. In: Proc. of INFOCOM 2006. 25th IEEE International Conference on Computer Communications, pp. 1–12 (2006)
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
Dei Rossi, GL., Gallina, L., Rossi, S. (2013). Performance Analysis and Formal Verification of Cognitive Wireless Networks. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds) Computer Performance Engineering. EPEW 2013. Lecture Notes in Computer Science, vol 8168. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40725-3_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-40725-3_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40724-6
Online ISBN: 978-3-642-40725-3
eBook Packages: Computer ScienceComputer Science (R0)