Software Design for Resilient Computer Systems - Thomas, Kaegi

. .

Résumé :

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.

...

Biographie:
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....

Sommaire:

Introduction.- Hardware Faults.-?Fault Tolerance: Theory and Concepts.- Generalized Algorithm of Fault Tolerance (GAFT).-?GAFT Generalization: A Principle and Model of Active System Safety.-?System Software Support for Hardware Deficiency: Function and Features.-?Testing and Checking.-?Recovery Preparation.-?Recovery: Searching and Monitoring of 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.

...