Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-540-88194-0-20
Title: Specifying and verifying sensor networks: An experiment of formal methods
Authors: Dong, J.S. 
Sun, J.
Sun, J. 
Taguchi, K.
Zhang, X.
Issue Date: 2008
Source: Dong, J.S.,Sun, J.,Sun, J.,Taguchi, K.,Zhang, X. (2008). Specifying and verifying sensor networks: An experiment of formal methods. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5256 LNCS : 318-337. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-540-88194-0-20
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. © 2008 Springer Berlin Heidelberg.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/40045
ISBN: 354088193X
ISSN: 03029743
DOI: 10.1007/978-3-540-88194-0-20
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

19
checked on Dec 11, 2017

Page view(s)

59
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.