Fehlertolerierende Rechensysteme: 2. Gi/ntg/gmr-fachtagung / Fault-tolerant Computing Systems 2nd Gi/ntg/gmr Conference / Bonn, 19.–21. September 1984 ... (english And German Edition)

In the last decade of Computer Science development, we can observe a growing interest in fault-tolerant computing. This interest is the result of a rising number of appl'ications where reliable operation of computing systems is an essential requirement. Besides basic research in the field of fault-tolerant computing, there is an increasing num­ ber of systems especially designed to achieve fault-tolerance. It is the objective of this conference to offer a survey of present research and development activities in these areas. The second GI/NTG/GM~ Conference on Fault-Tolerant Computing Systems has had a preparatory time of about two years. In March 1982, the first GI conference concerning fault-tolerant computing systems was held in Munich. One of the results of the conference was to bring an organiza­ tional framework to the FTC community in Germany. This led to the founding of the common interest group "Fault-Tolerant Computing Systems" of the Gesellschaft fur Informatik (GI), the Nachrichtentechnische Gesellschaft (NTG), and the Gesellschaft fur MeB- und Regelungstechnik (VDI/VDE-GMR) in November 1982. At that time, it was also decided to schedule a biannual conference on fault-tolerant computing systems. One of the goals of this second conference is to strengthen the relations with the international FTC community; thus, the call for papers was extended not only to German-speaking countries, but to other countries as well. 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 In the last decade of Computer Science development, we can observe a growing interest in fault-tolerant computing. This interest is the result of a rising number of appl'ications where reliable operation of computing systems is an essential requirement. Besides basic research in the field of fault-tolerant computing, there is an increasing numƯ ber of systems especially designed to achieve fault-tolerance. It is the objective of this conference to offer a survey of present research and development activities in these areas. The second GI/NTG/GM~ Conference on Fault-Tolerant Computing Systems has had a preparatory time of about two years. In March 1982, the first GI conference concerning fault-tolerant computing systems was held in Munich. One of the results of the conference was to bring an organizaƯ tional framework to the FTC community in Germany. This led to the founding of the common interest group "Fault-Tolerant Computing Systems" of the Gesellschaft fur Informatik (GI), the Nachrichtentechnische Gesellschaft (NTG), and the Gesellschaft fur MeB- und Regelungstechnik (VDI/VDE-GMR) in November 1982. At that time, it was also decided to schedule a biannual conference on fault-tolerant computing systems. One of the goals of this second conference is to strengthen the relations with the international FTC community; thus, the call for papers was extended not only to German-speaking countries, but to other countries as well