This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification...

Fehlertoleranz-Verfahren dienen der Verbesserung der Zuverlassig keits-Eigenschaften von Rechensystemen. Sie schaffen die "Fahigkeit eines Systems, auch mit einer begrenzten Zahl fehlerhafter Subsyste me seine spezifizierte Funktion zu erflillen" [NTG 82, Gork 84]. Damit sind hohe Anforderungen an Uberlebenswahrscheinlichkeit, Verfligbarkeit [DalC 79] und Sicherheit [Schw 80] erflillbar, wie sie hauptsachlich im Bereich der Automatisierungssysteme und z.T. der transaktionsverarbeitenden Systeme bestehen, etwa bei der Steuerung und Regelung von Produktionsanlagen [AyCD 82, Gloe 81], Laborein...

Dieses Buch beschreibt die grundlegenden Verfahren zur Tolerierung von Fehlern, die in Rechensystemen auftreten. Besondere Beachtung finden Fehlertoleranz-Massnahmen fur verteilte Systeme, da diese eine zunehmende Bedeutung erlangen. Die Ansatze zur Vermeidung von Zuverlassigkeitsengpassen durch Fehlertoleranz-Instanzen, die selbst fehlertolerant sind, werden ausfuhrlich diskutiert. Die Darstellung ist weniger auf die Beschreibung existierender fehlertoleranter Rechensysteme ausgerichtet als vielmehr auf eine systematische, weitgehend implementierungsunabhangige Klassifikation der...