Top

Telecommunication Systems

Published in:

06-07-2023

A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs

Authors: Siham Zroug, Laid Kahloul, Samir Tigane, Nadia Hamani, Saber Benharzallah

Published in: Telecommunication Systems | Issue 1/2023

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Wireless sensor networks (WSNs) are intrinsically energy-constrained networks. Researchers have proposed the integration of energy harvesting technologies into sensor nodes to overcome that constraint and provide a sustainable WSN. This paper presents a formal approach to model and evaluate the green carrier sense multiple access with collision avoidance (GCSMA/CA) MAC protocol in Energy Harvesting WSNs. This approach exploits the Hierarchical Timed Coloured Petri Nets (HTCPNs) formal method to design the GCSMA/CA protocol with the CPN-Tools for evaluating the proposed models. In addition, both qualitative and quantitative verification of the proposed models is tackled in this research. Linear Temporal Logic is used to formalise qualitative properties, and quantitative properties are evaluated by exploiting the monitor technique in CPN-Tools. The presented approach focuses on particular properties (performance delay, waiting time, waiting time for an acknowledgement, energy consumption and throughput) that have been overlooked in most prior studies. The simulation results of the proposed HTCPN models using CPN-Tools show that the proposed GCSMA/CA protocol solved the problem of energy consumption by integrating the energy harvesting module in the sensor node. Indeed, the simulation results concerning the verified quantitative properties of the simulated HTCPN models have given network throughput of around 70%, an average waiting time of around 102.54 \(time \, unit\), an average waiting time for an acknowledgement of around 9.13 \(time \, unit\) and an average delay performance is 57.34 \(time \, unit\). Time and hierarchy are two crucial features of the modelling process that HTCPNs offer. The time aspect allows time constraints for the GCSMA/CA protocol to be specified. On the other hand, the hierarchy aspect simplifies the modelling process and creates a modular and manageable model.

previous article Multiserver call center retrial queue under Bernoulli vacation schedule with two-way communication and orbital search

next article A deep learning-based antenna selection approach in MIMO system

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Alghamdi, B., & Fouchal, H. (2014). A mobile wireless body area network platform. Journal of Computational Science, 5(4), 664–674. https://doi.org/10.1016/j.jocs.2014.02.008CrossRef

Arampatzis, T., Lygeros, J., & Manesis, S. (2005). A survey of applications of wireless sensors and wireless sensor networks. In Proceedings of the 2005 IEEE International Symposium On, Mediterrean Conference on Control and Automation Intelligent Control, 2005 (pp. 719–724). IEEE. https://doi.org/10.1109/.2005.1467103.

Alemdar, A., & Ibnkahla, M. (2007). Wireless sensor networks: Applications and challenges. In 2007 9th International Symposium on Signal Processing and its Applications (pp. 1–6). IEEE. https://doi.org/10.1109/ISSPA.2007.4555630.

Neggazi, B., Haddad, M., Turau, V., & Kheddouci, H. (2017). A self-stabilizing algorithm for edge monitoring in wireless sensor networks. Information and Computation, 254, 367–376. https://doi.org/10.1016/j.ic.2016.09.003CrossRef

Khanafer, M., Guennoun, M., & Mouftah, H. T. (2013). A survey of beacon-enabled ieee 802.15. 4 mac protocols in wireless sensor networks. IEEE Communications Surveys & Tutorials, 16(2), 856–876.CrossRef

Suriyachai, P., Roedig, U., & Scott, A. (2011). A survey of mac protocols for mission-critical applications in wireless sensor networks. IEEE Communications Surveys & Tutorials, 14(2), 240–264. https://doi.org/10.1109/SURV.2011.020211.00036CrossRef

Vullers, R. J., Van Schaijk, R., Visser, H. J., Penders, J., & Van Hoof, C. (2010). Energy harvesting for autonomous wireless sensor networks. IEEE Solid-State Circuits Magazine, 2(2), 29–38. https://doi.org/10.1109/MSSC.2010.936667CrossRef

Guan, M., Wang, K., Xu, D., & Liao, W.-H. (2017). Design and experimental investigation of a low-voltage thermoelectric energy harvesting system for wireless sensor nodes. Energy Conversion and Management, 138, 30–37.CrossRef

Adu-Manu, K. S., Adam, N., Tapparello, C., Ayatollahi, H., & Heinzelman, W. (2018). Energy-harvesting wireless sensor networks (eh-wsns) a review. ACM Transactions on Sensor Networks (TOSN), 14(2), 1–50.CrossRef

10.

Fahrenbruch, A., & Bube, R. (2012). Fundamentals of Solar Cells: Photovoltaic Solar Energy Conversion. Elsevier.

11.

Morais, R., Matos, S. G., Fernandes, M. A., Valente, A. L., Soares, S. F., Ferreira, P., & Reis, M. (2008). Sun, wind and water flow as energy supply for small stationary data acquisition platforms. Computers and Electronics in Agriculture, 64(2), 120–132.CrossRef

