A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems - Rilegato

 
9780792372950: A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Rilegato
ISBN 10: 0792372956 ISBN 13: 9780792372950
Casa editrice: SPRINGER NATURE, 2001

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
SPRINGER NATURE
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
0792372956
ISBN 13 
9780792372950
Rilegatura
Copertina rigida
Numero di pagine
242
Redattore
Powell David
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9781441948809: A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

Edizione in evidenza

ISBN 10:  1441948805 ISBN 13:  9781441948809
Casa editrice: Springer, 2010
Brossura