Embedding and Verification of ZigBee Protocol Stack in Event-B | Zendy

Amjad Gawanmeh | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Embedding and Verification of ZigBee Protocol Stack in Event-B

Author(s) -

Amjad Gawanmeh

Publication year - 2011

Publication title -

procedia computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.334

H-Index - 76

ISSN - 1877-0509

DOI - 10.1016/j.procs.2011.07.097

Subject(s) - computer science , correctness , protocol stack , protocol (science) , neurfon , embedding , embedded system , event (particle physics) , wireless sensor network , abstraction , formal verification , stack (abstract data type) , wireless , computer network , wireless network , operating system , programming language , key distribution in wireless sensor networks , medicine , philosophy , alternative medicine , physics , epistemology , pathology , quantum mechanics , artificial intelligence

ZigBee is a specification that enhances the IEEE 802.15.4 standard by adding network and security layers and an application framework for high level communication in Wireless Sensor Networks (WSN). Since ZigBee is essential in the operation of WSN; it is imperative to verify the correctness of its design. Formal methods can be used efficiently to verify a wide range of systems, including ZigBee protocol stack specification. In this paper we use Event-B formal verification method to model and verify ZigBee protocol stack by providing embedding of the protocol primitives in Event-B. Our approach takes advantage of the Event-B method capabilities to model designs at different levels of abstraction which fits the layered nature of the protocol

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research