Abstract
In this paper we consider the problem of modeling and evaluating the infrastructure communication reliability (ICR) of wireless sensor networks (WSN). Our approach is progressive and based on reduced ordered binary decision diagrams (ROBDD). Due to the nature of the ROBDD and the reduction scheme used in the progressive process, the approach is computationally efficient and is easy to implement. We also incorporate the consideration of common cause failures (CCF) into the reliability analysis of WSN. We illustrate the application and advantages of our approach by working through the analysis of an example WSN.