Die zunehmende Verwendung verteilter Systeme im alltäglichen Leben für sicherheitskritische Anwendungen stellt besondere Anforderungen an deren Zuverlässigkeit. Stabilisierungstechniken werden in diesem Zusammenhang dazu genutzt, nicht-maskierende Fehlertoleranz einzuführen. Ein System ist selbststabilisierend genau dann, wenn, unabhängig vom initialen Zustand gewährleistet ist, dass das System mit endlich vielen Schritten den legalen Zustandsraum erreicht und diesen ohne Fremdeinwirkung nicht mehr verlässt. Obwohl Selbststabilisierung eine wünschenswerte Eigenschaft für verteilte Algorithmen ist, ist die Beweisbarkeit dieser Eigenschaft nicht trivial. Diese Dissertation befasst sich mit der Entwicklung eines kompositorischen Rahmens für den Entwurf selbststabilisierender verteilter Algorithmen. Die kompositorische Rahmen ausnutzt das Wissen der Ranking-Funktion, die verwendet werden, um die Konvergenz einer Komponente Algorithmus unter seiner ursprünglichen Scheduler zu beweisen. <dt.>
The proliferation of numerous computing devices in the various facets of life has remarkably elevated the premium placed on fault tolerance of the algorithms running on such devices. Self-stabilization is a novel method to provide non-masking fault tolerance. A distributed system is said to be self-stabilizing if and only if 1) it reaches a closed set of legal states in finite time, and 2) does not leave this set voluntarily. However, designing and proving convergence of a self-stabilizing system is not easy. We investigate whether the conditions under which component algorithms are self-stabilizing can be transcended while composing them. To that end, this dissertation presents a suite of compositional methods which can be used to compose self-stabilizing algorithms, though component algorithms themselves might be self-stabilizing under mutually incompatible conditions. <engl.>
International Conference on Application of Concurrency to System Design Eleventh International Conference on Application of Concurrency to System Design Los Alamitos, Calif. : IEEE Computer Society, 2011 (2011), Seite 89-97 Online-Ressource (PDF-Datei: XIV, 206 S.)
2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010) Piscataway, NJ : IEEE, 2010 (2010), Seite 27-36 XIV, 310 S.
