Welcome to the InfoSci Platform
Formal Verification of ZigBee-Based Routing Protocol for Smart Grids

Formal Verification of ZigBee-Based Routing Protocol for Smart Grids

Adnan Rashid, Osman Hasan
Copyright: © 2021 |Pages: 16
ISBN13: 9781799834793|ISBN10: 1799834794|EISBN13: 9781799834809
DOI: 10.4018/978-1-7998-3479-3.ch069
Cite Chapter Cite Chapter

MLA

Rashid, Adnan, and Osman Hasan. "Formal Verification of ZigBee-Based Routing Protocol for Smart Grids." Encyclopedia of Information Science and Technology, Fifth Edition, edited by Mehdi Khosrow-Pour D.B.A., IGI Global, 2021, pp. 1002-1017. https://doi.org/10.4018/978-1-7998-3479-3.ch069

APA

Rashid, A. & Hasan, O. (2021). Formal Verification of ZigBee-Based Routing Protocol for Smart Grids. In M. Khosrow-Pour D.B.A. (Ed.), Encyclopedia of Information Science and Technology, Fifth Edition (pp. 1002-1017). IGI Global. https://doi.org/10.4018/978-1-7998-3479-3.ch069

Chicago

Rashid, Adnan, and Osman Hasan. "Formal Verification of ZigBee-Based Routing Protocol for Smart Grids." In Encyclopedia of Information Science and Technology, Fifth Edition, edited by Mehdi Khosrow-Pour D.B.A., 1002-1017. Hershey, PA: IGI Global, 2021. https://doi.org/10.4018/978-1-7998-3479-3.ch069

Export Reference

Mendeley
Favorite

Abstract

Smart grids provide a digital upgradation of the conventional power grids by alleviating the power outages and voltage sags that occur due to their inefficient communication technologies and systems. They mainly tend to strengthen the efficiency, performance, and reliability of the traditional grids by establishing a trusted communication link between their different components through routing protocols. The conventional methods, i.e., the computer-based simulations and net testing, for analyzing these routing network protocols are error-prone and thus cannot be relied upon while analyzing the safety-critical smart grid systems. Formal methods can cater for the above-mentioned inaccuracies and thus can be very beneficial in analyzing communication protocols used in smart grids. In order to demonstrate the utilization and effectiveness of formal methods in analyzing smart grid routing protocols, we use the UPPAAL model checker to formally model the ZigBee-based routing protocol. We also verify some of its properties, such as, liveness, collision avoidance and deadlock freeness.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.