Performance evaluation of ODMAC protocol for WSNs powered by ambient energy. (8th February 2022)

• Record Type: Journal Article
• Authors: Hmidi, Zohra; Kahloul, Laid; Benharzallah, Saber; Hamani, Nadia
• Is Part Of: International journal of simulation and process modelling. Volume 17:Number 1(2022)
• Page Start: 67
• Page End: 78
• Publication Date: 2022-02-08
• Subjects: 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; Management -- Computer simulation -- Periodicals; Mathematical models -- Periodicals; Operations research -- Periodicals; Simulation methods -- Periodicals; 003.05
• Languages: English
• ISSNs: 1740-2123

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.