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 | Citation: | 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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.