Software Design for Resilient Computer Systems

Il libro "Software Design for Resilient Computer Systems" offre un'analisi approfondita della progettazione di software di sistema orientato alla tolleranza agli errori. Gli autori esaminano come il software di sistema interagisce con l'hardware per tollerare gli errori e massimizzare l'affidabilità. Approfondiscono la teoria della tolleranza agli errori e sviluppano l'algoritmo generale di tolleranza agli errori (GAFT), che comprende tre processi principali: verifica dell'hardware, preparazione al ripristino e processo di ripristino. Per ciascuno di questi processi vengono analizzati requisiti e caratteristiche teoriche, oltre a possibili scenari di implementazione e al supporto necessario da parte del software di sistema. Inoltre, viene derivato un linguaggio di programmazione basato su Oberon che supporta direttamente i tre processi GAFT. Nell'ultima parte del libro viene presentato un simulatore che funge da prova di concetto per una nuova architettura di processore tollerante agli errori (ERRIC), analizzandone le caratteristiche e le prestazioni. I contenuti sono rilevanti per diversi settori, tra cui militare, aerospaziale, sanità, controllo industriale e spazio.