Sciweavers

RTAS
2006
IEEE

Scalable Modeling and Performance Evaluation of Wireless Sensor Networks

14 years 4 months ago
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 ...
YoungMin Kwon, Gul Agha
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where RTAS
Authors YoungMin Kwon, Gul Agha
Comments (0)