Model Checking for Energy Efficient Scheduling in Wireless Sensor Networks
Peter H. Schmitt, Frank M. Werner · Repository KITopen (Karlsruhe Institute of Technology) · 2006
Networking and power management of wireless energy - conscious sensor networks is an important area of current research. We investigate a network of MicaZ sensor motes using the ZigBee protocol for communication, and provide a model using Timed Safety Automata. Our analysis focuses on estimating energy consumption by model checking in different scenarios using the Uppaal tool. Special interest is devoted to the energy use in marginal situations that rarely occur and consequently might not be seen doing simulation.