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.

Comprehensive analysis of a stochastic wireless sensor network motivated by Black-Karasinski process

Worm Intrusion Alarm Modeling Based on Network Traffic Character

Improved Model for the Stability Analysis of Wireless Sensor Network Against Malware Attacks

Dynamical behaviors of an epidemic model for malware propagation in wireless sensor networks

Epidemic Analysis of Wireless Rechargeable Sensor Networks Based on an Attack–Defense Game Model

Stochastic Stabilization of Malware Propagation in Wireless Sensor Network via Aperiodically Intermittent White Noise

Dynamic analysis of the e-SITR model for remote wireless sensor networks with noise and Sokol-Howell functional response

Advances in stochastic epidemic modeling: tackling worm transmission in wireless sensor networks

A novel model for malware propagation on wireless sensor networks

Dynamic properties of the multimalware attacks in wireless sensor networks: Fractional derivative analysis of wireless sensor networks

Epidemic spreading in wireless sensor networks with node sleep scheduling

Reaction-diffusion Modeling of Malware Propagation in Mobile Wireless Sensor Networks

Learning the Propagation of Worms in Wireless Sensor Networks

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

Modeling and analyzing malware diffusion in wireless sensor networks based on cellular automaton

A Novel Epidemic Model for Wireless Rechargeable Sensor Network Security

A Stochastic Model for Quantitative Security Analyses of Networked Systems.

Modeling and Analyzing of the Interaction Between Worms and Antiworms During Network Worm Propagation

Modeling and Analysis of Wireless Cyberphysical Systems Using Stochastic Methods

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

Game Theory Meets Wireless Sensor Networks Security Requirements and Threats Mitigation: A Survey