12.

German, R., & Heindl, A. (1999). Performance evaluation of ieee 802.11 wireless lans with stochastic petri nets. In Proceeding of the 8th International Workshop on Petri Nets and Performance Models, 1999 (pp. 44–53). IEEE. https://doi.org/10.1109/PNPM.1999.796531.

13.

Hammal, Y., Ben-Othman, J., Mokdad, L., & Abdelli, A. (2014). Formal modeling and verification of an enhanced variant of the ieee 802.11 csma/ca protocol. Journal of Communications and Networks, 16(4), 385–396. https://doi.org/10.1109/JCN.2014.000068CrossRef

14.

Gharbi, N., Nemmouchi, B., Mokdad, L., & Ben-Othman, J. (2014). The impact of breakdowns disciplines and repeated attempts on performances of small cell networks. Journal of Computational Science, 5(4), 633–644. https://doi.org/10.1016/j.jocs.2014.02.011CrossRef

15.

Chen, Z., Peng, Y., & Yue, W. (2015). Modeling and analyzing csma/ca protocol for energy-harvesting wireless sensor networks. International Journal of Distributed Sensor Networks. https://doi.org/10.1155/2015/257157CrossRef

16.

Hmidi, Z., Kahloul, L., Benharzallah, S., & Othmane, C. (2016). Statistical model checking of csma/ca in wsns. In VECoS (pp. 27–42).

17.

Houimli, M., Kahloul, L., & Benaoun, S. (2017). Formal specification, verification and evaluation of the mqtt protocol in the internet of things. In 2017 International Conference on Mathematics and Information Technology (ICMIT) (pp. 214–221). https://doi.org/10.1109/MATHIT.2017.8259720

18.

Hu, X., & Jiao, L. (2017). Efficient modeling and performance analysis for ieee 802.15. 4 with coloured petri nets. In IEEE/ACM 25th International Symposium on Quality of Service (IWQoS) (pp. 1–6). IEEE. https://doi.org/10.1109/IWQoS.2017.7969128.

19.

Kim, H., Ben-Othman, J., & Bellavista, P. (2017). Collision-free reinforced barriers in uav networks. Journal of computational science, 22, 289–300. https://doi.org/10.1016/j.jocs.2017.05.025CrossRef

20.

Cambronero, M. E., Macià, H., Valero, V., & Orozco-Barbosa, L. (2018). Modeling and analysis of the 1-wire communication protocol using timed colored petri nets. IEEE Access, 6, 27356–27372. https://doi.org/10.1109/ACCESS.2018.2833213CrossRef

21.

Hmidi, Z., Kahloul, L., Benharzallah, S., & Hamani, N. (2021). Performance evaluation of odmac protocol for wsns powered by ambient energy. International Journal of Simulation and Process Modelling, 17(1), 67–78.CrossRef

22.

Rouainia, H., Grichi, H., Kahloul, L., & Khalgui, M. (2022). New energy efficient and fault tolerant methodology based on a multi-agent architecture in reconfigurable wireless sensor networks. In ENASE (pp. 405–416).

23.

Hmidi, Z., Kahloul, L., & Benharzallah, S. (2023). A new mobility and energy harvesting aware medium access control (meh-mac) protocol: Modelling and performance evaluation. Ad Hoc Networks, 142, 103108. https://doi.org/10.1016/j.adhoc.2023.103108CrossRef

24.

Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541–580. https://doi.org/10.1109/5.24143CrossRef

25.

Chatain, T., Comlan, M., Delfieu, D., Jezequel, L., & Roux, O.-H. (2020). Pomset bisimulation and unfolding for reset petri nets. Information and Computation, 1, 104674. https://doi.org/10.1016/j.ic.2020.104674CrossRef

26.

Jensen, K. (1992). Coloured Petri Nets: Basic Concepts. Analysis Methods and Practical Use (Vol. 1). Springer.

27.

[Online]: CPN Tools can be downloaded(free for academics) from (2021). http://wiki.daimi.au.dk/cpntools/cpntools.wikim. Accessed Junuary 7th, 2021.

28.

Attia, H. B., Kahloul, L., Benhazrallah, S., & Bourekkache, S. (2020). Using hierarchical timed coloured petri nets in the formal study of trbac security policies. International Journal of Information Security, 19(2), 163–187.CrossRef

29.

Committee, L. S., et al. (2003). Part 15.4: wireless medium access control (mac) and physical layer (phy) specifications for low-rate wireless personal area networks (lr-wpans). IEEE Computer Society.

30.

Issariyakul, T., & Hossain, E. (2009). Introduction to network simulator 2 (ns2). In Introduction to Network Simulator NS2 (pp. 1–18). Springer. https://doi.org/10.1007/978-0-387-71760-9_2

31.

