Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems [electronic resource] : 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 /

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

Bibliographic Details

Main Authors:	Görke, Winfried. editor., Sörensen, Holger. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1989
Subjects:	Computer science., Microprogramming., Arithmetic and logic units, Computer., Computer memory systems., Input-output equipment (Computers)., Logic design., Computer programming., Computer Science., Programming Techniques., Arithmetic and Logic Structures., Control Structures and Microprogramming., Memory Structures., Input/Output and Data Communications., Logic Design.,
Online Access:	http://dx.doi.org/10.1007/978-3-642-75002-1
Tags:	Add Tag No Tags, Be the first to tag this record!