Scalable Modeling and Performance Evaluation of Wireless Sensor Networks

A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state of the entire system as a cross-product of the states of individual nodes results in the well-known state explosion problem. Instead, we represent the system state by the probability distribution on the state of each node. In other words, the system state represents the probability that a randomly picked node is in a certain state. Although tistical abstraction of the global state loses some information, it is nevertheless useful in determining many performance metrics of systems that exhibit Markov behavior. We have previously developed a method for specifying the performance metrics of such systems in a probabilistic temporal logic called iLTL and for evaluating the behavior through a novel method for model checking iLTL properties. In this paper, we describe a method for estimating the probabilities in a ...

• Type: Conference
• Year: 2006
• Where: RTAS
• Authors: YoungMin Kwon, Gul Agha
• Keywords: Markov Behavior, Model Checking, Performance Metrics, Real-Time Technology, RTAS 2006