J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. N. Levitt, P. M. Melliar-Smith, R. E. Shostak, and C. B. Weinstock. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240--1255, 1978. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Decentralized Voting Algorithm for Increasing.. - Distributed Systems Ben (2001) (Correct)
....of the system as a whole revolves around the dependability of that one voter. Current distributed voting schemes assume that there is a sufficiently low probability of failure during that last stage that this doesn t become a problem. This voting methodology has had several embodiments ([3, 4, 5, 6]) in the development of fault tolerant computing. More recently, distributed voting has been used for fault diagnosis in linear processor arrays ( 7] where, in the absence of a centralized voter, the array elements share error flags stemming from output comparisons performed between connected ....
Wensley, J., "SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control," Proceedings of the IEEE, Vol. 66, October 1978, pp. 1240-1255.
The Need for Realistic Failure Models in Protocol Design - Keidar, Marzullo (2002) (1 citation) (Correct)
....of California, San Diego, Department of Computer Science and Engineering, E mail: marzullo cs.ucsd.edu 1 Introduction Fault tolerant algorithms are often designed under the assumption that no more than t out of n processes or components can fail. This approach was pioneered by the SIFT project [22], and has since been widely applied to the design of algorithms for real critical systems, e.g. air trac control [6] other highly available services like le servers [15] and so on. It is such a common assumption that most fault tolerant algorithms found in the literature today adopt it without ....
J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. M. Levitt, P. M. Melliar-Smith, R. E. Shostak, and C. B. Weinstock. SIFT: design and analysis of a fault-tolerant computer for air trac control. IEEE, 66(10):1240-1255, Oct. 1978.
An Architecture for an Adaptive Intrusion-Tolerant Server - Valdes, Almgren.. (2002) (1 citation) (Correct)
....failures, rather than the level of perceived threat. When a persistent fault is diagnosed, the faulty unit is isolated, repaired and then reinserted. In most cases, this delay is made as short as possible to maintain a similar level of redundancy for the whole mission. Architectures such as SIFT [33] and GUARDS [21] assign di#erent levels of redundancy to concurrent tasks according to their criticality. In other fault tolerant architectures such as Delta 4 [22] and FRIENDS [8] di#erent redundancy levels and techniques are assigned according to fault assumptions rather than criticality. In ....
J. Wensley, L. Lamport, J. Goldberg, M. Green, K. Levitt, P. Melliar-Smith, R. Shostack, and C. Weinstock. SIFT: the design and analysis of a fault-tolerant computer for aircraft control. Proc. IEEE, 66:1240--1255, Oct. 1978.
Synchronous Consensus for Dependent Process Failures - Junqueira, Marzullo (2003) (2 citations) (Correct)
.... is synchronous and when #### if the system is asynchronous extended with a failure detector of the class [2, 11] The use of the # of # assumption dates back to the earliest work on fault tolerant computing [22] It was first applied to distributed coordination protocols in the SIFT project [23] which designed a fly by wire system. The reliability of systems like this is a vital concern, and using the # of # assumption allows one to represent the probabilities of failure in a simple manner. For example, if each process has a probability # of being faulty, and processes fail ....
J. H. Wensley, M. W. Green, K. N. Levitt, and R. E. Shostak. SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control. In 2nd IEEE International Conference on Software Engineering, pages 458--469, 1976.
Replication Management Using the State Machine Approach - Schneider (1993) (55 citations) (Correct)
.... failures in [Lamport 84] These various state machine implementations were first characterized using the Agreement and Order requirements and a stability test in [Schneider 85] The state machine approach has been used in the design of significant fault tolerant process control applications [Wensley et al. 78] It has also been used in the design of distributed synchronization including read write locks and distributed semaphores [Schneider 80] input output guards for CSP and conditional Ada SELECT statements [Schneider 82] and in the design of a failstop processor approximation using processors ....
Wensley, J., et al. SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control. Proc. IEEE 66, 10 (Oct. 1978), 1240-1255. -30-
Fail-Stop Processors: An Approach to Designing.. - Schlichting, Schneider (1983) (157 citations) (Correct)
....of implementing fail stop processors is established by this argument, the practicality is not. However, recent work in the implementation of highly reliable processors gives reason to believe that it is indeed practical to implement fail stop processor approximations. Both FTMP [10] and SIFT [26] could be configured to behave like a collection of fail stop processor approximations; both employ replicated processor and memory units. Redundancy can also be introduced at lower levels in a variety of ways [1, 25] The level at which redundancy is applied is an important issue and is treated ....
WENSLEY, J., WENSKY, J. H., LAMPORT, L., GOLDEER(, J., GREEN, M., LEVITT, K. N., MELLIARSMITH, P.M., SOSTAK, R. E., AD WSOC, C.B. SIFT: Design and analysis of a fault- tolerant computer for aircraft control. Proc. IEEE 66, 10 (Oct.
Design and Implementation of a Pluggable Fault Tolerant.. - Zhao, Melliar-Smith (2004) (1 citation) Self-citation (Melliar-smith) (Correct)
No context found.
J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. N. Levitt, P. M. Melliar-Smith, R. E. Shostak, and C. B. Weinstock. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240--1255, 1978.
Eternal: Fault Tolerance and Live Upgrades for.. - Moser.. (2000) (2 citations) Self-citation (Melliar-smith) (Correct)
No context found.
J. Wensley, P. M. Melliar-Smith, et al, "SIFT: Design and analysis of a fault-tolerant computer for aircraft control," Proceedings of the IEEE, vol. 66, no. 10 (October 1978), pp. 1240-1255.
A Fault Tolerance Framework for CORBA - Moser, Melliar-Smith, Narasimhan (1999) (18 citations) Self-citation (Melliar-smith) (Correct)
No context found.
J. Wensley, P. M. Melliar-Smith, et al, "SIFT: Design and analysis of a fault-tolerant computer for aircraft control," Proceedings of the IEEE, vol. 66, no. 10 (October 1978), 1240-1255.
Byzantine Fault Tolerance on General Hybrid Adversary Structures - Kursawe, Freiling (2005) (1 citation) (Correct)
No context found.
J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. N. Levitt, P. M. Melliar-Smith, R. E. Shostak, and C. B. Weinstock. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240--1255, Oct. 1978.
Byzantine Fault Tolerance on General Hybrid Adversary Structures - Kursawe, Freiling (2005) (1 citation) (Correct)
No context found.
J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. N. Levitt, P. M. Melliar-Smith, R. E. Shostak, and C. B. Weinstock. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240--1255, Oct. 1978.
Lower Bounds for Asynchronous Consensus - Lamport (2004) (3 citations) (Correct)
No context found.
J. Wensley et al. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240--1254, October
ATwo Tier Approach To Building Dependable Middleware - Services Ezhilchelvan And (Correct)
No context found.
J H Wensley et. al., "SIFT: Design and Analysis of a Fault-Tolerant Computer for AirTraffic Control", Proceedings of the IEEE, 66(10), pp. 1240-55, Oct. 1978.
Byzantine Fault Tolerance, from Theory to Reality - Driscoll, Hall, Sivencrona.. (2003) (Correct)
No context found.
Wensly, J. H., Lamport, L., Goldberg, J., Levitt, K. N., Melliar-Smith, P. M., Shostak, R. E., Weinstock, C. B.: SIFT : Design and Analysis of fault tolerant computer control for aircraft. In: Proceedings of IEEE 66(10):1240--1255 (1978)
Dynamically Reconfigurable Architecture for a Class of Real-Time.. - Ohkami (1992) (Correct)
No context found.
J. H. Wensley, L. Lamport, J. Goldberg, M. W. Green, K. N. Levitt, P. M. MelliarSmith, R. E. Shostak, C. B. Weinstock, "SIFT: Design and Analysis of a FaultTolerant Computer for Aircraft Control," Proceedings of the IEEE, Vol.66, No.11, November 1978, pp.1240--1255.
Synchronous Consensus for Dependent Process Failures - Flavio Junqueira Flavio (2003) (2 citations) (Correct)
No context found.
J. Wensley, \SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control," in Proceedings of the IEEE, vol. 66, pp. 1240-1255, October 1978.
PSOS Revisited - Neumann, Feiertag (2003) (1 citation) (Correct)
No context found.
J.H. Wensley et al. SIFT design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240--1255, October 1978.
Consensus for Dependent Process Failures - Junqueira, Marzullo (2002) (Correct)
No context found.
J. Wensley, \SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control," in Proceedings of the IEEE, vol. 66, pp. 1240-1255, October 1978.
Practical Impact of Group Communication Theory - Schiper (2003) (1 citation) (Correct)
No context found.
45 J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shotak, and C.B. Weinstock. SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control. Proc. IEEE, 66(10):1240--1255, 1978.
Submission to DSN-2002 -- Main Track: Dependable Computing .. - Coping With Dependent (2001) (Correct)
No context found.
J. Wensley, "SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control," in Proceedings of the IEEE, vol. 66, pp. 1240--1255, October 1978.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
J.H. Wensley et al. SIFT design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240-1255, October 1978.
The XBW Model for Dependable Real-Time Systems - Vilgot Claesson Chalmers (1998) (1 citation) (Correct)
No context found.
J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostack and C.B. Weinstock. "SIFT: The Design and Analysis of a FaultTolerant Computer for Aircraft Control". In Proceedings of the IEEE. Vol. 66, Nr. 10, Oct. 1978, pages 1240--1255.
Byzantine Failures and Security: Arbitrary is not (always) Random - Gärtner, al. (2003) (Correct)
No context found.
Wensley, J. H., Lamport, L., Goldberg, J., Green, M. W., Levitt, K. N., Melliar-Smith, P. M., Shostak, R. E., und Weinstock, C. B.: SIFT: Design and analysis of a faulttolerant computer for aircraft control. Proc. IEEE. 66(10):1240--1255. Oct. 1978.
Tight Bounds for k-Set Agreement - Chaudhuri, Herlihy, Lynch, Tuttle (1998) (6 citations) (Correct)
No context found.
J. H. Wensley et al. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240--1255, October
BASEMENT: An Architecture and Methodology for.. - Hansson, Lawson.. (1997) (5 citations) (Correct)
No context found.
J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Meliar-Smith, R.E. Shostak, and C.B. Weinstock, "SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control, " Proc. IEEE, vol. 66, no. 10, pp. 1,240-1,255, Oct. 1978.
First 50 documents Next 50
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