SelfWISE: a framework for developing self-stabilizing algorithms

Publikationstyp
Conference Paper
Date Issued
2009-03
Sprache
English
Author(s)
Weyer, Christoph  orcid-logo
Turau, Volker  
Institut
Telematik E-17  
TORE-URI
http://hdl.handle.net/11420/4300
Start Page
67
End Page
78
Citation
16. Fachtagung Kommunikation in Verteilten Systemen, KiVS 2009: 67-78
Contribution to Conference
16. Fachtagung Kommunikation in Verteilten Systemen, KiVS 2009  
Publisher DOI
10.1007/978-3-540-92666-5_6
Scopus ID
2-s2.0-84861553640
Publisher
Springer
ISBN
978-3-540-92666-5
978-3-540-92665-8
This paper introduces SelfWISE, a framework for enabling wireless sensor networks to be programmed in a self-stabilizing manner. The framework eases the formal specification of algorithms by abstracting from low-level details such as wireless channel and hardware-specific characteristics. SelfWISE consists of a language for expressing self-stabilizing algorithms, a runtime environment for simulating algorithms in wireless sensor networks, and supporting tools. The hereby applied transformation of formally described algorithms into the simulation environment preserves the self-stabilizing properties. Development, evaluation, and debugging of self-stabilizing algorithms is considerably facilitated by utilizing SelfWISE.
DDC Class
380: Handel, Kommunikation, Verkehr