Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems | 3. Internationale GI/ITG/GMA-Fachtagung / 3rd International GI/ITG/GMA Conference Bremerhaven, 9.–11. September 1987 | ISBN 9783540182948

Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems

3. Internationale GI/ITG/GMA-Fachtagung / 3rd International GI/ITG/GMA Conference Bremerhaven, 9.–11. September 1987

herausgegeben von Fevzi Belli und Winfried Görke
Mitwirkende
Herausgegeben vonFevzi Belli
Herausgegeben vonWinfried Görke
Buchcover Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems  | EAN 9783540182948 | ISBN 3-540-18294-2 | ISBN 978-3-540-18294-8

Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems

3. Internationale GI/ITG/GMA-Fachtagung / 3rd International GI/ITG/GMA Conference Bremerhaven, 9.–11. September 1987

herausgegeben von Fevzi Belli und Winfried Görke
Mitwirkende
Herausgegeben vonFevzi Belli
Herausgegeben vonWinfried Görke

Inhaltsverzeichnis

/ 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 -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.