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

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.

---

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.
Content:
Front Matter....Pages N2-XI
Software Fault Tolerance in Safety-Critical Applications....Pages 1-12
Biased Programming Faults — How to Overcome Them?....Pages 13-23
Sicherheitsgerichtete speicherprogrammierbare Steuerung mit T?V — Pr?fung....Pages 24-35
Verlusttolerante elektronische Brieftaschen....Pages 36-50
Design Issues in High Performance Fault-Tolerant Multicomputers....Pages 51-60
Mutabor — An Intelligent Memory Management Unit for an Object Oriented Architecture supporting Error Recovery....Pages 61-71
Fault Tolerant VLSI Processor....Pages 72-82
Fault Detection by Consumption Measurement in CMOS Circuits....Pages 83-94
MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation....Pages 95-106
Neocrib: An Expert Fault Finding System that Articulates the Competence of Field Engineers....Pages 107-118
Knowledge Based Tools for Testability Checking....Pages 119-128
Test Pattern Obtainment from Algorithmic Descriptions....Pages 129-140
Efficient Test Generation for Register Transfer Level Descriptions....Pages 141-152
Experiments with Transient Fault Upsets in Microprocessor Controllers....Pages 153-164
Universal Test Controller Chip for Board Self Test....Pages 165-175
Systematische Erweiterung der Selbsttestm?glichkeiten von Baugruppen mit Mikroprozessoren....Pages 176-190
Ein Diagnoseverfahren f?r Systeme mit Mehreren Verarbeitungseinheiten....Pages 191-199
Investigation of Distributed Algorithms for System Self-Diagnosis....Pages 200-212
Rollback Recovery in Multiprocessor Ring Configurations....Pages 213-223
Modelling Interrupt Based Interprocessor Communication by Time Petri Nets....Pages 224-234
Ein Verfahren zur Fehlerausgrenzung und Fehlertolerierung in busorientierten Rechensystemen....Pages 235-248
Reliable Multicast Protocols for a Token Ring Architecture....Pages 249-262
A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software....Pages 263-272
A System Architecture for Software Fault Tolerance....Pages 273-283
Quantitative Assessment of Fault-Tolerant Software Architecture....Pages 284-297
Another Software Reliability Prediction Model....Pages 298-303
The Distribution of Computer Life after Tolerable Faults....Pages 304-313
Maximal Availability of Tree Structured Fault Tolerant Systems....Pages 314-323
Fehlertoleranz-Aspekte in Transaktionssystemen....Pages 324-335
A Reliable and Efficient Synchronization Protocol for Database Sharing Systems....Pages 336-347
Fault Tolerance based on Time-Staggered Redundancy....Pages 348-361
Fault-Tolerant Distributed Real-Time Systems: Mars....Pages 362-373
An Automated Material Flow Control System on a Fault Tolerant Computer System for an Industrial Serial Manufacturer -A Report upon Practical Experience-....Pages 374-375
Konzept und Einsatzerfahrung mit Marathon/32 und RELIANCE....Pages 376-377
Logisire, A safe computer system for process-automation....Pages 378-382
Ausfallsicheres Betriebs- und Wartungszentrum BSE....Pages 383-386
A Fault-Tolerant Multiple Processor for Front-End Process Control....Pages 387-388
Back Matter....Pages 389-393

---

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.
Content:
Front Matter....Pages N2-XI
Software Fault Tolerance in Safety-Critical Applications....Pages 1-12
Biased Programming Faults — How to Overcome Them?....Pages 13-23
Sicherheitsgerichtete speicherprogrammierbare Steuerung mit T?V — Pr?fung....Pages 24-35
Verlusttolerante elektronische Brieftaschen....Pages 36-50
Design Issues in High Performance Fault-Tolerant Multicomputers....Pages 51-60
Mutabor — An Intelligent Memory Management Unit for an Object Oriented Architecture supporting Error Recovery....Pages 61-71
Fault Tolerant VLSI Processor....Pages 72-82
Fault Detection by Consumption Measurement in CMOS Circuits....Pages 83-94
MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation....Pages 95-106
Neocrib: An Expert Fault Finding System that Articulates the Competence of Field Engineers....Pages 107-118
Knowledge Based Tools for Testability Checking....Pages 119-128
Test Pattern Obtainment from Algorithmic Descriptions....Pages 129-140
Efficient Test Generation for Register Transfer Level Descriptions....Pages 141-152
Experiments with Transient Fault Upsets in Microprocessor Controllers....Pages 153-164
Universal Test Controller Chip for Board Self Test....Pages 165-175
Systematische Erweiterung der Selbsttestm?glichkeiten von Baugruppen mit Mikroprozessoren....Pages 176-190
Ein Diagnoseverfahren f?r Systeme mit Mehreren Verarbeitungseinheiten....Pages 191-199
Investigation of Distributed Algorithms for System Self-Diagnosis....Pages 200-212
Rollback Recovery in Multiprocessor Ring Configurations....Pages 213-223
Modelling Interrupt Based Interprocessor Communication by Time Petri Nets....Pages 224-234
Ein Verfahren zur Fehlerausgrenzung und Fehlertolerierung in busorientierten Rechensystemen....Pages 235-248
Reliable Multicast Protocols for a Token Ring Architecture....Pages 249-262
A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software....Pages 263-272
A System Architecture for Software Fault Tolerance....Pages 273-283
Quantitative Assessment of Fault-Tolerant Software Architecture....Pages 284-297
Another Software Reliability Prediction Model....Pages 298-303
The Distribution of Computer Life after Tolerable Faults....Pages 304-313
Maximal Availability of Tree Structured Fault Tolerant Systems....Pages 314-323
Fehlertoleranz-Aspekte in Transaktionssystemen....Pages 324-335
A Reliable and Efficient Synchronization Protocol for Database Sharing Systems....Pages 336-347
Fault Tolerance based on Time-Staggered Redundancy....Pages 348-361
Fault-Tolerant Distributed Real-Time Systems: Mars....Pages 362-373
An Automated Material Flow Control System on a Fault Tolerant Computer System for an Industrial Serial Manufacturer -A Report upon Practical Experience-....Pages 374-375
Konzept und Einsatzerfahrung mit Marathon/32 und RELIANCE....Pages 376-377
Logisire, A safe computer system for process-automation....Pages 378-382
Ausfallsicheres Betriebs- und Wartungszentrum BSE....Pages 383-386
A Fault-Tolerant Multiple Processor for Front-End Process Control....Pages 387-388
Back Matter....Pages 389-393
....