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.
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 *