KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
URN: urn:nbn:de:swb:90-57710

Model Checking for Energy Efficient Scheduling in Wireless Sensor Networks

Schmitt, Peter H.; Werner, Frank


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.

Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Forschungsbericht
Jahr 2006
Sprache Englisch
Identifikator ISSN: 1432-7864

KITopen-ID: 1000005771
Verlag Karlsruhe
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2007,1
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page