Towards a model checker for NesC and wireless sensor networks

Towards a model checker for NesC and wireless sensor networks

Wireless sensor networks (WSNs) are expected to run unattendedly for critical tasks. To guarantee the correctness of WSNs is important, but highly nontrivial due to the distributed nature. In this work, we present an automatic approach to directly verify WSNs built with TinyOS applications implement...

Full description

Saved in:
Bibliographic Details
Main Authors: ZHENG, Manchun, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2011
Subjects:
Wireless Sensor Network
Model Checker
Operational Semantic
Linear Temporal Logic
State Reachability
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5030
https://ink.library.smu.edu.sg/context/sis_research/article/6033/viewcontent/Towards_a_Model.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5030
https://ink.library.smu.edu.sg/context/sis_research/article/6033/viewcontent/Towards_a_Model.pdf

Similar Items