Software Design for Resilient Computer Systems

Deze derde editie van "Software Design for Resilient Computer Systems" biedt een uitgebreide en actuele benadering van het ontwerp van systeemsoftware met het oog op fouttolerantie. Het boek richt zich op de vraag hoe systeemsoftware zo kan worden ontworpen dat deze rekening houdt met mogelijke fouten en welke functies voor fouttolerantie vereist zijn voor de hoogste betrouwbaarheid.

De auteurs beginnen met het uitleggen van de interactie tussen systeemsoftware en hardware om fouttolerantie te realiseren. Ze analyseren en ontwikkelen verder de theorie van fouttolerantie, waarbij ze de verschillende manieren onderzoeken om de betrouwbaarheid van een systeem te vergroten. Hierbij ligt de nadruk op de rol van systeemsoftware in dit proces.

Een belangrijk concept dat in het boek wordt behandeld, is het Algoritme voor Algemene Fouttolerantie (GAFT), dat bestaat uit drie hoofdprocessen:

• Hardwarecontrole
• Voorbereiding op herstel
• Herstelprocedure

Voor elk van deze processen worden de vereisten en eigenschappen theoretisch geanalyseerd, en er worden mogelijke implementatiescenario's en de nodige systeemsoftwareondersteuning gepresenteerd.

Bovendien is er een nieuwe programmeertaal op basis van Oberon ontwikkeld die directe ondersteuning biedt voor de drie processen van GAFT. Dit biedt ontwikkelaars de mogelijkheid om systeemsoftware te creëren die beter bestand is tegen fouten en die eenvoudiger te onderhouden is.

In het laatste deel van het boek introduceren de auteurs een simulator, waarmee ze een proof of concept presenteren van een nieuw fouttolerant processorarchitectuur, genaamd ERRIC. Deze architectuur, samen met het nieuw ontwikkelde runtime-systeem, wordt zowel qua functionaliteit als prestaties geanalyseerd.

Door de uitgebreide en diepgaande inhoud is dit boek toepasbaar binnen diverse industrieën zoals de militaire sector, luchtvaart, intensieve gezondheidszorg, industriële controle en ruimteverkenning. Het biedt waardevolle inzichten voor onderzoekers en professionals in de industrie die betrokken zijn bij het verbeteren van de betrouwbaarheid en prestaties van computer systemen.

Met extra hoofdstukken over de prestaties van computersystemen en systeemresistentie, evenals online bronnen, is deze editie de ideale gids voor iedereen die zich bezighoudt met de eisen en uitdagingen van de volgende generatie computers.