Avizienis, A., et al. The STAR (Self-Testing And Repairing) computer: An investigation of the theory and practice of fault-tolerant computer design. IEEE Transactions on Computers, 1971. C20 (11): p. 1312-1321. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Time-Triggered Architecture - Kopetz, Bauer (1988) (18 citations) (Correct)
....protocols, to perform prompt error detection, and to guarantee the timeliness of real time applications. Research work in the field of distributed dependable realtime computer architectures for safety critical applications started more than thirty years ago with the design of the STAR computer [2] and the two projects SIFT [3] and FTMP [4] These projects were carefully evaluated and gave rise to new designs about ten years later: FTPP [5] MAFT [6] and the architectural concepts of the AIRBUS flight control system [7] In 1992 the first paper on SAFEbus [8] the architecture that was ....
A. Avizienis, G. Gilley, F. Mathur, D. Rennels, J. Rohr, and D. Rubin. The STAR (Self-Testing-And-Repairing) Computer: An Investigation of the Theory and Practice of Fault-Tolerant Computer Design. IEEE Transactions on Computers, C-20(11):1312--1321, 1971.
Schedulability Analysis for Fault Tolerant Real-Time Systems - Punnekkat (1997) (6 citations) (Correct)
....up to b (N Gamma1) 2 c component failures. It must be ensured that the non faulty processors in the system operate on consistent inputs. A hybrid redundancy scheme in which, TMR operation of three units with n standby spares was used for the NASA Self Testing And Repair Processor(STAR) [6]. Other practical fault tolerant systems and their fault tolerant aspects are described in detail by Lala [46] A Fail Stop Processor(FSP) 75] is a real hardware processor with well defined failure characteristics. Upon failure it will stop functioning rather than producing a wrong output. This ....
A. Avizienis and et al. The STAR (Self-testing and repairing) computer: An investigation of the theory and practice of fault-tolerant computer design. IEEE Transactions on Computers, C-20(11):1394--1403, November 1971.
Automatic Specification of Reliability Models for.. - Liceaga, Siewiorek (1993) (1 citation) (Correct)
....system. Coverage: The probability that the system can survive a fault in a component and successfully recover. If the system can always recover, it has a perfect coverage of 1. Spares are sometimes left unpowered until they become part of the active configuration to reduce their failure rates (Avizienis et al. 1971). They are sometimes said to be cold if their failure rates are assumed to be 0, warm if their failure rates are reduced but not 0, or hot if their failure rates are not reduced (Butler and Johnson 1990) Reliability measures are defined in terms of probabilities because the failure processes in ....
Avizienis, Algirdas; Gilley, George C.; Mathur, Francis P.; Rennels, David A.; Rohr, John A.; and Rubin, David K. 1971: The STAR (Self-Testing and Repairing) Computer: An Investigation of the Theory and Practice of Fault-TolerantComputer Design. IEEE Trans. Comput., vol. C-20, no. 11, Nov., pp. 1312--1321.
Holzmann, G. The SPINmodel checker. IEEE Transactions on.. - Cristian Et Al (Correct)
No context found.
Avizienis, A., et al. The STAR (Self-Testing And Repairing) computer: An investigation of the theory and practice of fault-tolerant computer design. IEEE Transactions on Computers, 1971. C20 (11): p. 1312-1321.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC