@article {6425,
	title = {Performance evaluation of ODMAC protocol for WSNs powered by ambient energy},
	journal = {International Journal of Simulation and Process Modelling},
	volume = {17},
	number = {1},
	year = {2021},
	pages = {67-78},
	publisher = {Inderscience Publishers (IEL)},
	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{\textquoteright}s correctness are verified and a performance evaluation of important aspects is achieved.

},
	isbn = {1740-2123},
	url = {https://www.inderscienceonline.com/doi/abs/10.1504/IJSPM.2021.120853},
	author = {Hmidi, Zohra and Kahloul, Laid and Benharzallah, Saber and Hamani, Nadia}
}
