Dependable Computing EDCC-4

This book constitutes the refereed proceedings fo the 4th European Dependable Computing Conference, EDCC-4, held in Toulouse, France in October 2002.The 16 revised full papers presented together with some panel statements were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on modeling and evaluation, agreement protocols, error detection and fault tolerance, experimental valiation, distributed algorithms, and real-time.