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 |