Abstract
The Control of energy consumption by sensor networks and the maximization of the sensor network lifetime are the most fundamental issues. Due to the variety of protocols dedicated to the different sensor’s layers and the difficulty of a real network deployment, designers need some mechanisms and tools to validate the energy consumption and to observe its impact on the network’s lifetime before deployment. In this context, we have proposed a modeling approach considering the global behavior of a sensor network and allowing the estimation of the network’s energy consumption. This approach is based on the concept of components oriented modeling and the expressiveness of Colored Petri Nets (CP-NET). Thus, the global model representing sensor behavior is obtained by interfacing different models each one representing the behavior of a particular component of the sensor. In this work, our interest was firstly focused on the radio because it’s the most energy consumer. When observing the node functioning, we show that the radio behavior is mainly controlled by the MAC component. Therefore, we were also interested in MAC component. The generated model has been used to estimate the energy consumption and to evaluate the network lifetime. Adopting the oriented components modeling approach, we may obtain two global models, where only MAC protocol change. Obtained models, representing the behavior of mostly used MAC protocols, allow comparing the impact of these two protocols on the network’s global behavior and particularly on its lifetime.
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
Similar content being viewed by others
References
Chandrasekaran, V., Anitha, S., Shanmugam, A.: A research survey on experimental tools for simulating wireless sensor networks. Int. J. Comput. Appl. 79(16), 1–9 (2013)
Despaux, F., Song, Y.-Q., Lahmadi, A.: Modelling and performance analysis of wireless sensor networks using process mining techniques: ContikiMAC use case. In: DCOSS 2014, pp. 1–8 (2014)
Jensen, K., Kristensen, L.: Colored Petri Nets – Modeling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
Ibrahim, D., et al.: Coloured petri net model for vector-based forwarding routing protocol. In: International conference on Computing Technology and Information Management (2014)
Jurdak, R., Lopes, C.V., Baldi, P.: Battery lifetime estimation and optimization for underwater sensor networks. IEEE Sens. Netw. Oper. 2006, 397–420 (2004)
Lacerda, B., Lima, P.U.: Petri nets as an analysis tool for data flow in wireless sensor networks. In: 1st Portuguese Conference on WSNs, Coimbra, Portugal, pp. 1–6 (2011)
Venkatesan, L., et al.: A survey on modeling and enhancing reliability of wireless sensor network. Wireless Sens. Netw., 41–51 (2013)
Rodriguez, H., Carvajal, R., Ontiveros, B., Soto, I.: Using petri net for modeling and analysis of an encryption scheme for wireless sensor network. In: Pawlewski, P. (ed.) InTech (2010)
Samper, L., Maraninchi, F., Mounier, L., Mandel, L.: Glonemo: global and accurate formal models for the analysis of ad-hoc sensor networks. In: Proceedings of the First International Conference on Integrated Internet ad hoc and Sensor Networks. ACM (2006)
Shareef, A., Zhu, Y.: Energy modeling sensor nodes based on petri nets. In: Parallel Processing, pp. 101–110 (2010)
Xu, N.: A survey of sensor network applications. IEEE Commun. Mag. 40(8), 102–114 (2002)
Yu, Z., Liu, Y., Cai, Y.: Design of an energy-efficient distributed multi-level clustering algorithm for wireless sensor networks. In: Wireless Communications, Networking and Mobile Computing, WiCOM 2008 (2008)
Ben-Othman, J., Diagne, S., Mokdad, L., Yahia, B.: Performance evaluation of a medium access control protocol for wireless sensor networks using petri nets, HET-NETs 2010 (2010)
Azgomi, M.A., Khalili, A.: Performance evaluation of sensor medium access control protocol using colored petri nets. Electron. Notes Theor. Comput. Sci. 242, 31–42 (2009)
El-Hoiydi, A., Decotignie, J.-D.: WiseMAC: an ultra low power MAC protocol for multi-hop wireless sensor networks. In: Nikoletseas, S.E., Rolim, J.D. (eds.) ALGOSENSORS 2004. LNCS, vol. 3121, pp. 18–31. Springer, Heidelberg (2004)
Zairi, S., Niel, E., Zouari, B.: Global generic model for formal validation of the wireless sensor networks properties. In: 18th IFAC World Congress Milano (Italy), August 28–September 2 (2011)
Polastre, J., Hill, J., Culler, D.: Versatile low power media access for sensor networks. In: Proceedings of the Second ACM Conference on Embedded Networked Sensor Systems (SenSys), November 3–5, 2004
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Zairi, S., Mezni, A., Zouari, B. (2015). Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network. In: Aguayo-Torres, M., Gómez, G., Poncela, J. (eds) Wired/Wireless Internet Communications. WWIC 2015. Lecture Notes in Computer Science(), vol 9071. Springer, Cham. https://doi.org/10.1007/978-3-319-22572-2_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-22572-2_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22571-5
Online ISBN: 978-3-319-22572-2
eBook Packages: Computer ScienceComputer Science (R0)