Téléchargez le livre : Software Design for Resilient Computer Systems

Software Design for Resilient Computer Systems



de

, ,

Éditeur :

Springer


Paru le : 2019-07-09



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description


Ce livre aborde la question de savoir comment les logiciels système devraient être conçus pour tenir compte des pannes et quelles caractéristiques de tolérance aux pannes ils devraient fournir pour une fiabilité maximale. Avec cette deuxième édition de Software Design for Resilient Computer Systems, le livre est entièrement mis à jour pour contenir les conseils les plus récents sur la résilience des logiciels. Avec des chapitres supplémentaires sur la performance et la résilience des systèmes informatiques, ainsi que des ressources en ligne, la nouvelle édition est idéale pour les chercheurs et les professionnels de l'industrie. Les auteurs montrent d'abord comment le logiciel système interagit avec le matériel pour tolérer les pannes. Ils analysent et développent la théorie de la tolérance aux pannes pour comprendre les différentes façons d'accroître la fiabilité d'un système, en accordant une attention particulière au rôle du logiciel système dans ce processus. Ils poursuivent le développement de l'algorithme général de tolérance aux pannes (GAFT) avec ses trois principaux processus : la vérification du matériel, la préparation de la récupération et la procédure de récupération. Pour chacun des trois processus, ils analysent théoriquement les besoins et les propriétés et donnent les scénarios d'implémentation possibles et le support logiciel système requis. Sur la base des résultats théoriques, les auteurs élaborent un langage de programmation basé sur Oberon avec un support direct des trois processus de GAFT. Dans la dernière partie de ce livre, ils présentent un simulateur, l'utilisant comme preuve de concept pour la mise en œuvre d'une nouvelle architecture de processeur à tolérance de pannes (ERRIC) et de son système d'exécution nouvellement développé en termes de fonctionnalités et de performances.
En raison de la grande portée de son contenu, cet ouvrage s'applique à une foule d'industries et de domaines de recherche, notamment l'armée, l'aviation, les soins de santé intensifs, le contrôle industriel et l'exploration spatiale.
Pages
308 pages
Collection
n.c
Parution
2019-07-09
Marque
Springer
EAN papier
9783030212438
EAN PDF
9783030212445
Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
30
Taille du fichier
11837 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
105,49 €
EAN EPUB
9783030212445
Informations sur l'ebook
Nombre pages copiables
3
Nombre pages imprimables
30
Taille du fichier
33812 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
105,49 €

Suggestions personnalisées