Verification of Sensor Network Models using UppAal |
Troels Frederiksen Smit
|
Abstract | In 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. |
Type | Master's thesis [Academic thesis] |
Year | 2005 |
Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU |
Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby |
Series | IMM-Thesis-2005-14 |
Note | Supervised by Prof. Jan Madsen |
Electronic version(s) | [pdf] |
BibTeX data | [bibtex] |
IMM Group(s) | Computer Science & Engineering |