Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems -

. .

Résumé :
/ 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....

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