Ebook: Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems: Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20

Dieses Buch enthält die Beiträge der 4. GI/ITG/GMA-Fachtagung über Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in München 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beiträge, darunter 4 eingeladene, sind teils in deutscher, überwiegend aber in englischer Sprache verfaßt. Insgesamt wird durch diese Beiträge die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten zwei Jahren vor allem in Europa dokumentiert. Sämtliche Beiträge berichten über neue Forschungs- oder Entwicklungsergebnisse.

---

Dieses Buch enth?lt die Beitr?ge der 4. GI/ITG/GMA-Fachtagung ?ber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in M?nchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitr?ge, darunter 4 eingeladene, sind teils in deutscher, ?berwiegend aber in englischer Sprache verfa?t. Insgesamt wird durch diese Beitr?ge die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten zwei Jahren vor allem in Europa dokumentiert. S?mtliche Beitr?ge berichten ?ber neue Forschungs- oder Entwicklungsergebnisse.

---

Dieses Buch enth?lt die Beitr?ge der 4. GI/ITG/GMA-Fachtagung ?ber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in M?nchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitr?ge, darunter 4 eingeladene, sind teils in deutscher, ?berwiegend aber in englischer Sprache verfa?t. Insgesamt wird durch diese Beitr?ge die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten zwei Jahren vor allem in Europa dokumentiert. S?mtliche Beitr?ge berichten ?ber neue Forschungs- oder Entwicklungsergebnisse.
Content:
Front Matter....Pages I-XI
H?here Zuverl?ssigkeit Durch Modellgest?tzte Fehlerdiagnose Am Beispiel Von Werkzeugmaschinen....Pages 1-14
Baumusterpr?fung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steuerung....Pages 15-28
Eigensichere Und Hochverf?gbare Messdatenverarbeitung in Industrieanlagen....Pages 29-41
Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems....Pages 42-56
Design and Analysis of Fault-Tolerant Systems for Industrial Applications....Pages 57-73
Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area....Pages 74-84
A Fault-Tolerant Distributed Control VLSI Permutation Network....Pages 85-99
Quantitative Bewertung der Fehlertoleranz am Beispiel Eines Verteilten Prozess-Leitsystems....Pages 100-111
Das Digitale Vermittlungssystem EWSD - Ein Beispiel f?r Ein Fehlertolerantes Realzeitsystem....Pages 112-123
Microcomputer Based, Gracefully Degrading Industrial Controller....Pages 124-133
Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications?....Pages 134-149
A Fault-tolerant Implementation of CSP Input-Output Commands....Pages 150-162
A Conversation Structure for Remote Procedure Call Oriented Languages....Pages 163-173
The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability....Pages 174-185
On Distributed System-Level Self-Diagnosis....Pages 186-196
Efficient Commit/Abort Procedures in the RelaX Distributed Transaction Layer....Pages 197-208
Transaktionsketten - Konzept und Implementierung....Pages 209-220
UNIX Fehlertoleranz mit dem Queue and Count Verfahren....Pages 221-232
Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN....Pages 233-243
PMS - Models in SHARPE....Pages 244-255
Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems....Pages 256-267
Eine senderanonyme fehlertolerante Kommunikationsstruktur....Pages 268-282
The Effects of Heavy-ion Induced Single Event Upsets in the MC6809E Microprocessor....Pages 283-295
Self-Checking Coverage of Components of a Distributed Real-Time System....Pages 296-307
Fehlererkennung und Fehlertoleranz beim assoziativen RAM (ARAM)-Speicher....Pages 308-319
Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentw?rfe....Pages 320-333
Concurrent Error Detection Using Signature Monitors....Pages 334-342
Signature Analysis Testing with Bottom-Top Exclusive or Type MISR....Pages 343-355
Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor....Pages 356-367
Mehrfach-Literalfehler in Logischen Schaltungen....Pages 368-378
Back Matter....Pages 379-389
....Pages 390-390