2018 International Conference on Information Networking (ICOIN)
Download PDF

Abstract

Wireless sensor networks (WSNs) consist of many wireless sensor nodes and their behavior is often programmable. However, it is hard to check the correctness of new program for wireless sensor nodes because each node works autonomously. In this paper, we propose a formal verification framework that can detect not only algorithmic errors but also communication ones, which cannot be handled by previous formal verification approaches for WSNs. Using our environment, the program describing sensor node behavior can be verified before installing it in the sensor node. After describing communication model and system structure, we show how it works using an example.
Like what you’re reading?
Already a member?Sign In
Member Price
$11
Non-Member Price
$21
Add to CartSign In
Get this article FREE with a new membership!

Related Articles