Towards a model checker for NesC and wireless sensor networks

• Main Authors: ZHENG, Manchun, SUN, Jun, LIU, Yang, DONG, Jin Song, GU, Yu
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2011
• 主題: Wireless Sensor Network; Model Checker; Operational Semantic; Linear Temporal Logic; State Reachability; Programming Languages and Compilers; Software Engineering
• 在線閱讀: 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
• 機構: Singapore Management University

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...