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 Belli, Fevzi; Görke, Winfried
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 Belli, Fevzi; Görke, Winfried
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.
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.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497