Selbststabilisierung ist ein Konzept der Fehlertoleranz, welches eine Wiederherstellung eines Systems nach Ausfall durch transiente Fehler garantiert, ohne von sich aus in einen solchen zu geraten. In der Literatur wird Selbststabilisierung meist in Hinblick auf die Wiederherstellung einer sicheren Ausführung untersucht. In dieser Arbeit wird das Konzept der Selbststabilisierung generalisiert, um mehrere Eigenschaftsarten abzudecken, die die Betrachtung der Wiederherstellung eines Systems hin zu einer möglichst hohen Servicequalität ermöglichen. Hierzu wird das Design, die Analyse und das Re-Engineering von Systemen, die bekannte Probleme in verteilten Systemen lösen, angewendet. Die Probleme sind: die Slot-Zuteilung in zeitbasierten Multiplexverfahren sowie der wechselseitige Ausschluss und eine erweiterte Version davon. Zusätzlich wird eine automatische Verifikationsmethode präsentiert, die die Verifikation solcher Eigenschaften in selbststabilisierenden Systemen erleichtert. <dt.>
Self-stabilization is a fault tolerance concept which ensures that a system finally recovers itself from failures due to transient faults, without running into them by itself. In the related work, self-stabilization almost exclusively regards the recovery to a safe behavior. In this work, the self-stabilization concept is generalized to cover more properties, which provides the ability of studying the recovery of a system to reach a possible high quality of service. To this end, this work concerns designing, analyzing, and re-engineering systems that solve common problems in distributing computing. The problems are: Time-Division-Multiple-Access (TDMA) slot assignment, mutual exclusion and an extended version of it. In addition, an automatic verification approach that simplifies verifying such properties in self-stabilizing systems is presented. <engl.>
Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, Sophia Antipolis, France, October 16 - 18, 2013 New York, NY : ACM, 2013 (2013), Seite 223-233
