Download A Generic Fault-Tolerant Architecture for Real-Time by David Powell PDF

By David Powell

The layout of computers to be embedded in serious real-time purposes is a fancy job. Such platforms mustn't ever merely warrantly to satisfy demanding real-time points in time imposed through their actual atmosphere, they need to warrantly to take action dependably, regardless of either actual faults (in undefined) and layout faults (in or software). A fault-tolerance technique is crucial for those promises to be commensurate with the protection and reliability requisites of many lifestyles- and mission-critical functions. This e-book explains the motivations and the result of a collaborative project', whose goal was once to seriously lessen the lifecycle expenses of such fault­ tolerant structures. The end-user businesses partaking during this undertaking already installation fault-tolerant structures in serious railway, area and nuclear-propulsion functions. even if, those are proprietary structures whose architectures were adapted to satisfy domain-specific necessities. This has resulted in very expensive, rigid, and sometimes hardware-intensive strategies that, by the point they're constructed, demonstrated and authorized to be used within the box, can already be out-of-date by way of their underlying and software program technology.

Show description

Read Online or Download A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems PDF

Best quality control books

Statistical Process Control, Fifth Edition

A hugely winning identify from one of many UK's best exponents of TQM. The booklet good points hassle-free presentation and displays the most recent pondering within the box. it's going to function a textbook for self or workforce guideline for either pupil and working towards engineers, scientists, technologists and bosses and may end up priceless to all.

Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections

Functions of Finite point equipment for Reliability reviews on ULSI Interconnections presents a close description of the applying of finite aspect tools (FEMs) to the learn of ULSI interconnect reliability. over the last twenty years the appliance of FEMs has develop into frequent and maintains to steer to a stronger figuring out of reliability physics.

Applied Reliability Engineering and Risk Analysis: Probabilistic Models and Statistical Inference

This whole source at the concept and purposes of reliability engineering, probabilistic types and probability research consolidates all of the newest learn, providing the main updated advancements during this box. With complete assurance of the theoretical and useful problems with either vintage and sleek issues, it additionally offers a special commemoration to the centennial of the delivery of Boris Gnedenko, probably the most popular reliability scientists of the 20 th century.

Robust Response Surfaces, Regression, and Positive Data Analyses

Even if accepted in technology and know-how for experimental information producing, modeling, and optimization, the reaction floor method (RSM) has many boundaries. exhibiting how powerful reaction floor technique (RRSM) can triumph over those barriers, strong reaction Surfaces, Regression, and optimistic information Analyses provides RRS designs, in addition to the proper regression and optimistic info research thoughts.

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

Example text

2 (Chapter 10). 11 Summary This chapter has outlined the motivations for the generic fault-tolerant architecture and its associated development and validation environment. The principal features of the architecture have been briefly described and the main validation activities delineated. We have also described the domain-specific instances of the architecture that have guided the thought process of the project team. Each of these aspects is described in more detail in the remainder of the book.

A more detailed description of the Architecture Development Environment is given in Chapter 7. 9 Validation The validation strategy implemented within GUARDS has two main objectives [ArIat 1997]: • A short-term objective: the validation of the design principles of the generic architecture, including both real-time and dependability mechanisms. • A long-term objective: the validation of the development of instances of the architecture implementing specific end-user requirements. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems 19 A large spectrum of methods, techniques and tools has been considered to address these validation objectives and to account for the validation requirements expressed by the recent IEC trans-application domain standard [IEC 61508] .

All application components within a channel are thus configured as self-checking pairs to provide detection of errors due to faults activated independently in each lane. In particular, the covered fault classes include physical faults (of the processors) and design faults of the processors and their operating systems. Note that, in this instance, an assumption of independent activations for design faults of the operating systems can be based on the fact that their designs are diversified. For design faults of the processors, an assumption of independent activation can be based on the decorrelation of their utilisation conditions (due to loose coupling and diversification of operating systems).

Download PDF sample

Rated 4.96 of 5 – based on 46 votes