A Generic Fault Tolerant Architecture For Real Time Dependable Systems


Download A Generic Fault Tolerant Architecture For Real Time Dependable Systems PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get A Generic Fault Tolerant Architecture For Real Time Dependable Systems book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.

Download

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


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

Author: David Powell

language: en

Publisher: Springer Science & Business Media

Release Date: 2013-04-17


DOWNLOAD





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.

Architecting Dependable Systems IV


Architecting Dependable Systems IV

Author: Rogério de Lemos

language: en

Publisher: Springer Science & Business Media

Release Date: 2007-08-15


DOWNLOAD





As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

Reliable Software Technologies - Ada-Europe 2002


Reliable Software Technologies - Ada-Europe 2002

Author: Johann Blieberger

language: en

Publisher: Springer

Release Date: 2003-08-02


DOWNLOAD





This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002. The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.