Abstract: The standard IEEE 802.15.6 provides a new phys-ical layer (PHY) and medium access control sublayer (MAC) specifications that support several challenges of wireless body area networks (WBANs). The posting is the access method of the IEEE 802.15.6 MAC protocol that is used by the hub to send data to the nodes. In this paper, we use a formal method to evaluate the posting access method under the WBANs stochastic environment. Based on the statistical model checking (SMC) toolset UPPAAL-SMC, we model and evaluate the behavior of the posting access method in terms of scalability. The evaluation results showed that according to the allocated time intervals, the energy consumption, and the throughput the scalability was validated.

Bethaina Touijer, Yann Ben Maissa and Salma Mouline, “Scalability Validation of the Posting Access Method through UPPAAL-SMC Model-Checker” International Journal of Advanced Computer Science and Applications(IJACSA), 11(8), 2020. http://dx.doi.org/10.14569/IJACSA.2020.0110887

@article{Touijer2020,
title = {Scalability Validation of the Posting Access Method through UPPAAL-SMC Model-Checker},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2020.0110887},
url = {http://dx.doi.org/10.14569/IJACSA.2020.0110887},
year = {2020},
publisher = {The Science and Information Organization},
volume = {11},
number = {8},
author = {Bethaina Touijer and Yann Ben Maissa and Salma Mouline}
}