Showing posts with label dependable. Show all posts
Showing posts with label dependable. Show all posts

Thursday, March 17, 2011

Dependable Computing

Dependable Computing Review


See more picture


Dependable Computing Feature

This book constitutes the refereed proceedings of the Third European Dependable Computing Conference, EDCC-3, held in Prague, Czech Republic in September 1999. The 26 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on dependability modeling, protocols, fault injection, safety, hardware testing, built-in self-tests, networks and distributed systems, and software testing and self-checking.


Check price now


Rerate Products


Customer Review

Thursday, August 12, 2010

Mathematics of Dependable Systems II (Institute of Mathematics and Its Applications Conference Series) (Vol 2)

Mathematics of Dependable Systems II (Institute of Mathematics and Its Applications Conference Series) (Vol 2) Review


See more picture


Mathematics of Dependable Systems II (Institute of Mathematics and Its Applications Conference Series) (Vol 2) Feature

Mathematics, particularly formal methods, cryptography and reliability modeling, is increasingly pivotal in the development and assessment of complex systems on which society depends, including banking, medical, transportation, and defense systems. This book contains the proceedings of a recent conference on ways to apply these mathematical theories to develop safe, secure, reliable and available computing systems.


Check price now


Rerate Products


Customer Review

Wednesday, February 17, 2010

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

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


See more picture


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

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.
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems 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 currently 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.
The project thus designed a generic fault-tolerant architecture with two dimensions of redundancy and a third multi-level integrity dimension for accommodating software components of different levels of criticality. The architecture is largely based on commercial off-the-shelf (COTS) components and follows a software-implemented approach so as to minimise the need for special hardware. Using an associated development and validation environment, system developers may configure and validate instances of the architecture that can be shown to meet the very diverse requirements of railway, space, nuclear-propulsion and other critical real-time applications. This book describes the rationale of the generic architecture, the design and validation of its communication, scheduling and fault-tolerance components, and the tools that make up its design and validation environment. The book concludes with a description of three prototype systems that have been developed following the proposed approach.
(*) Esprit project No. 20716: GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems.


Check price now


Rerate Products


Customer Review