OBDD-based algorithm for reliability evaluation of Wireless Sensor Networks

The key element of a Prognostics and Health Management (PHM) for Wireless Sensor Networks (WSN) is on its relaibility evaluation. To evaluate the reliability of WSN, an algorithm named Enhanced Node Expansion (ENE) is presented in this paper. The ENE constructs the Ordered Binary Decision Diagram (OBDD) with node expansion and computes the reliability on the OBDD structure. During the generation of OBDD, these redundant equivalent states are avoided, and redundant computations from isomorphic sub-networks are decreased. Experiments show ENE is more efficient than factoring algorithm for large size WSN.