Please use this identifier to cite or link to this item: https://doi.org/10.1145/2070942.2071013
Title: Demo: Towards bug-free implementation for wireless sensor networks
Authors: Zheng, M.
Sun, J.
Sanán, D.
Liu, Y. 
Dong, J.S. 
Gu, Y.
Keywords: model checking
NesC
TinyOS
Issue Date: 2011
Source: Zheng, M.,Sun, J.,Sanán, D.,Liu, Y.,Dong, J.S.,Gu, Y. (2011). Demo: Towards bug-free implementation for wireless sensor networks. SenSys 2011 - Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems : 407-408. ScholarBank@NUS Repository. https://doi.org/10.1145/2070942.2071013
Abstract: 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. © 2011 Authors.
Source Title: SenSys 2011 - Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems
URI: http://scholarbank.nus.edu.sg/handle/10635/43176
ISBN: 9781450307185
DOI: 10.1145/2070942.2071013
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

3
checked on Dec 13, 2017

Page view(s)

66
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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