Demo: Towards bug-free implementation for wireless sensor networks | Zendy

Manchun Zheng | Zendy; Jun Sun | Zendy; David Sanán | Zendy; Yang Liu | Zendy; Jin Song Dong | Zendy; Yu Gu | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Demo: Towards bug-free implementation for wireless sensor networks

Author(s) -

Manchun Zheng,

Jun Sun,

David Sanán,

Yang Liu,

Jin Song Dong,

Yu Gu

Publication year - 2011

Publication title -

griffith research online (griffith university)

Language(s) - English

Resource type - Conference proceedings

DOI - 10.1145/2070942.2071013

Subject(s) - computer science , wireless sensor network , key distribution in wireless sensor networks , computer network , wireless , wireless network , telecommunications

In this demonstration, a systematically domain-specific model checker, NesC@PAT, is presented. The tool takes NesC programs as input, and automatically verifies WSNs against properties specified in the form of deadlock freeness, state reachability or linear temporal logic formulas. We will show that NesC@PAT is able to find errors caused by rarely unexpected scenarios, which are difficult to be detected by general simulating or debugging.

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