Abstract:Recently, sensor technology has seen significant achievement. Meanwhile, Wireless Sensor Network (WSN) technique has attracted lots of attention because of its open and dynamic behaviors, and has become a very important component of the Internet-based computing. The behavior of WSN system is very complex and may encounter lots of stochastic uncertainties and disturbances like message loss and node dynamics. Furthermore, WSN system is difficult to change and maintain once it is deployed. Thus, it is critical to ensure the quality of the low level protocols of WSN system in design phase. Designers should ensure the logical correctness of a protocol, as well as evaluate the performance of the protocol under certain target environments. To handle these issues, in this paper, we propose a framework to analyze and evaluate WSN protocols based on stochastic timed automata and statistical model checking. We propose to address the modeling of the uncertainties in the realistic behaviors by weighted stochastic transitions in the timed automata model of the protocol. Furthermore, we propose that the performance of the protocol under realistic environments should be evaluated by statistical model checking which is much cheaper and more scalable. To illustrate the feasibility and detail of the modeling and verification approach presented in this paper, two well-known WSN protocols, Timing-sync Protocol for Sensor Networks (TPSN) and Flooding Time Synchronization Protocol (FTSP), are studied thoroughly throughout the paper.

Research on the Modeling of Wireless Network System

On the Simulation of Networked Sensor Systems.

OMNeT++ Based Simulation for Topology Control in Wireless Sensor Network: A Case Study

Modeling and Evaluation in an Interworking of WLAN and WiMAX Network

THz Channel Modeling: Consolidating the Road to THz Communications

Analyzing and Modeling of the Wireless Link for Sensor Networks

Study on Different Topology Manipulation Algorithms in Wireless Sensor Network

Research on Modeling Method of Telecommunication Resources

Traffic Modeling in WCDMA System Level Simulations

Modeling Analysis of Network Topology Based on Distribution Network Automation

A Measurement Study of Channel Dynamics in Wireless Mesh Networks

Research and Simulation Modeling on Gray Zone in Wireless Ad-Hoc Network

Research on Modeling Internet

Modeling the Complex Internet Topology

A Mathematical Model for Energy-Efficient Coverage and Detection in Wireless Sensor Networks

An Analytical MAC Model for IEEE 802.15.4 Enabled Wireless Networks with Periodic Traffic

Survey on Application of Communication Network Topology Simulation Technology

Research on Emergency Call System Based on WiMAX

Survey and analysis on the Internet traffic model

Modeling Method of Telecommunication Network Resources

Modeling and Analysis of Wireless Sensor Network Protocols by Stochastic Timed Automata and Statistical Model Checking