Verkauf durch Sack Fachmedien

Powell

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

Medium: Buch
ISBN: 978-0-7923-7295-0
Verlag: Springer Nature Singapore
Erscheinungstermin: 31.01.2001
Lieferfrist: bis zu 10 Tage
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.

Produkteigenschaften


  • Artikelnummer: 9780792372950
  • Medium: Buch
  • ISBN: 978-0-7923-7295-0
  • Verlag: Springer Nature Singapore
  • Erscheinungstermin: 31.01.2001
  • Sprache(n): Englisch
  • Auflage: 2001. Auflage 2001
  • Produktform: Gebunden
  • Gewicht: 1210 g
  • Seiten: 242
  • Format (B x H x T): 156 x 234 x 16 mm
  • Ausgabetyp: Kein, Unbekannt

Autoren/Hrsg.

Herausgeber

Powell, David

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.