Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: 3. Internationale Gi/Itg/Gma-Fachtagung / 3rd International Gi/Itg/GMA Conference

ISBN-13: 9783540182948 / Angielski / Miękka / 1987 / 389 str.

Fevzi Belli; Winfried Garke

Opis

Dieser Band enthalt die 38 Beitrage der 3. GI/ITG/GMA-Fachtagung uber Fehlertolerierende Rechensysteme. Unter den 10 aus dem Ausland eingegangenen Beitragen sind 4 eingeladene Vortrage. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Samtliche Beitrage sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuss der Tagung aus 70 eingereichten Beitragen ausgewahlt wurden.

Spis treści

/ 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 Interprocessor Communication by Time Petri Nets.- Ein Verfahren zur Fehlerausgrenzung und Fehlertolerierung in busorientierten Rechensystemen.- Reliable Multicast Protocols for a Token Ring Architecture.- Software-Fehlertoleranz und -Zuverlässigkeit / Software Fault Tolerance and Software Reliability.- A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software.- A System Architecture for Software Fault Tolerance.- Quantitative Assessment of Fault-Tolerant Software Architecture.- Another Software Reliability Prediction Model.- Zuverlässigkeitsbewertung / Reliability Evaluation.- The Distribution of Computer Life after Tolerable Faults.- Maximal Availability of Tree-Structured Fault-Tolerant Systems.- Fehlerbehandlung in verteilten Systemen / Error Processing in Distributed Systems.- Fehlertoleranz-Aspekte in Transaktionssystemen.- A Reliable and Efficient Synchronization Protocol for Database Sharing Systems.- Fault Tolerance based on Time-Staggered Redundancy.- Fault-Tolerant Distributed Real-Time Systems: MARS.- Anwendungen / Applications.- An Automated Material Flow Control System on a Fault-Tolerant Computer System for an Industrial Serial Manufacturer — A Report upon Practical Experience.- Konzept und Einsatzerfahrung mit Marathon/32 und RELIANCE.- Systeme I / Systems I.- LOGISIRE, a Safe Computer System for Process Automation.- Ausfallsicheres Betriebs- und Wartungszentrum BSE.- Systeme II / Systems II.- A Fault-Tolerant Multiple Processor for Front-End Process Control.- Autorenverzeichnis / Author Index.

O autorze

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.