Towards a model checker for NesC and wireless sensor networks

• المؤلفون الرئيسيون: 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...