| 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. |
|
|
 Principles of Molecular Neurosurgery (Progress in Neurological Surgery, Vol. 18)
The future of neurosurgery will be characterized by less invasive, molecular technologies that promise to revolutionize the field of neurosurgery and impact the treatment of additional neurological disorders, including neurometabolic diseases, stroke, dementias, affective and psychiatric diseases, movement disorders, epilepsy, and others.... | | A Complete Guide to PivotTables: A Visual ApproachPivotTables are powerful data analysis tools, yet most Excel users don’t use them to their fullest potential. A Complete Guide to PivotTables: A Visual Approach shows you why PivotTables are so versatile for data analysis and how you can leverage PivotTables to rapidly spot trends and make fast business decisions on mountains... | | International Dictionary of Films and Filmmakers Edition 4. (International Dictionary of Film and Filmmakers) 4-Vol SetThis is a revised edition of the 4th volume of the International Dictionary of Films and Filmmakers, which also includes Volume 1, Films, Volume 2, Directors, and Volume 3, Actors and Actresses. The book contains 545 entries, consisting of a brief biography, a complete filmography, a selected bibliography of works by and about the entrant, and a... |
Learn OS X Lion
You’re smart and savvy, but you're also busy. This comprehensive guide to Apple's latest version of OS X, Lion, gives you everything you need to know to live a happy, productive Mac life. Learn OS X Lion will have you up and connected right away. With a minimum of overhead and a maximum of useful information,... | | Professional ASP.NET 2.0 XML (Programmer to Programmer)You'll also learn more about SQL Server 2005 XML features, XML serialization, and XML Web services. You'll see how XML can be used to increase application efficiency and reach. Two helpful real-life case studies used throughout the book demonstrate the many ways that XML documents can be created, transformed, and transmitted to other systems... | | Callimachus (Ancients in Action)
Callimachus was one of the most important Greek poets, and can also be one of the most rewarding to read. He was a pivotal figure in the history of ancient literature and an influential presence in later ancient poetry, including Catullus and Vergil. Yet his work is not read and enjoyed as much as it could be. This new volume in the... |
|
