Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Formal Verification of ZigBee-Based Routing Protocol for Smart Grids

Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
View Sample PDF
Author(s): Adnan Rashid (National University of Sciences and Technology, Pakistan)and Osman Hasan (National University of Sciences and Technology, Pakistan)
Copyright: 2021
Pages: 16
Source title: Encyclopedia of Information Science and Technology, Fifth Edition
Source Author(s)/Editor(s): Mehdi Khosrow-Pour D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-7998-3479-3.ch069


View Formal Verification of ZigBee-Based Routing Protocol for Smart Grids on the publisher's website for pricing and purchasing information.


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.

Related Content

Yair Wiseman. © 2021. 11 pages.
Mário Pereira Véstias. © 2021. 15 pages.
Mahfuzulhoq Chowdhury, Martin Maier. © 2021. 15 pages.
Gen'ichi Yasuda. © 2021. 12 pages.
Alba J. Jerónimo, María P. Barrera, Manuel F. Caro, Adán A. Gómez. © 2021. 19 pages.
Gregor Donaj, Mirjam Sepesy Maučec. © 2021. 14 pages.
Udit Singhania, B. K. Tripathy. © 2021. 11 pages.
Body Bottom