|
" Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems : "
edited by Winfried Görke, Holger Sörensen.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
753386
|
| Doc. No
|
:
|
b573347
|
| Main Entry
|
:
|
edited by Winfried Görke, Holger Sörensen.
|
| Title & Author
|
:
|
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.-22. September 1989, Proceedings\ edited by Winfried Görke, Holger Sörensen.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1989
|
| Series Statement
|
:
|
Informatik-Fachberichte, 214.
|
| Page. NO
|
:
|
(XI, 390 pages)
|
| ISBN
|
:
|
3540515658
|
|
|
:
|
: 3642750028
|
|
|
:
|
: 9783540515654
|
|
|
:
|
: 9783642750021
|
| Contents
|
:
|
/ Table of Contents --; Eröffnungssitzung / Opening Session --; Höhere Zuverlässigkeit durch modellgestützte Fehlerdiagnose am Beispiel von Werkzeugmaschinen --; Sicherheitsaspekte / Safety Aspects --; Baumusterprüfung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steuerung --; Eigensichere und hochverfügbare Meßdatenverarbeitung in Industrieanlagen --; Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems --; Design and Analysis of Fault-Tolerant Systems for Industrial Applications --; Fehlertolerante Hardware/Fault-Tolerant Hardware --; Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area --; A Fault-Tolerant Distributed Control VLSI Permutation Network --; Anwendungen / Applications --; Quantitative Bewertung der Fehlertoleranz am Beispiel eines verteilten Prozeß-Leitsystems --; Das digitale Vermittlungssystem EWSD --; ein Beispiel für ein fehlertolerantes Realzeitsystem --; Microcomputer-Based, Gracefully Degrading Industrial Controller --; Eingeladener Beitrag / Invited Paper --; Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? --; Entwurf fehlertoleranter Rechensysteme/Design of Fault-Tolerant Computing Systems --; A Fault-Tolerant Implementation of CSP Input-Output Commands --; A Conversation Structure for Remote Procedure Call Oriented Languages --; Fehlerdiagnose in verteilten Systemen / Fault Diagnosis in Distributed Systems --; The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability --; On Distributed System-Level Self-Diagnosis --; Meshkin: A Fault Tolerant Computer Architecture with Distributed Fault Detection and Reconfiguration --; Transaktionssysteme / Transaction Processing --; Efficient Commit Abort Procedures in the RelaX Distributed Transaction Layer --; Transaktionsketten --; Konzept und Implementierung --; UNIX Fehlertoleranz mit dem Queue and Count Verfahren --; Zuverlässigkeitsbewertung / Reliability Evaluation --; Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN --; PMS-Models in SHARPE --; Eingeladener Beitrag / Invited Paper --; Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems --; Kommunikationssysteme Communication Systems --; Eine senderanonyme fehlertolerante Kommunikationsstruktur --; Fehlerinjektion / Fault Injection --; The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor --; Self-Checking Coverage of Components of a Distributed Real-Time System --; Fehlererkennung / Fault Detection --; Fehlererkennung und Fehlertoleranz beim assoziativen RAM(ARAM)-Speicher --; Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe --; Signaturanalyse / Signature Analysis --; Concurrent Error Detection Using Signature Monitors --; Signature Analysis Testing with Bottom-Top Exclusive Or Type MISR --; Testerzeugung / Test Generation --; Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor --; Mehrfach-Literalfehler in logischen Schaltungen --; Autorenverzeichnis / List of Authors.
|
| Abstract
|
:
|
Dieses Buch enthlt die Beitrge der 4. GI/ITG/GMA-Fachtagung ber Fehlertolerierende Rechensysteme, die im September 1989 in einer Reihe von Tagungen in Mnchen 1982, Bonn 1984 sowie Bremerhaven 1987 veranstaltet wurde. Die 31 Beitrge, darunter 4 eingeladene, sind teils in deutscher, berwiegend aber in englischer Sprache verfat. Insgesamt wird durch diese Beitrge die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten zwei Jahren vor allem in Europa dokumentiert. Smtliche Beitrge berichten ber neue Forschungs- oder Entwicklungsergebnisse.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Memory management (Computer science)
|
| Subject
|
:
|
Microprogramming.
|
| LC Classification
|
:
|
QA76.9.C62E358 1989
|
| Added Entry
|
:
|
Holger Sörensen
|
|
|
:
|
Winfried Görke
|
| |