Software Design for Resilient Computer Systems

Le livre "Conception de logiciels pour des systèmes informatiques résilients" offre une analyse approfondie de la conception de logiciels système conçus pour la tolérance aux pannes. Les auteurs examinent comment les logiciels système interagissent avec le matériel pour tolérer les erreurs et maximiser la fiabilité. Ils approfondissent la théorie de la tolérance aux pannes et développent l'algorithme général de tolérance aux pannes (GAFT), qui comprend trois processus principaux : le test du matériel, la préparation à la récupération et le processus de récupération. Pour chacun de ces processus, des exigences théoriques et des caractéristiques sont analysées, ainsi que des scénarios d'implémentation possibles et le soutien nécessaire de la part des logiciels système. De plus, un langage de programmation basé sur Oberon est dérivé, qui prend directement en charge les trois processus GAFT. Dans la dernière partie du livre, un simulateur est présenté comme preuve de concept pour une nouvelle architecture de processeur tolérante aux pannes (ERRIC), analysant ses caractéristiques et ses performances. Les contenus sont pertinents pour diverses industries, notamment l'armée, l'aéronautique, la santé, le contrôle industriel et l'aérospatiale.