Software Design for Resilient Computer Systems

Das Buch "Software Design for Resilient Computer Systems" bietet eine umfassende Analyse der Gestaltung von Systemsoftware, die auf Fehlertoleranz ausgelegt ist. Die Autoren untersuchen, wie Systemsoftware mit Hardware interagiert, um Fehler zu tolerieren und die Zuverlässigkeit zu maximieren. Sie vertiefen die Theorie der Fehlertoleranz und entwickeln den allgemeinen Algorithmus der Fehlertoleranz (GAFT), der drei Hauptprozesse umfasst: Hardwareprüfung, Vorbereitung auf die Wiederherstellung und den Wiederherstellungsprozess. Für jeden dieser Prozesse werden theoretische Anforderungen und Eigenschaften analysiert sowie mögliche Implementierungsszenarien und die erforderliche Unterstützung durch die Systemsoftware vorgestellt. Darüber hinaus wird eine auf Oberon basierende Programmiersprache abgeleitet, die die drei GAFT-Prozesse direkt unterstützt. Im letzten Teil des Buches wird ein Simulator vorgestellt, der als Proof-of-Concept für eine neuartige fehlertolerante Prozessorarchitektur (ERRIC) dient und deren Merkmale sowie Leistung analysiert. Die Inhalte sind für verschiedene Industrien relevant, darunter Militär, Luftfahrt, Gesundheitswesen, industrielle Steuerung und Raumfahrt.