Fehlertolerierende rechensysteme : 2. GI/NTG/GMR-fachtagung Bonn, September 1984 = Fault-tolent computing systems : 2nd GI/NTG/GMR conference Bonn, 19-21 September 1984

/ Table of Contents.- Verteilte Systeme I / Distributed systems I.- The architecture and the fault-treatment of MuTEAM.- Anwenderwerkzeuge fur das fehlertolerante Multimikrocomputersystem FUTURE.- Implementing fault-tolerance in a distributed system architecture.- Extending resilient objects efficiently.- Fehlertolerante Betriebssysteme / Fault-tolerant operating systems.- Ein fehlertolerantes UNIX(TM)Prozesssystem auf der Basis von Zuverlassigkeitsklassen.- Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz.- The introduction of fault-tolerance in a hierarchical operating system.- Verifikations- und Laufzeitvalidationsmethoden / Verification and run-time validation techniques.- Effiziente Verfahren zur 'online'-Fehlererkennung in Baumstrukturen von Datenbanksystemen.- CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'.- Automatische Verifikation logischer Entwurfe.- Allgemeine Modelle / General models.- Modelling and validating broadcasting-free concurrent systems.- Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme.- An uniform approach to the Operating System in fault-tolerant distributed computer systems.- Fehlertolerante Hardwarekomponenten / Fault-tolerant hardware components.- Modular design of totally self-checking checkers for 1-out-of-n codes.- Systematic t-error correcting all unidirectional error detecting codes.- Concurrent error-detection /-correction of logical operations.- Zuverlassigkeitsmodelle / Reliability models.- Dependability modelling and evaluation of software and hardware systems.- Eingeladener Vortrag / Invited talk.- Quantitative Bewertung der Zuverlassigkeit von Echtzeitprogrammsystemen.- Issues in reliability modeling of fault-tolerant computers.- Einzelfehler tolerierende Kommunikationsnetze.- Verteilte Systeme II / Distributed systems II.- Implementation of a fault-tolerant file management system.- Ein fehlertolerantes lokales Netz mit Schleifenstruktur auf Lichtwellenleiter-Basis.- Synchronization tools and a restart method in the fault-tolerant distributed automation system FIPS.- Diagnose auf Systemebene / Diagnosis at system level.- Distributed self-diagnosis and fault-tolerant communication in parallel multiprocessor networks.- System level fault-diagnosis in distributed systems.- Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik.- Tests with fault-localizing capabilities improve system level diagnosis.- Protokolle / Protocols.- Bestimmung der Protokoll-Menge fur verteilte Fehlermaskierungs-Systeme.- Modeling and verification of a checkpoint-restart-protocol.- Hardware-Testmethoden I / Hardware testing methods I.- VLSI functional testing using critical path traces at a hardware description language level.- Random testing of LSI self-checking circuits.- Functional testing vs. structural testing of RAMs.- Hardware Testmethoden II / Hardware testing methods II.- Compression of multiple-valued data serial streams by means of parallel LFSR signature analyzer.- The detection of small size multiple faults by single fault test sets in programmable logic arrays.