Software Design for Resilient Computer Systems

Häftad, Engelska, 2019

AvIgor Schagaev,Kaegi Thomas

1 659 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (2)

Inbunden

2 349 kr

Skickas inom 10-15 vardagar

Häftad

1 729 kr

Skickas inom 10-15 vardagar

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

Utgivningsdatum2019-03-16
Mått155 x 235 x 13 mm
Vikt353 g
FormatHäftad
SpråkEngelska
Antal sidor214
FörlagSpringer International Publishing AG
ISBN9783319805795

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Byggnadsteknik inom Naturvetenskap och teknik
Hårdvara inom Data och it
Elektronik och kommunikationer inom Naturvetenskap och teknik

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.

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.