Fail-awareness: An approach to construct fail-safe applications

Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997

Volumn , Issue , 1997, Pages 282-291

  Fetzer, Christof ^a   Cristian, Flaviu ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE;

ASYNCHRONOUS DISTRIBUTED SYSTEM; COMMUNICATION FACILITIES; FAIL SAFES; HARD REAL TIME APPLICATIONS; LOCAL HARDWARE; MESSAGE TRANSMISSIONS; SERVICES AND APPLICATIONS; UPPER BOUND;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 77957964515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1997.614101     Document Type: Conference Paper

References (20)

1. F. Cristian, B. Dancey, and J. Dehn. Fault-tolerance in air traffic control systems. ACM Transactions on Computers, 14(3):265-286, Aug 1996.
2. F. Cristian and C. Fetzer. The timed asynchronous system model. Technical Report CS97-519, UCSD, Jan 1997.
3. D. Dolev and D. Malki. The transis approach to high availability cluster communication. Communications of the ACM, 39(4):64-70, Apr 1996.
4. C. Fetzer and F. Cristian. Derivation of fail-aware membership service specifications. Technical Report CS96-502, UCSD, Nov 1996.
5. C. Fetzer and F. Cristian. A fail-aware membership service. Technical Report CS96-503, UCSD, Nov 1996.
6. C. Fetzer and F. Cristian. Fail-awareness in timed asynchronous systems. In Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, pages 314-321a, Philadelphia, May 1996.
7. C. Fetzer and F. Cristian. A fail-aware datagram service. In Proceedings of the 2nd Annual Workshop on Fault-Tolerant Parallel and Distributed Systems, Geneva, Switzerland, Apr 1997.
8. C. Fetzer and F. Cristian. Fortress: A system to support fail-aware real-time applications. Technical Report CS97-520, UCSD, Jan 1997.
9. C. Fetzer and F. Cristian. A highly available local leader service. In Proceedings of the Sixth IFIP International Working Conference on Dependable Computing for Critical Applications, Grainau, Germany, Mar 1997.
10. C. G. Gray and D. R. Cheriton. Leases: An efficient fault-tolerant mechanism for distributed file cache consistency. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, pages 202-210, Dec 1989.
11. H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Schwabl, C. Senft, and R. Zainlinger. Distributed fault-tolerant real-time systems: The Mars approach. IEEE Micro, pages 25-40, Feb 1989.
12. H. Kopetz and G. Grunsteidl. Ttp-a protocol for fault-tolerant real-time systems. IEEE Computer, pages 14-23, Jan 1994.
13. H. Kopetz and P. Verissimo. Real time and dependability concepts. In S. Mullender, editor, Distributed Systems, Second Edition, chapter 16, pages 411-446. Addison-Wesley, New York, 1993.
14. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of ACM, 21(7):558-565, Jul 1978.
15. L. Moser, P. Melliar-Smith, D. Agarwal, R. Budhia, and C. Lingley-Papadopoulos. Totem: A fault-tolerant multicast group communication system. Communications of the ACM, 39(4):54-63, Apr 1996.
16. D. Powell. Failure mode assumptions and assumption coverage. In Proceedings of the 22nd International Symposium on Fault-Tolerant Computing Systems, pages 386-395, 1992.
17. D. Stewart and P. Khosla. Mechanisms for detecting and handling timing errors. Communications of the ACM, 40(l):87-93, Jan. 1997.
18. P. Verissimo. Real-time communication. In S. Mullender, editor, Distributed Systems, Second Edition, chapter 17, pages 447-490. Addison-Wesley, New York, 1993.
19. P. Verissimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. IEEE TCOS Bulletin, 7(4), Dec 1995.
20. P. Verissimo, P. Bond, A. Hilborne, L. Rodrigues, and D. Seaton. The extra performance architecture (xpa). In D. Powell, editor, Delta-4 - A Generic Architecture for Dependable Distributed Computing. Springer Verlag, Berlin, 1991.