A design approach for ultrareliable real-time systems
- 1 May 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 24 (5) , 12-22
- https://doi.org/10.1109/2.76283
Abstract
A design approach developed over the past few years to formalize redundancy management and validation is described. Redundant elements are partitioned into individual fault-containment regions (FCRs). An FCR is a collection of components that operates correctly regardless of any arbitrary logical or electrical fault outside the region. Conversely, a fault in an FCR cannot cause hardware outside the region to fail. The outputs of all channels are required to agree bit-for-bit under no-fault conditions (exact bitwise consensus). Synchronization, input agreement, and input validity conditions are discussed. The Advanced Information Processing System (AIPS), which is a fault-tolerant distributed architecture based on this approach, is described. A brief overview of recent applications of these systems and current research is presented.Keywords
This publication has 9 references indexed in Scilit:
- A FAULT-TOLERANT DIGITAL CLOCKING SYSTEMPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Advanced Information Processing System (AIPS)-based fault tolerant avionics architecture for launch vehiclesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Intercomputer communication architecture for a mixed redundancy distributed systemJournal of Guidance, Control, and Dynamics, 1989
- The Evolution of Fault Tolerant Computing at the Charles Stark Draper Laboratory, 1955–85Published by Springer Nature ,1987
- A performance evaluation of the software-implemented fault-tolerancecomputerJournal of Guidance, Control, and Dynamics, 1986
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982
- A lower bound for the time to assure interactive consistencyInformation Processing Letters, 1982
- The Byzantine generals strike againJournal of Algorithms, 1982
- Testing of the YC-14 Flight Control System SoftwareJournal of Guidance, Control, and Dynamics, 1978