Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism (The Springer International Series in Engineering and Computer Science)

eBook Information

Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism (The Springer International Series in Engineering and Computer Science) ISBN  079239657X Release Date  30 November 1995 Category  Computer Science Tags  real-time,   This book @Amazon  View Tools Google Search Web flazx.com

Description Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue their function despite faults. Fault-tolerance and real-time requirements thus constitute a kind of natural combination in process control applications. Systematic fault-tolerance is based on redundancy, which is used to mask failures of individual components. The problem of replica determinism is thereby to ensure that replicated components show consistent behavior in the absence of faults. It might seem trivial that, given an identical sequence of inputs, replicated computer systems will produce consistent outputs. Unfortunately, this is not the case. The problem of replica non-determinism and the presentation of its possible solutions is the subject of Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism. The field of automotive electronics is an important application area of fault-tolerant real-time systems. Systems like anti-lock braking, engine control, active suspension or vehicle dynamics control have demanding real-time and fault-tolerance requirements. These requirements have to be met even in the presence of very limited resources since cost is extremely important. Because of its interesting properties Fault-Tolerant Real-Time Systems gives an introduction to the application area of automotive electronics. The requirements of automotive electronics are a topic of discussion in the remainder of this work and are used as a benchmark to evaluate solutions to the problem of replica determinism. Other books on Computer Science Computable Models of the Law: Languages, Dialogues, Games, Ontologies (Lecture Notes in Computer Science) Numerical Geometry of Non-Rigid Shapes (Monographs in Computer Science) Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science) Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science) Advanced Data Structures A Second Course in Formal Languages and Automata Theory Transactions on Rough Sets VIII (Lecture Notes in Computer Science) Advances in Web Information Systems Engineering: WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008, Proceedings (Lecture Notes in Computer Science) Combinatorial Optimization and Applications: Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings (Lecture Notes in Computer Science) Advances in Databases and Information Systems: 12th East European Conference, ADBIS 2008, Pori, Finland, September 5-9, 2008, Proceedings (Lecture Notes in Computer Science) Unconventional Computation: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings (Lecture Notes in Computer Science) Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture Notes in Computer Science) Smart Graphics: 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008, Proceedings (Lecture Notes in Computer Science) Engines of Logic: Mathematicians and the Origin of the Computer Secure Transaction Protocol Analysis: Models and Applications (Lecture Notes in Computer Science)