Static worst-case lifetime estimation of wireless sensor networks: A case study on VigilNet

This paper proposes a feasible static analysis approach to estimate the worst-case lifetime of WSNs, with specific focus on VigilNet. We statically estimate the lifetime of each node in VigilNet 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.