Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2194)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Physicalsystemswhichrightthemselvesafterbeingdisturbedevokeourcuriosity becausewe wantto understand howsuchsystemsareableto reactto unexpected stimuli. Themechanismsareallthe morefascinatingwhensystemsarecomposed of small, simple units, and the ability of the system to self-stabilize emerges out of its components. Faithful computer simulations of such physical systems exhibit the self-stabilizing property, but in the realm of computing, particularly for distributed systems, wehavegreaterambition. We imaginethat all manner of software, ranging from basic communication protocols to high-level applications, could enjoy self-corrective properties. Self-stabilizing software o?ers a unique, non-traditional approach to the c- cial problem of transient fault tolerance. Many successful instances of modern fault-tolerant networks are based on principles of self-stabilization. Surprisingly, the most widely accepted technical de?nition of a self-stabilizing system does not refer to faults: it is the property that the system can be started in any i- tial state, possibly an “illegal state,” and yet the system guarantees to behave properly in ?nite time. This, and similar de?nitions, break many traditional approaches to program design, in which the programmer by habit makes - sumptions about initial conditions. The composition of self-stabilizing systems, initially seen as a daunting challenge, has been transformed into a mana- able task, thanks to an accumulation of discoveries by many investigators. - search on various topics in self-stabilization continues to supply new methods for constructing self-stabilizing systems, determines limits and applicability of the paradigm of self-stabilization, and connects self-stabilization to related areas of fault tolerance anddistributed computing.
Similar content being viewed by others
Keywords
Table of contents (15 papers)
-
Front Matter
-
Back Matter
Editors and Affiliations
Bibliographic Information
Book Title: Self-Stabilizing Systems
Book Subtitle: 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings
Editors: Ajoy K. Datta, Ted Herman
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45438-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-42653-0Published: 19 September 2001
eBook ISBN: 978-3-540-45438-0Published: 01 January 2001
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 236
Topics: Computer Communication Networks, Software Engineering/Programming and Operating Systems, Communications Engineering, Networks, Special Purpose and Application-Based Systems, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity