Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems

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.

/ 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 Verfahren.- Zuverlässigkeitsbewertung / Reliability Evaluation.- Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN.- PMS-Models in SHARPE.- Eingeladener Beitrag / Invited Paper.- Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems.- Kommunikationssysteme Communication Systems.- Eine senderanonyme fehlertolerante Kommunikationsstruktur.- Fehlerinjektion / Fault Injection.- The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor.- Self-Checking Coverage of Components of a Distributed Real-Time System.- Fehlererkennung / Fault Detection.- Fehlererkennung und Fehlertoleranz beim assoziativen RAM(ARAM)-Speicher.- Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe.- Signaturanalyse / Signature Analysis.- Concurrent Error Detection Using Signature Monitors.- Signature Analysis Testing with Bottom-Top Exclusive Or Type MISR.- Testerzeugung / Test Generation.- Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor.- Mehrfach-Literalfehler in logischen Schaltungen.- Autorenverzeichnis / List of Authors.