Title: Performance evaluation of ODMAC protocol for WSNs powered by ambient energy

Authors: Zohra Hmidi; Laid Kahloul; Saber Benharzallah; Nadia Hamani

Addresses: LINFI Laboratory, Computer Science Department, Biskra University, Algeria ' LINFI Laboratory, Computer Science Department, Biskra University, Algeria ' Computer Science Department, LAMIE Laboratory, Batna 2 University, Algeria ' Laboratory of Innovative Technologies, University of Picardie Jules Verne, France

Abstract: Designing a good MAC protocol remains a challenge. Such a protocol has to guarantee access to the medium while reducing energy consumption. With the appearance of energy harvesting-wireless sensor networks (EH-WSNs), energy is no longer a problem but the challenge now is that each sensor remains in its energetically sustainable state as much as possible. This paper proposes a formal study of on demand MAC (ODMAC) one of the well-known protocols proposed for EH-WSNs. An analysis through statistical model checking is made where properties that guarantee the protocol's correctness are verified and a performance evaluation of important aspects is achieved.

Keywords: energy harvesting-wireless sensor networks; EH-WSNs; ENO state; energy neutral operation; ODMAC protocol; on demand medium access control; ODMAC; performance evaluation; formal verification; duty cycle.

DOI: 10.1504/IJSPM.2021.120853

International Journal of Simulation and Process Modelling, 2021 Vol.17 No.1, pp.67 - 78

Received: 02 Jan 2021
Accepted: 04 Sep 2021
Published online: 14 Feb 2022 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article