Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems

/ Table of Contents.- Eröffnungssitzung / Opening Session.- Software Fault Tolerance in Safety-Critical Applications.- Vertrauenswürdige Systeme / Dependable Systems.- Biased Programming Faults - How to Overcome Them?.- Sicherheitsgerichtete speicherprogrammierbare Steuerung mit TÜV-Prüfung.- Verlusttolerante elektronische Brieftaschen.- Design Issues in High Performance Fault-Tolerant Multicomputers.- Hardware-Implementierte Fehlertoleranz / Hardware-Implemented Fault Tolerance.- Mutabor - An Intelligent Memory Management Unit for an Object Oriented Architecture Supporting Error Recovery.- Fault-Tolerant VLSI Processor.- Testerzeugung / Test Generation.- Fault Detection By Consumption Measurement in CMOS Circuits.- MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation.- Expertensysteme und Testerzeugung / Expert Systems and Test Generation.- NEOCRIB: An Expert Fault Finding System that Articulates the Competence of Field Engineers.- Knowledge Based Tools for Testability Checking.- Test Pattern Obtainment from Algorithmic Descriptions.- Efficient Test Generation for Register Transfer Level Descriptions.- Selbsttest / Self-Test.- Experiments with Transient Fault Upsets in Microprocessor Controllers.- Universal Test Controller Chip for Board Self Test.- Systematische Erweiterung der Selbsttestmöglichkeiten von Baugruppen mit Mikroprozessoren.- Systemdiagnose und Fehlerbehebung / System Diagnosis and Error Recovery.- Ein Diagnoseverfahren für Systeme mit mehreren Verarbeitungseinheiten.- Investigation of Distributed Algorithms for System Self-Diagnosis.- Rollback Recovery in Multiprocessor Ring Configurations.- Fehlertolerante Kommunikationssysteme / Fault-Tolerant Communication Systems.- Modelling Interrupt Based InterprocessorCommunication by Time Petri Nets.- Ein Verfahren zur Fehlerausgrenzung und Fehlertolerierung in busorientierten Rechensystemen.- Reliable Multicast Protocols for a Token Ring Architecture.- Software-Fehlertoleranz und

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.