عنوان

Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems :

(Number (ISBN

3540515658

(Number (ISBN

3642750028

(Number (ISBN

9783540515654

(Number (ISBN

9783642750021

Number

b573347

Title Proper

Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems :

General Material Designation

[Book]

Other Title Information

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

First Statement of Responsibility

edited by Winfried Görke, Holger Sörensen.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1989

Specific Material Designation and Extent of Item

(XI, 390 pages)

Series Title

Informatik-Fachberichte, 214.

Text of Note

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

Text of Note

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.

Computer science.

Memory management (Computer science)

Microprogramming.

Class number

Book number

edited by Winfried Görke, Holger Sörensen.

Holger Sörensen

Winfried Görke

Electronic name

[Book]

Y