Future of Information and Communication Conference (FICC) 2024
4-5 April 2024
Publication Links
IJACSA
Special Issues
Future of Information and Communication Conference (FICC)
Computing Conference
Intelligent Systems Conference (IntelliSys)
Future Technologies Conference (FTC)
International Journal of Advanced Computer Science and Applications(IJACSA), Volume 11 Issue 8, 2020.
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}
}
Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.