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 metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01728799
Contributor : Hal Ifip <>
Submitted on : Monday, March 12, 2018 - 9:46:40 AM
Last modification on : Monday, March 12, 2018 - 9:51:14 AM
Long-term archiving on : Wednesday, June 13, 2018 - 12:39:06 PM

File

346846_1_En_28_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

288

Files downloads

137