Verification of Sensor Network Models using UppAal

Troels Frederiksen Smit

AbstractIn this report research is done on using the UppAal framework with relation to analyzing energy consumption in sensor networks. A model of a sensor network is created, tested and verified. Then the possibilities of formal reachability analysis examined. This results in a scenario based worst-case analysis of both total energy consumption and energy consumption patterns. A framework composed of tools for sensor network model creation and automated analysis is also developed. The thesis is a part of the Hogthrob project, which goal is to develop sensor network technology adapted to the requirements of sow monitoring.
TypeMaster's thesis [Academic thesis]
Year2005
PublisherInformatics and Mathematical Modelling, Technical University of Denmark, DTU
AddressRichard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby
SeriesIMM-Thesis-2005-14
NoteSupervised by Prof. Jan Madsen
Electronic version(s)[pdf]
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering