KIT | KIT-Bibliothek | Impressum | Datenschutz

Model Checking for Energy Efficient Scheduling in Wireless Sensor Networks

Schmitt, Peter H.; Werner, Frank

Abstract:


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/Preprint
Publikationsjahr 2006
Sprache Englisch
Identifikator ISSN: 1432-7864
urn:nbn:de:swb:90-57710
KITopen-ID: 1000005771
Verlag Universität Karlsruhe (TH)
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 2007,1

Volltext §
DOI: 10.5445/IR/1000005771
Seitenaufrufe: 104
seit 11.07.2018
Downloads: 395
seit 04.11.2008
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page