Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems

/ Table of Contents.- Eröffnungssitzung / Opening Session.- Höhere Zuverlässigkeit durch modellgestützte Fehlerdiagnose am Beispiel von Werkzeugmaschinen.- Sicherheitsaspekte / Safety Aspects.- Baumusterprüfung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steuerung.- Eigensichere und hochverfügbare Meßdatenverarbeitung in Industrieanlagen.- Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems.- Design and Analysis of Fault-Tolerant Systems for Industrial Applications.- Fehlertolerante Hardware/Fault-Tolerant Hardware.- Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area.- A Fault-Tolerant Distributed Control VLSI Permutation Network.- Anwendungen / Applications.- Quantitative Bewertung der Fehlertoleranz am Beispiel eines verteilten Prozeß-Leitsystems.- Das digitale Vermittlungssystem EWSD - ein Beispiel für ein fehlertolerantes Realzeitsystem.- Microcomputer-Based, Gracefully Degrading Industrial Controller.- Eingeladener Beitrag / Invited Paper.- Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications?.- Entwurf fehlertoleranter Rechensysteme/Design of Fault-Tolerant Computing Systems.- A Fault-Tolerant Implementation of CSP Input-Output Commands.- A Conversation Structure for Remote Procedure Call Oriented Languages.- Fehlerdiagnose in verteilten Systemen / Fault Diagnosis in Distributed Systems.- The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability.- On Distributed System-Level Self-Diagnosis.- Meshkin: A Fault Tolerant Computer Architecture with Distributed Fault Detection and Reconfiguration.-Transaktionssysteme / Transaction Processing.- Efficient Commit Abort Procedures in the RelaX Distributed Transaction Layer.- Transaktionsketten - Konzept und Implementierung.- UNIX Fehlertoleranz mit dem Queue and Count

Winfried Görke studierte Elektrotechnik und Nachrichtentechnik in Darmstadt und Berlin, er promovierte und habilitierte in Karlsruhe im Bereich der Nachrichtenverarbeitung und war bis zur Berufung auf einen der im Rahmen des überregionalen Forschungsprogramms Informatik finanzierten neuen Lehrstühle für Informatik an der Universität Karlsruhe, die seit 1972 die Fakultät für Informatik bilden, wissenschaftlicher Mitarbeiter. Seine Arbeitsgebiete umfassen unter anderem Zuverlässigkeit und Fehlerdiagnose digitaler Systeme, Fehlertolerante Rechensysteme, Fehlertoleranzverfahren. Er verbrachte Forschungssemester an der University of Southern California, an der University of California Los Angeles, am International Computer Science Institute / UC Berkeley und wirkte lange Jahre in Fachausschüssen der GI und ITG. Erimitiert seit dem WS 2001/2002.