Görke / Sörensen 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
Erscheinungsjahr 2012
ISBN: 978-3-642-75002-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 214, 390 Seiten, eBook

Reihe: Informatik-Fachberichte

Zielgruppe

Research

Autoren/Hrsg.

Görke, Winfried

Sörensen, Holger

Inhaltsverzeichnis

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