Static Worst-Case Lifetime Estimation of Vigil Net

Wireless sensor networks (WSNs) are increasingly used in our daily life. However, since the battery lifetime of a WSN node is restricted, the lifetime of a WSN is also limited. Thus, it is crucial to determine this limited lifetime in advance for preventing service interruptions. This paper proposes a feasible static analysis approach to estimate the worst-case lifetime of WSNs, with specific focus on Vigil Net. We statically estimate the lifetime of each node in Vigil Net with a fixed initial energy budget through a hybrid approach, which integrates an Integer Linear Programming (ILP) based method to obtain the worst-case CPU energy consumption and domain-specific scenarios analysis to compute the worst-case radio energy consumption. Our experimental results indicate that this static approach can safely and accurately estimate the worst-case lifetime for WSNs.