E-Book, Englisch, 242 Seiten, eBook
Powell A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
2001
ISBN: 978-1-4757-3353-2
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 242 Seiten, eBook
ISBN: 978-1-4757-3353-2
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
List of Figures. List of Tables. List of Contributors. Foreword. 1. Introduction and Overview; D. Powell, et al. 2. Inter-Channel Communication Network; C. Rabéjac, D. Powell. 3. Scheduling; L. Beus-Dukic, A. Wellings. 4. Error Processing and Fault Treatment; A. Bondavalli, et al. 5. Output Consolidation; S. Lautier, E. Jenn. 6. Multilevel Integrity Mechanisms; E. Totel, et al. 7. Architecture Development Environment; L. Beus-Dukic, et al. 8. Formal Verification; C. Bernadeschi, et al. 9. Dependability Evaluation; J. Arlat, et al. 10. Demonstrators; C. Dambra, et al. Project Consortium. Abbreviations. References.




