Fehlertolerierende Rechensysteme: 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984

Front Matter....Pages I-X
The Architecture and the Fault-Treatment of MuTEAM....Pages 1-13
Anwenderwerkzeuge für das fehlertolerante Multimikrocomputersystem FUTURE....Pages 14-26
Implementing Fault-Tolerance in a Distributed System Architecture....Pages 27-39
Extending Resilient Objects Efficiently....Pages 40-51
Ein fehlertolerantes UNIX( TM )-Prozeßsystem auf der Basis von Zuverlässigkeitsklassen....Pages 52-65
Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz....Pages 66-76
The Introduction of Fault-Tolerance in a Hierarchical Operating System....Pages 77-88
Effiziente Verfahren zur “online”-Fehlererkennung in Baumstrukturen von Datenbanksystemen....Pages 89-100
CADAS: A Tool for Designing Reliable Embedded Software and Supporting Testing “in the Large”....Pages 101-112
Automatische Verifikation logischer Entwürfe....Pages 113-126
Modeling and Validating Broadcasting-Free Concurrent Systems....Pages 127-138
Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme....Pages 139-149
An Uniform Approach to the Operating System in Fault-Tolerant Distributed Computer Systems....Pages 150-163
Modular Design of Totally Self-Checking Checkers for 1-Out-of-N Codes....Pages 164-176
Systematic t-Error Correcting All Unidirectional Error Detecting Codes....Pages 177-188
Concurrent Error-Detection/-Correction of Logical Operations....Pages 189-201
Dependability Modeling and Evaluation of Software-and-Hardware Systems....Pages 202-215
Qantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen....Pages 216-227
Issues in Reliability Modeling of Fault-Tolerant Computers....Pages 228-239
Einzelfehler Tolerierende Kommunikationsnetze....Pages 240-251
Implementation of a Fault-Tolerant File Management System....Pages 252-264
Ein Fehlertolerantes Lokales Netz mit Schleifenstruktur auf Lichtwellenleiter-Basis....Pages 265-279
Synchronization Tools and a Restart Method in the Fault-Tolerant Distributed Automation System FIPS....Pages 280-291
Distributed Self-Diagnosis and Fault-Tolerant Communication in Parallel Multiprocessor Networks....Pages 292-300
System Level Fault-Diagnosis in Distributed Systems....Pages 301-312
Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik....Pages 313-324
Tests with fault-localizing capabilities improve system level diagnosis....Pages 325-336
Bestimmung der Protokoll-Menge für Verteilte Fehlermaskierungs-Systeme....Pages 337-352
Modelling and Verification of a Checkpoint-Restart-Protocol....Pages 353-363
VLSI Functional Testing Using Critical Path Traces at a Hardware Description Language Level....Pages 364-379
Random Testing of LSI Self-Checking Circuits....Pages 380-390
Functional Testing Vs. Structural Testing of Rams....Pages 391-403
Compression of Multiple-Valued Data Serial Streams by Means of Parallel LFSR Signature Analyzer....Pages 404-416
The Detection of Small Size Multiple Faults by Single Fault Test Sets in Programmable Logic Arrays....Pages 417-425
Can Design Faults be Tolerated?....Pages 426-433