Evaluate Reliability of Wireless Sensor Networks with OBDD

Reliability evaluation of wireless sensor networks (WSN) is a critical step in WSN design. To evaluate the reliability of WSN, an algorithm named COBDD is presented in this paper. COBDD executes recursive construction of the ordered binary decision diagram (OBDD) only once, and therefore save much running time when WSN is subject to large number of common causes. Furthermore, it constructs OBDD with node expansion and decrease redundant computations from isomorphic sub-networks. Experiments show that COBDD is an efficient algorithm for the reliability evaluation of WSN.