Generic timing fault tolerance using a timely computing base

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 27-36

  Casimiro, António ^a   Veríssimo, Paulo ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL MODELS; REDUNDANCY; TIMING CIRCUITS;

GENERIC TIMING FAULT TOLERANCE; TIMELINESS REQUIREMENTS; TIMELY COMPUTING BASE; TIMING FAILURES;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0036931518     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028883     Document Type: Conference Paper

References (25)

1. C. Almeida and P. Veríssimo. Using light-weight groups to handle timing failures in quasi-synchronous systems. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 430-439, Madrid, Spain, Dec. 1998.
2. K. P. Birman. Replication and fault tolerance in the ISIS system. In Proceedings of the 10th ACM Symposium on Operating Systems Principles, pages 79-89, Dec. 1985.
3. A. Burns. A Framework for Building Real-time Responsive Systems. In Proceedings of the 1st International Workshop on Responsive Computer Systems, pages 6-9, Golfe-Juan, France, Oct. 1991. ONR/INRIA.
4. A. Casimiro, P. Martins, and P. Veríssimo. How to Build a Timely Computing Base using Real-Time Linux. In Proc. of the 2000 IEEE Workshop on Factory Communication Systems, pages 127-134, Porto, Portugal, Sept. 2000.
5. A. Casimiro, P. Martins, P. Veríssimo, and L. Rodrigues. Measuring distributed durations with stable errors. In Proceedings of the 22nd IEEE Real-Time Systems Symposium, pages 310-319, London, UK, Dec. 2001.
6. A. Casimiro and P. Veríssimo. Timing failure detection with a Timely Computing Base. In Proceedings of the European Research Seminar on Advances in Distributed Systems, Madeira Island, Portugal, Apr. 1999.
7. A. Casimiro and P. Veríssimo. Using the Timely Computing Base for dependable QoS adaptation. In Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems, pages 208-217, New Orleans, USA, Oct. 2001.
8. T. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, Mar. 1996.
9. F. Cristian, H. Aghili, R. Strong, and D. Dolev. Atomic broadcast: From simple message diffusion to Byzantine agreement. Information and Computation, 118(1):158-179, Apr. 1995.
10. F. Cristian and C. Fetzer. The timed asynchronous distributed system model. IEEE Transactions on Parallel and Distributed Systems, pages 642-657, June 1999.
11. C. Fetzer and F. Cristian. A fail-aware datagram service. In Proc. of the 2nd Workshop on Fault-Tolerant Parallel and Distributed Systems, Geneva, Switzerland, Apr. 1997.
12. C. Fetzer and F. Cristian. Fail-awareness: An approach to construct fail-safe applications. In Digest of Papers, The 27th Annual International Symposium on Fault-Tolerant Computing, pages 282-291, Seattle, Washington, USA, June 1997.
13. F. Jahanian. Fault tolerance in embedded real-time systems. Lecture Notes in Computer Science, 774:237-249, 1994.
14. H. Kopetz. Real-Time Systems. Kluwer Academic Publishers, 1997.
15. H. Kopetz, R. Zainlinger, G. Fohler, H. Kantz, P. Puschner and W. Schutz. An engineering approach towards hard real-time system design. Lecture Notes in Computer Science, 550:166-188, 1991.
16. S. Krishnamurthy, W. Sanders, and M. Cukier. A dynamic replica selection algorithm for tolerating time faults in a replicated service. In Proceedings of the International Conference on Dependable Systems and Networks, pages 107-116, Goteborg, Sweden, June 2001.
17. S. Krishnamurthy, W. Sanders, and M. Cukier. An adaptive framework for tunable consistency and timeliness using replication. In Proceedings of the International Conference on Dependable Systems and Networks, Washington D.C., USA, June 2002.
18. D. Powell. Failure mode assumptions and assumption coverage. In Digest of Papers, The 22nd Annual International Symposium on Fault-Tolerant Computing, pages 386-395, Boston, USA, July 1992.
19. F. B. Schneider. The state machine approach: A tutorial. In Fault-Tolerant Distributed Computing, Lecture Notes in Computer Science, pages 18-41, 1987.
20. F. Torres-Rojas, M. Ahamad, and M. Raynal. Timed consistency for shared distributed objects. In Proceedings of the 18th Annual ACM Symposium on Principles of Distributed Computing, pages 163-172, Atlanta, Georgia, USA, 1999.
21. P. Veríssimo. Ordering and timeliness requirements of dependable real-time programs. Journal of Real-Time Systems, 7(2):105-128, Sept. 1994.
22. P. Veríssimo and C. Almeida. Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models. Bulletin of the TCOS, 7(4):35-39, Winter 1995.
23. P. Veríssimo and A. Casimiro. The Timely Computing Base model and architecture. Transactions on Computers - Special Issue on Asynchronous Real-Time Systems, 2002, To appear. A preliminary version of this document appeared as Technical Report DI/FCUL TR 99-2, Department of Computer Science, University of Lisboa, Apr 1999.
24. P. Veríssimo, A. Casimiro, and C. Fetzer. The Timely Computing Base: Timely actions in the presence of uncertain timeliness. In Proceedings of the International Conference on Dependable Systems and Networks, pages 533-542, New York, USA, June 2000.
25. P. Veríssimo and L Rodrigues. Distributed Systems for System Architects. Kluwer Academic Publishers, 2001.