A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Seiten
2010
|
Softcover reprint of hardcover 1st ed. 2001
Springer-Verlag New York Inc.
978-1-4419-4880-9 (ISBN)
Springer-Verlag New York Inc.
978-1-4419-4880-9 (ISBN)
The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. This book explains the motivations and the results of a collaborative project', whose objective was to significantly decrease the lifecycle costs of such fault tolerant systems. The end-user companies participating in this project already deploy fault-tolerant systems in critical railway, space and nuclear-propulsion applications. However, these are proprietary systems whose architectures have been tailored to meet domain-specific requirements. This has led to very costly, inflexible, and often hardware-intensive solutions that, by the time they are developed, validated and certified for use in the field, can already be out-of-date in terms of their underlying hardware and software technology.
1 Introduction and Overview.- 2 Inter-Channel Communication Network.- 3 Scheduling.- 4 Error Processing and Fault Treatment.- 5 Output Consolidation.- 6 Multilevel Integrity Mechanisms.- 7 Architecture Development Environment.- 8 Formal Verification.- 9 Dependability Evaluation.- 10 Demonstrators.- Project Consortium.- Abbreviations.- References.
Erscheint lt. Verlag | 3.12.2010 |
---|---|
Zusatzinfo | XVIII, 242 p. |
Verlagsort | New York, NY |
Sprache | englisch |
Maße | 170 x 244 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Netzwerke |
Informatik ► Theorie / Studium ► Algorithmen | |
Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
Informatik ► Weitere Themen ► CAD-Programme | |
Technik ► Elektrotechnik / Energietechnik | |
ISBN-10 | 1-4419-4880-5 / 1441948805 |
ISBN-13 | 978-1-4419-4880-9 / 9781441948809 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
29,99 €
Interlingua zur Gewährleistung semantischer Interoperabilität in der …
Buch | Softcover (2023)
Springer Fachmedien (Verlag)
32,99 €
Eine Einführung mit Java
Buch | Hardcover (2020)
dpunkt (Verlag)
44,90 €