Skip to Main content Skip to Navigation
Conference papers

Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network

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.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Monday, March 12, 2018 - 9:46:40 AM
Last modification on : Wednesday, October 28, 2020 - 9:52:05 AM
Long-term archiving on: : Wednesday, June 13, 2018 - 12:39:06 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Sajeh Zairi, Anis Mezni, Belhassen Zouari. Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network. 13th International Conference on Wired/Wireless Internet Communication (WWIC), May 2015, Malaga, Spain. pp.381-395, ⟨10.1007/978-3-319-22572-2_28⟩. ⟨hal-01728799⟩



Record views


Files downloads