Buch

---

Übersicht

---

Verlag	:	Springer Berlin
Buchreihe	:	Informatik-Fachberichte (Bd. 84)
Sprache	:	Englisch, Deutsch
Erschienen	:	01. 09. 1984
Seiten	:	433
Einband	:	Kartoniert
Höhe	:	244 mm
Breite	:	170 mm
Gewicht	:	760 g
ISBN	:	9783540133483
Sprache	:	Englisch

---

Inhaltsverzeichnis

---

/ Table of Contents.- Verteilte Systeme I / Distributed systems I.- The architecture and the fault-treatment of MuTEAM.- Anwenderwerkzeuge für 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)Prozeßsystem auf der Basis von Zuverlässigkeitsklassen.- 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 Entwürfe.- 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.- Zuverlässigkeitsmodelle / Reliability models.- Dependability modelling and evaluation of software and hardware systems.- Eingeladener Vortrag / Invited talk.- Quantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen.- Issues in reliability modeling offault-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 für 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.

Deine Buchhandlung

---