Zroug, S., Kahloul, L., Benharzallah, S., & Djouani, K. (2021). A hierarchical formal method for performance evaluation of WSNs protocol. Computing, 103(6), 1183–1208.CrossRef

32.

Zroug, S., Remadna, I., Kahloul, L., & Terrissa, S. L. (2022). Simulation and formal verification in WSNs empowered by machine learning: A review. In International Symposium on iNnovative Informatics of Biskra (ISNIB) (pp. 1–6). IEEE.

33.

Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.CrossRef

34.

Behrmann, G., David, A., Larsen, K. G. (2004). A tutorial on uppaal. In Formal Methods for the Design of Real-time Systems (pp. 200–236). Springer.

35.

Nguyen, T. D., Khan, J. Y., Ngo, D. T. (2016). An adaptive mac protocol for rf energy harvesting wireless sensor networks. In 2016 IEEE Global Communications Conference (GLOBECOM) (pp. 1–6). IEEE.

36.

Lu, Z., & Yang, H. (2012). Unlocking the Power of OPNET Modeler. Cambridge University Press.

37.

Obaid, A., Jaseemuddin, M., & Fernando, X. (2021). An energy harvesting mac protocol for cognitive wireless sensor networks. In 2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring) (pp. 1–6). IEEE.

38.

Jensen, K. (2013). Coloured Petri Nets: Basic concepts, analysis methods and practical use (Vol. 1). Springer.

39.

Gomes, L., & Barros, J. P. (2005). Structuring and composability issues in petri nets modeling. IEEE Transactions on Industrial Informatics, 1, 112–123. https://doi.org/10.1109/TII.2005.844433CrossRef

40.

Hii, P.-C., & Chung, W.-Y. (2011). A comprehensive ubiquitous healthcare solution on an android \({{\rm TM}}\) mobile device. Sensors, 11(7), 6799–6815.CrossRef

41.

Win, K. K., Wu, X., Dasgupta, S., Wen, W. J., Kumar, R., & Panda, S. (2010). Efficient solar energy harvester for wireless sensor nodes. In 2010 IEEE International Conference on Communication Systems (pp. 289–294). IEEE.

42.

ZROUG, S. (2021). Modelling, verification and performance evaluation of the csma/ca protocol in wsns, by coloured petri nets. PhD thesis, Université de mohamed kheider biskra.

43.

Lee, R. (2011). Computers, Networks, Systems, and Industrial Engineering 2011 (Vol. 365). Springer.

44.

Chetto, M. (2014). Optimal scheduling for real-time jobs in energy harvesting computing systems. IEEE Transactions on Emerging Topics in Computing, 2(2), 122–133.CrossRef

45.

Tahir, M., Khan, F., Jan, S. R., Azim, N., Khan, I. A., & Ullah, F. (2016). EEC: Evaluation of energy consumption in wireless sensor networks. International Journal of Engineering Trends and Applications, 49(3), 623–637.

46.

Kurt, S., Yildiz, H. U., Yigit, M., Tavli, B., & Gungor, V. C. (2016). Packet size optimization in wireless sensor networks for smart grid applications. IEEE Transactions on Industrial Electronics, 64(3), 2392–2401.CrossRef

47.

Aissa, Y. B., Bachir, A., Khalgui, M., Koubaa, A., Li, Z., Qu, T. (2019). On feasibility of multichannel reconfigurable wireless sensor networks under real-time and energy constraints. IEEE Transactions on Systems, Man, and Cybernetics: Systems.

48.

Akkaya, K., Younis, M. (2003). An energy-aware qos routing protocol for wireless sensor networks. In Proceedings of 23rd International Conference on Distributed Computing Systems Workshops, 2003 (pp. 710–715). IEEE.

49.

Zroug, S., Remadna, I., Kahloul, L., Terrissa, S. L., & Benharzallah, S. (2023). Towards performance evaluation prediction in WSNs using artificial neural network multi-perceptron. Cluster Computing, 26(2), 1405–1423.CrossRef

Title: A new formal approach for performance evaluation of green MAC protocol in energy harvesting WSNs
Authors: Siham Zroug
Laid Kahloul
Samir Tigane
Nadia Hamani
Saber Benharzallah
Publication date: 06-07-2023
Publisher: Springer US
Published in: Telecommunication Systems / Issue 1/2023
Print ISSN: 1018-4864
Electronic ISSN: 1572-9451
DOI: https://doi.org/10.1007/s11235-023-01035-z

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 1/2023

Post-quantum secure authenticated key agreement protocol for wireless sensor networks

Energy-efficiency schemes for base stations in 5G heterogeneous networks: a systematic literature review

Performance improvement for DCO-OFDM and ACO-OFDM systems using symbol time compression

Multiserver call center retrial queue under Bernoulli vacation schedule with two-way communication and orbital search

A deep learning-based antenna selection approach in MIMO system

Secure fine grained access control for telecare medical communication system