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

by Fevzi Belli (Editor), Winfried Gïrke (Editor)

Overview

Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Sämtliche Beiträge sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuß der Tagung aus 70 eingereichten Beiträgen ausgewählt wurden.

Product Details

ISBN-13:	9783540182948
Publisher:	Springer Berlin Heidelberg
Publication date:	09/01/1987
Series:	Informatik-Fachberichte , #147
Edition description:	Softcover reprint of the original 1st ed. 1987
Pages:	389
Product dimensions:	6.69(w) x 9.61(h) x 0.03(d)

Table of Contents

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