Software Design for Resilient Computer Systems

Deze derde editie van "Software Design for Resilient Computer Systems" biedt een uitgebreide verkenning van hoe systeemsoftware ontworpen moet worden om om te gaan met fouten, en welke fouttolerantiekenmerken essentieel zijn voor de hoogste betrouwbaarheid. De auteurs presenteren een gedetailleerde analyse van de interactie tussen de systeemsoftware en de hardware, met het doel om fouten effectief te tolereren.

Theoretische Basis van Fouttolerantie

De auteurs verdiepen zich in de theorie van fouttolerantie en onderzoeken diverse methoden om de betrouwbaarheid van systemen te verhogen. Speciale aandacht wordt besteed aan de rol van systeemsoftware in dit proces. Het boek introduceert de General Algorithm for Fault Tolerance (GAFT), die bestaat uit drie hoofdprocessen: hardwarecontrole, voorbereiding op herstel en de herstelprocedure. Voor elk van deze processen worden de theoretische vereisten en eigenschappen geanalyseerd, evenals mogelijke implementatiescenario's en de daarbij benodigde systeemsoftwareondersteuning.

Praktische Implementatie

Gebaseerd op deze theoretische inzichten hebben de auteurs een op Oberon gebaseerde programmeertaal ontwikkeld die directe ondersteuning biedt voor de drie processen van GAFT. Dit stelt ontwikkelaars in staat om fouttolerante toepassingen te creëren die robuust en efficiënt zijn.

Innovatieve Simulatie en Architectuur

In de laatste sectie van het boek introduceren de auteurs een simulator als proof of concept voor een nieuwe fouttolerante processorarchitectuur, ERRIC. Deze architectuur, samen met een nieuw ontwikkeld runtime-systeem, wordt zowel qua functionaliteit als qua prestaties grondig belicht.

Toepassingen in Diverse Sectoren

De inhoud van dit boek is breed toepasbaar en relevant voor verschillende industrieën en onderzoeksgebieden, waaronder:

• Militair
• Luchtvaart
• Intensieve gezondheidszorg
• Industriële automatisering
• Ruimteverkenning

Met deze derde editie, die grondig is bijgewerkt met de nieuwste adviezen over software-resiliënten, biedt het boek waardevolle inzichten en hulpmiddelen voor onderzoekers en professionals in de industrie. Nieuwe hoofdstukken over computersysteem prestaties en systeemresilientie, evenals online bronnen, maken deze editie een onmisbare gids voor iedereen die betrokken is bij de ontwikkeling van betrouwbare en veerkrachtige softwaresystemen.