Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
10-2008
Abstract
With the development of sensor technology and electronic miniaturization, wireless sensor networks have shown a wide range of promising applications as well as challenges. Early stage sensor network analysis is critical, which allows us to reveal design errors before sensor deployment. Due to their distinguishable features, system specification and verification of sensor networks are highly non-trivial tasks. On the other hand, numerous formal theories and analysis tools have been developed in formal methods community, which may offer a systematic method for formal analysis of sensor networks. This paper presents our attempt on applying formal methods to sensor network specification/verification. An integrated notation named Active Sensor Processes is proposed for high-level specification. Next, we experiment formal verification techniques to reveal design flaws in sensor network applications.
Keywords
Sensor Network, Sensor Node, Wireless Sensor Network, Network Topology, Model Check
Discipline
Programming Languages and Compilers | Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31
First Page
318
Last Page
337
ISBN
9783540881933
Identifier
10.1007/978-3-540-88194-0_20
Publisher
Springer Link
City or Country
Kitakyushu-City, Japan
Citation
DONG, Jin Song; SUN, Jing; SUN, Jun; TAGUCHI, Kenji; and ZHANG, Xian.
Specifying and verifying sensor networks: An experiment of formal methods. (2008). Proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31. 318-337.
Available at: https://ink.library.smu.edu.sg/sis_research/5049
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1007/978-3-540-88194-0_20