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

Real-Time Systems

Volumn 24, Issue 2, 2003, Pages 203-238

  Fetzer, Christof ^a   Cristian, Flaviu ^b  

^a AT AND T LABS RESEARCH   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Fail awareness; Fail safe systems; Synchronous systems; Timed asynchronous systems

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; FAILURE ANALYSIS;

FAIL-SAFE SYSTEMS;

REAL TIME SYSTEMS;

EID: 0037368283     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1021730519625     Document Type: Article

References (25)

1. Cristian, F. 1989. Probabilistic clock synchronization. Distributed Computing 3: 146-158.
2. Cristian, F. 1991a. Reaching agreement on processor-group membership in synchronous distributed systems. Distributed Computing 4:175-187.
3. Cristian, F. 1991b. Understanding fault-tolerant distributed systems. Communications of ACM 34(2): 56-78.
4. Cristian, F., Dancey, B., and Dehn, J. 1996. Fault-tolerance in air traffic control systems. ACM Transactions on Computers 14(3): 265-286.
5. Cristian, F., and Fetzer, C. 1999. The timed asynchronous distributed system model. IEEE Transactions on Parallel and Distributed Systems, pp. 642-657.
6. Cristian, F., and Schmuck, F. 1995. Agreeing on processor-group membership in asynchronous distributed systems. Technical Report CSE95-428, Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA.
7. Dolev, D., and Malki, D. 1996. The transis approach to high availability cluster communication. Communications of the ACM 39(4): 64-70.
8. Essame, D., Arlat, J., and Powell, D. 1999. Padre: A protocol for asymmetric duplex redundancy. In Proceedings of the Seventh IFIP International Working Conference on Dependable Computing for Critical Applications, San Jose, USA, January.
9. Fetzer, C., and Cristian, F. 1996. Fail-awareness in timed asynchronous systems, in Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, pp. 314-321a. Philadelphia, May, http://www.christof.org/FA.
10. Fetzer, C., and Cristian, F. 1997a. A fail-aware membership service. In Proceedings of the 16th Symposium on Reliable Distributed Systems, pp. 157-164, October, http://www.christof.org/FAMS.
11. Fetzer, C., and Cristian, F. 1997b. Fortress: A system to support fail-aware real-time applications. In IEEE Workshop on Middleware for Distributed Real-Time Systems and Services, San Francisco, December, http:#www.christof.org/FORTRESS.
12. Fetzer, C., and Cristian, F. 1998. Derivation of fail-aware membership service specifications. In Proceedings of the 3rd Annual Workshop on Fault-Tolerant Parallel and Distributed Systems, Orlando, Florida, April http://www.christof.org/DFAMS.
13. Fetzer, C., and Cristian, F. 1999a. A fail-aware datagram service, IEE Proceedings-Software Engineering, pp. 58-74. April.
14. Fetzer, C., and Cristian, F. 1999b. A highly available local leader service. IEEE Transactions on Software Engineering, pp. 603-618, September-October.
15. Gray, C. G., and Cheriton, D. R. 1989. Leases: An efficient fault-tolerant mechanism for distributed file cache consistency. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, pp. 202-210, December.
16. Kopetz, H., Datum, A., Koza, C., Mulazzani, M., Schwabl, W., Senft, C., and Zainlinger, R. 1989. Distributed fault-tolerant real-time systems: The Mars approach. IEEE Micro, pp. 25-40, February.
17. Kopetz, H., and Grunsteidl, G. 1994. TTP-a protocol for fault-tolerant real-time systems. IEEE Computer, pp. 14-23, January.
18. Kopetz, H., and Verissimo, P. 1993. Real time and dependability concepts. In S. Mullender, editor, Distributed Systems, 2nd edn. New York: Addison-Wesley, pp. 411-446.
19. Lamport, L. 1978. Time, clocks, and the ordering of events in a distributed system. Communications of ACM 21(7): 558-565.
20. Moser, L., Melliar-Smith, P., Agarwal, D., Budhia, R., and Lingley-Papadopoulos, C. 1996. Totem: A fault-tolerant multicast group communication system. Communications of the ACM 39(4): 54-63.
21. Powell, D. 1992. Failure mode assumptions and assumption coverage. In Proceedings of the 22nd International Symposium on Fault-Tolerant Computing Systems, pp. 386-395.
22. Stewart, D., and Khosla, P. 1997. Mechanisms for detecting and handling timing errors. Communications of the ACM 40(1): 87-93.
23. Verissimo, P. 1993. Real-time communication. In S. Mullender, editor, Distributed Systems, 2nd edn., New York: Addison-Wesley, pp. 447-490.
24. Verissimo, P., and Almeida, C. 1995. Quasi-Synchronism: a step away from the traditional fault-tolerant real-time system models. IEEE TCOS Bulletin 7(4).
25. Verissimo, P., Bond, P., Hilborne, A., Rodrigues, L., and Seaton, D. 1991. The extra performance architecture (xpa). In D. Powell, editor, Delta-4-A Generic Architecture for Dependable Distributed Computing. Berlin: Springer Verlag.