Seite drucken


Beschreibungssprache für selbststabilisierende Algortihmen für drahtlose Sensornetze

Self-stabilizing algorithms are a common approach to handle error conditions in distributed systems. The usage of self-stabilizing algorithms in the area of wireless sensor networks is a promising solution to create localized algorithms that are scaleable, even in networks consisting of thousands of nodes. Self-stabilizing algorithms are specified by rules that are executed locally on each node, based on the local knowledge of the node. To hide the complexity of wireless sensor networks to the algorithm developer an abstraction must be provided. The task of this thesis is to design and implement an abstraction layer simplifying the development process of self-stabilizing algorithms in a rule-based way, without any knowledge of the underlying network. Therefore the rules should be automatically transformed into nesC programs, which are suitable for wireless sensor nodes running TinyOS. To simplify the development the simulator TOSSIM should be used.

Student Karsten Pilz
Startdatum 15. Januar 2008
Enddatum 15. Juli 2008
Projekte SelfWISE | Selbststabilisierung
Betreuer Christoph Weyer