{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:25Z","timestamp":1725455905353},"publisher-location":"Berlin\/Heidelberg","reference-count":36,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057767X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0020035","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:23:23Z","timestamp":1132712603000},"page":"199-217","source":"Crossref","is-referenced-by-count":12,"title":["Distributed fault tolerance \u2014 Lessons learnt from Delta-4"],"prefix":"10.1007","author":[{"given":"David","family":"Powell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1109\/24.58723","volume":"39","author":"J. Arlat","year":"1990","unstructured":"J. Arlat, M. Aguera, Y. Crouzet, J. Fabre, E. Martins, D. Powell: Experimental Evaluation of the Fault Tolerance of an Atomic Multicast Protocol. IEEE Trans. Reliability, 39, 455\u2013467, 1990.","journal-title":"IEEE Trans. Reliability"},{"key":"18_CR2","unstructured":"J. Arlat, Y. Crouzet, E. Martins, D. Powell: Dependability Testing Report LA3 \u2014 Fault-Injection on the Extended Self-Checking NAC. LAAS-CNRS, Report, N\u221891396, December 1991."},{"key":"18_CR3","first-page":"481","volume-title":"The Delta-4 Extra Performance Architecture (XPA)","author":"P. A. Barrett","year":"1990","unstructured":"P. A. Barrett, A. M. Hilborne, P. G. Bond, D. T. Seaton, P. Ver\u00edssimo, L. Rodrigues, N. A. Speirs: The Delta-4 Extra Performance Architecture (XPA). Proc. 20th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-20) (Newcastle upon Tyne, UK). IEEE Computer Society Press, 1990, pp. 481\u2013488."},{"key":"18_CR4","series-title":"Dependable Computing and Fault-Tolerant Systems (1)","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-7091-8871-2_3","volume-title":"The Evolution of Fault-Tolerant Systems","author":"J. Bartlett","year":"1987","unstructured":"J. Bartlett, J. Gray, B. Horst: Fault Tolerance in Tandem Computer Systems. In: A. Avizienis, H. Kopetz, J.-C. Laprie (eds.): The Evolution of Fault-Tolerant Systems. Dependable Computing and Fault-Tolerant Systems (1). Vienna: Springer-Verlag, 1987, pp. 55\u201376."},{"key":"18_CR5","first-page":"125","volume-title":"Delta-4: a Generic Architecture for Dependable Distributed Computing","author":"D. Benson","year":"1991","unstructured":"D. Benson, B. Gilmore, D. Seaton: Delta-4 Application Support Environment. In: D. Powell (ed.): Delta-4: a Generic Architecture for Dependable Distributed Computing. Berlin, Germany: Springer Verlag, 1991, pp. 125\u2013163."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/7351.7478","volume":"5","author":"K. P. Birman","year":"1987","unstructured":"K. P. Birman, T. A. Joseph: Reliable Communication in the Presence of Failures. ACM Trans. Computer Systems, 5, 47\u201376, 1987.","journal-title":"ACM Trans. Computer Systems"},{"key":"18_CR7","first-page":"319","volume-title":"Distributed Systems","author":"K. P. Birman","year":"1989","unstructured":"K. P. Birman, T. A. Joseph: Exploiting Replication in Distributed Systems. In: S. Mullender (ed.): Distributed Systems. New York: ACM Press, 1989, pp. 319\u2013367."},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/128738.128742","volume":"9","author":"K. P. Birman","year":"1991","unstructured":"K. P. Birman, A. Schiper, P. Stephenson: Lightweight Causal and Atomic Group Multicast. ACM Trans. Computer Systems, 9, 272\u2013314, 1991.","journal-title":"ACM Trans. Computer Systems"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"A. Borg, J. Baumbach, S. Glazer: A Message System supporting Fault Tolerance. Proc. 9th Symp. on Operating System Principles. ACM, 1983, pp. 90\u201399.","DOI":"10.1145\/800217.806617"},{"key":"18_CR10","first-page":"3","volume-title":"N-Version-Programming: A Fault-Tolerance Approach to Reliability of Software Operation","author":"L. Chen","year":"1978","unstructured":"L. Chen, A. Avizienis: N-Version-Programming: A Fault-Tolerance Approach to Reliability of Software Operation. Proc. 8th Int. Symp. on Fault-Tolerant Computing (FTCS-8) (Toulouse, France). IEEE Computer Society Press, 1978, pp. 3\u20139."},{"key":"18_CR11","series-title":"Research Reports ESPRIT","first-page":"165","volume-title":"Delta-4: a Generic Architecture for Dependable Distributed Computing","author":"M. Ch\u00e9r\u00e8que","year":"1991","unstructured":"M. Ch\u00e9r\u00e8que, G. Bonn, U. B\u00fcgel, F. Kaiser, T. Usl\u00e4nder: Open System Architecture (OSA). In: D. Powell (ed.): Delta-4: a Generic Architecture for Dependable Distributed Computing. Research Reports ESPRIT. Berlin, Germany: Springer-Verlag, 1991, pp. 165\u2013210."},{"key":"18_CR12","first-page":"28","volume-title":"Active Replication in Delta-4","author":"M. Ch\u00e9r\u00e8que","year":"1992","unstructured":"M. Ch\u00e9r\u00e8que, D. Powell, P. Reynier, J.-L. Richier, J. Voiron: Active Replication in Delta-4. Proc. 22nd Int. Conf. on Fault-Tolerant Computing Systems (FTCS-22) (Boston, MA, USA). IEEE Computer Society Press, 1992, pp. 28\u201337."},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/12485.12490","volume":"20","author":"E. C. Cooper","year":"1984","unstructured":"E. C. Cooper: Replicated Procedure Call. ACM Op. Sys. Review, 20, 44\u201356, 1984.","journal-title":"ACM Op. Sys. Review"},{"key":"18_CR14","first-page":"200","volume-title":"Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement","author":"F. Cristian","year":"1985","unstructured":"F. Cristian, H. Aghali, R. Strong, D. Dolev: Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement. Proc. 15th Int. Symp. on Fault-Tolerant Computing (FTCS-15) (Ann Arbor, MI, USA). IEEE Computer Society Press, 1985, pp. 200\u2013206."},{"key":"18_CR15","first-page":"6","volume-title":"Fault-Tolerance in the Advanced Automation System","author":"F. Cristian","year":"1990","unstructured":"F. Cristian, B. Dancey, J. Dehn: Fault-Tolerance in the Advanced Automation System. Proc. 20th Int. Symp. on Fault-Tolerant Computing (FTCS-20) (Newcastle upon Tyne, UK). IEEE Computer Society Press, 1990, pp. 6\u201317."},{"key":"18_CR16","unstructured":"Delta-4: Process Replication \u2014 The Object Manager Entity (OME). System Administration, Implementation Guide\/ Delta-4 Document, N\u2218I90.082\/I3\/P, December 1992."},{"key":"18_CR17","series-title":"Lecture Notes on Computer Science (448)","first-page":"1","volume-title":"Fault-Tolerant Distributed Computing","author":"M. Fischer","year":"1990","unstructured":"M. Fischer: A Theoretician's View of Fault Tolerant Distributed Computing. In: B. Simons, A. Spector (eds.): Fault-Tolerant Distributed Computing. Lecture Notes on Computer Science (448). Berlin: Springer-Verlag, 1990, pp. 1\u20139."},{"key":"18_CR18","first-page":"3","volume-title":"Why do Computers Stop and What can be done about it?","author":"J. Gray","year":"1986","unstructured":"J. Gray: Why do Computers Stop and What can be done about it? Proc. 5th Symp. on Reliability in Distributed Software and Database Systems (Los Angeles, CA, USA). IEEE Computer Society Press, 1986, pp. 3\u201312."},{"key":"18_CR19","first-page":"371","volume-title":"Delta-4: a Generic Architecture for Dependable Distributed Computing","author":"K. Kanoun","year":"1991","unstructured":"K. Kanoun, J. Arlat, L. Burrill, Y. Crouzet, S. Graf, E. Martins, A. MacInnes, D. Powell, J.-L. Richier, J. Voiron: Validation. In: D. Powell (ed.): Delta-4: a Generic Architecture for Dependable Distributed Computing. Berlin, Germany: Springer Verlag, 1991, pp. 371\u2013406."},{"key":"18_CR20","first-page":"130","volume-title":"Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture","author":"K. Kanoun","year":"1991","unstructured":"K. Kanoun, D. Powell: Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture. Proc. 10th Symp. on Reliable Distributed Systems (SRDS-10) (Pisa, Italy). IEEE Computer Society Press, 1991, pp. 130\u2013141."},{"key":"18_CR21","series-title":"Dependable Computing and Fault-Tolerance (5)","volume-title":"Dependability: Basic Concepts and Terminology","year":"1992","unstructured":"J.-C. Laprie (ed.): Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerance (5). Vienna, Austria: Springer-Verlag, 1992."},{"key":"18_CR22","first-page":"20","volume-title":"Faults, Symptoms and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System","author":"I. Lee","year":"1993","unstructured":"I. Lee, R. K. Iyer: Faults, Symptoms and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System. Proc. 23rd Int. Conf. on Fault-Tolerant Computing (FTCS-23) (Toulouse, France). IEEE Computer Society Press, 1993, pp. 20\u201329."},{"key":"18_CR23","volume-title":"Dependable Computing and Fault-Tolerant Systems (3)","author":"P. A. Lee","year":"1990","unstructured":"P. A. Lee, T. Anderson: Fault Tolerance \u2014 Principles and Practice. Dependable Computing and Fault-Tolerant Systems (3). Springer-Verlag, Vienna, Austria, 1990."},{"key":"18_CR24","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1109\/TC.1982.1676059","volume":"C-31","author":"P. M. Melliar-Smith","year":"1982","unstructured":"P. M. Melliar-Smith, R. L. Schwartz: Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerance Flight Control System. IEEE Trans. Computers, C-31, 616\u2013630, 1982.","journal-title":"IEEE Trans. Computers"},{"volume-title":"Distributed Systems","year":"1989","key":"18_CR25","unstructured":"S. Mullender (ed.): Distributed Systems. New York: ACM Press, Addison-Wesley, 1989."},{"key":"18_CR26","series-title":"Research Reports ESPRIT","volume-title":"Delta-4: a Generic Architecture for Dependable Distributed Computing","year":"1991","unstructured":"D. Powell (ed.): Delta-4: a Generic Architecture for Dependable Distributed Computing. Research Reports ESPRIT. Berlin, Germany: Springer-Verlag, 1991."},{"key":"18_CR27","first-page":"386","volume-title":"Failure Mode Assumptions and Assumption Coverage","author":"D. Powell","year":"1992","unstructured":"D. Powell: Failure Mode Assumptions and Assumption Coverage. Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22) (Boston, MA, USA). IEEE Computer Society Press, 1992, pp. 386\u2013395."},{"key":"18_CR28","first-page":"246","volume-title":"The Delta-4 Approach to Dependability in Open Distributed Computing Systems","author":"D. Powell","year":"1988","unstructured":"D. Powell, G. Bonn, D. Seaton, P. Ver\u00edssimo, F. Waeselynck: The Delta-4 Approach to Dependability in Open Distributed Computing Systems. Proc. 18th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-18) (Tokyo, Japan). IEEE Computer Society Press, 1988, pp. 246\u2013251."},{"key":"18_CR29","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"B. Randell: System Structure for Software Fault Tolerance. IEEE Trans. Software Engineering, SE-1, 220\u2013232, 1975.","journal-title":"IEEE Trans. Software Engineering"},{"key":"18_CR30","first-page":"112","volume-title":"xAMp: a Multi-Primitive Group Communications Service","author":"L. Rodrigues","year":"1992","unstructured":"L. Rodrigues, P. Ver\u00edssimo: xAMp: a Multi-Primitive Group Communications Service. Proc. 11th Symp. on Reliable Distributed Systems (SRDS-11) (Houston, TX, USA). IEEE Computer Society Press, 1992, pp. 112\u2013121."},{"key":"18_CR31","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1145\/98163.98167","volume":"22","author":"F. B. Schneider","year":"1990","unstructured":"F. B. Schneider: Implementing Fault Tolerant Services using the State Machine Approach: a Tutorial. ACM Comp. Surveys, 22, 229\u2013319, 1990.","journal-title":"ACM Comp. Surveys"},{"key":"18_CR32","first-page":"184","volume-title":"Using Passive Replicates in Delta-4 to provide Dependable Distributed Computing","author":"N. A. Speirs","year":"1989","unstructured":"N. A. Speirs, P. A. Barrett: Using Passive Replicates in Delta-4 to provide Dependable Distributed Computing. Proc. 19th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-19) (Chicago, MI, U.S.A). IEEE Computer Society Press, 1989, pp. 184\u2013190."},{"key":"18_CR33","first-page":"269","volume-title":"Reliable Multicast between Microkernels","author":"R. Renesse van","year":"1992","unstructured":"R. van Renesse, K. P. Birman, R. Cooper, B. Glade, P. Stephenson: Reliable Multicast between Microkernels. Proc. Workshop on Microkernels and Other Kernel Architectures (Seattle, WA, USA). USENIX Assocation, 1992, pp. 269\u2013283."},{"key":"18_CR34","first-page":"453","volume-title":"Proc. 13th Local Computer Network Conf.","author":"P. Ver\u00edssimo","year":"1988","unstructured":"P. Ver\u00edssimo: Redundant Media Mechanisms for Dependable Communication in Token-Bus LANs. Proc. 13th Local Computer Network Conf. (Minneapolis, MN, USA). IEEE Computer Society Press, 1988, pp. 453\u2013462."},{"key":"18_CR35","series-title":"Research Reports ESPRIT","first-page":"211","volume-title":"Delta-4: a Generic Architecture for Dependable Distributed Computing","author":"P. Ver\u00edssimo","year":"1991","unstructured":"P. Ver\u00edssimo, P. Barrett, P. Bond, A. Hilborne, L. Rodrigues, D. Seaton: Extra Performance Architecture (XPA). In: D. Powell (ed.): Delta-4: a Generic Architecture for Dependable Distributed Computing. Research Reports ESPRIT. Berlin, Germany: Springer-Verlag, 1991, pp. 211\u2013266."},{"key":"18_CR36","series-title":"Research Reports ESPRIT","first-page":"267","volume-title":"Delta-4: a Generic Architecture for Dependable Distributed Computing","author":"P. Ver\u00edssimo","year":"1991","unstructured":"P. Ver\u00edssimo, L. Rodrigues, J. Ruffino: The Atomic Multicast Protocol (AMp). In: D. Powell (ed.): Delta-4: a Generic Architecture for Dependable Distributed Computing. Research Reports ESPRIT. Berlin, Germany: Springer-Verlag, 1991, pp. 267\u2013294."}],"container-title":["Lecture Notes in Computer Science","Hardware and Software Architectures for Fault Tolerance"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020035.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:44:01Z","timestamp":1607532241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057767X"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/bfb0020035","relation":{},"subject":[]}}