https://www.dagstuhl.de/98331

August 17 – 21 , 1998, Dagstuhl Seminar 98331

Self-Stabilization

Organizers

A. Arora (Ohio State), S. Dolev (Beer-Sheva, Israel), W.P. de Roever (Kiel)

For support, please contact

Dagstuhl Service Team

Documents

Dagstuhl's Impact: Documents available
Dagstuhl-Seminar-Report 220

Distributed systems substantially improve our ability to compute and exchange information, as is evidenced by the dramatic success of the so-called World Wide Web. At the same time, distributed systems --and computer networks in particular-- are hard to design, control, and maintain, as they consist of a variety of complex hardware and software components that are subject to faults and dynamic changes.

Self-stabilisation has emerged as a promising paradigm for the design, control, and maintenance of fault-tolerant distributed systems. As its name suggests, self-stabilisation enables systems to automatically recover from the occurrence of faults. Its essential idea is this: Regardless of what state a system is placed in, by virtue of being self-stabilising, the system converges to desired behaviour. Thus, even if faults cause the system to be placed in an arbitrary state, the system can eventually resume its desired behaviour.

The field of self-stabilisation is young and rapidly growing. To facilitate research in this field, experts in this field and in allied fields were invited to share their research interests and work with each other. The Dagstuhl Seminar on "Self-Stabilisation" brought together thirty five researchers from seven different countries. The opening talk was given by Edsger W. Dijkstra, then an overview of the state-of-the-art and future directions was provided by Shmuel Katz. The talks that followed presented new results and directions:

  • Formal methods for verification and specification of self-stabilising algorithms,
  • Use of the self-stabilisation concept in the context of security and privacy,
  • Integration with other fault models,
  • Transient fault detectors,
  • Design frameworks for achieving self-stabilisation and other fault tolerances,
  • Self-stabilising algorithms and their time/space efficiency; impossibility results
  • The pleasant atmosphere of Dagstuhl was an important incentive for the lively interaction between the participants. The success of the seminar in stimulating new ideas and dialogue has led us to start planning the next seminar two years hence. We would like to thank all who contributed to the seminar, and in particular the encouragement we received from Professor Dr. Reinhard Wilhelm. The support of the TMR Program of the European Community is gratefully acknowledged.

Book exhibition

Books from the participants of the current Seminar 

Book exhibition in the library, ground floor, during the seminar week.

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

NSF young researcher support