Fehlertoleranz ist eine wichtige Eigenschaft die hoch verteilte Systeme besitzen sollten. Das Konzept der Selbststabilisierung bietet dabei eine inhärente Toleranz gegenüber temporären Störungen, wie z.B. Veränderung von Nachrichten oder des Speichers. Häufig beschränkt sich die Betrachtung von selbststabilisierenden Algorithmen auf theoretische Problemstellungen. Eine Umsetzung oder Untersuchung unter realen Bedingen, wie z.B. in drahtlosen Netzen, wird nur selten betrachtet.

Das Rahmenwerk SelfWISE ermöglicht die Programmierung von drahtlosen Netzen in selbststabilisierender Weise. Durch die Verwendung von SelfWISE werden die Entwicklung, die Evaluierung und das Debuggen von selbststabilisierenden Algorithmen erheblich vereinfacht. SelfWISE besteht aus einer Sprache die es erlaubt selbststabilisierende Algorithmen zu beschreiben, einer Laufzeitumgebung zur Simulation der Algorithmen und Werkzeugen für die Auswertung.

Durch die Verwendung einer formalen Spezifikationssprache für die Beschreibung der Algorithmen werden systemnahe Einzelheiten abstrahiert, wie die Eigenschaften des drahtlosen Kanals oder andere hardwarespezifische Beschränkungen. Dadurch sind die Details des drahtlosen Netzes versteckt und der Entwickler kann sich auf die Entwicklung von selbststabilisierenden Algorithmen konzentrieren. Da viele solcher Algorithmen für eine serielle Ausführung entwickelt wurden, sind diese nicht direkt ausführbar in einem drahtlosen Netz. Um solche Algorithmen auch in einer verteilten Umgebung zu testen existieren Transformatoren, die die Algorithmen in eine verteilte Version transformieren unter der Beibehaltung ihrer selbststabilisierenden Eigenschaften. SelfWISE bietet eine einfache Schnittstelle solche Transformatoren zu entwickeln und das Verhalten dieser in verschiedenen Szenarien für unterschiedliche Algorithmen zu untersuchen.