Software Design for Resilient Computer Systems

AvIgor Schagaev,Kaegi Thomas

Häftad, Engelska, 2019

1 297 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

1 667 kr

Häftad

1 184 kr

Beskrivning

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability.

Produktinformation

Utgivningsdatum:2019-03-16
Mått:155 x 235 x 13 mm
Vikt:353 g
Format:Häftad
Språk:Engelska
Antal sidor:214
Förlag:Springer International Publishing AG
ISBN:9783319805795

Utforska kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik
Programvaruutveckling inom Data och IT
Hårdvara inom Data och IT

Mer om författaren

Dr. Igor Schagaev is a Professor and Head of Laboratory of Applied Computer Science and Technology (LACOST) Faculty of Life Science and Computing and London Metropolitan University. He is a Fellow of the Institute of Analyst and Programmers (UK) and has previously work as an Electromechanical Engineer at the Smolensk aviation factory, USSR, a Senior Programmer and Design Engineer at the Institute of Advanced Computations, Central Bureau, Smolensk Branch, and a Senior Design Engineer and System Programmer for Avionics, and was Director of ATLAB Ltd Bristol. He has published 5 books, over 60 papers, and has been honored with several industry awards, achievements, and grants.Dr. Thomas Kaegi-Trachsel received his PhD in 2012 in ETH Zurich in the area of system software for embedded systems (under supervision of Prof Schagaev). He is currently a Senior Researcher at IT-ACS Ltd.

Innehållsförteckning

Introduction.- HardwareFaults.- Fault Tolerance: Theory and Concepts.- Generalized Algorithm ofFault Tolerance (GAFT).- GAFT Generalization: APrinciple and Model of Active System Safety.- System Software Support for Hardware Deficiency: Function andFeatures.- Testing andChecking.- Recovery Preparation.- Recovery: Searching and Monitoringof Correct Software States.- Recovery Algorithms:An Analysis.- Programming Language for Safety Critical Systems.- Proposed Runtime System Structure.- Proposed Runtime System vs. Existing Approaches.- Hardware:The ERRIC Architecture.- Architecture Comparison and Evaluation.- ERRIC Reliability.