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.
Abdullah, H., SHEHATA, H., & Ziedan, I. (2018). Formal Verification of Fuzzy Logic Wireless Sensor Network Localization System. The Egyptian International Journal of Engineering Sciences and Technology, 24(EIJEST, Vol. 24, 2018), 48-55. doi: 10.21608/eijest.2018.97230
MLA
H Abdullah; H SHEHATA; I Ziedan. "Formal Verification of Fuzzy Logic Wireless Sensor Network Localization System". The Egyptian International Journal of Engineering Sciences and Technology, 24, EIJEST, Vol. 24, 2018, 2018, 48-55. doi: 10.21608/eijest.2018.97230
HARVARD
Abdullah, H., SHEHATA, H., Ziedan, I. (2018). 'Formal Verification of Fuzzy Logic Wireless Sensor Network Localization System', The Egyptian International Journal of Engineering Sciences and Technology, 24(EIJEST, Vol. 24, 2018), pp. 48-55. doi: 10.21608/eijest.2018.97230
VANCOUVER
Abdullah, H., SHEHATA, H., Ziedan, I. Formal Verification of Fuzzy Logic Wireless Sensor Network Localization System. The Egyptian International Journal of Engineering Sciences and Technology, 2018; 24(EIJEST, Vol. 24, 2018): 48-55. doi: 10.21608/eijest.2018.97230
)
View on SCiNiTO