Formal Verification of Fuzzy Logic Wireless Sensor Network Localization System | ||||
The Egyptian International Journal of Engineering Sciences and Technology | ||||
Article 7, Volume 24, EIJEST, Vol. 24, 2018, February 2018, Page 48-55 PDF (256.06 K) | ||||
Document Type: Original Article | ||||
DOI: 10.21608/eijest.2018.97230 | ||||
View on SCiNiTO | ||||
Authors | ||||
H Abdullah* ; H SHEHATA; I Ziedan | ||||
Computer and Systems Engineering Department, Zagazig Univeristy, Zagazig – Postcode: 44519, Egypt. | ||||
Abstract | ||||
Formal verification is mainly used to prove the correctness of safety-critical hardware and software systems. Localization problem in Wireless Sensor Network (WSN) is a hot research topic with many critical applications. Fuzzy Based Trilateration (FBT) algorithm is a simple and efficient localization technique that has been recently proposed. In this paper, we use PRISM model checker to formally verify the correctness of FBT algorithm. Our verification results show that the fuzzy rules used in the original FBT algorithm can be modified to reduce the average localization error without increasing the complexity of the algorithm. Our results also show that the localization error in the modified FBT (MFBT) algorithm is more likely to be acceptable than the original FBT algorithm. | ||||
Statistics Article View: 111 PDF Download: 163 |
||||