Combination of clock-state and clock-rate correction in fault-tolerant distributed systems

Real-Time Systems

Volumn 33, Issue 1-3, 2006, Pages 139-173

  Kopetz, Hermann ^a   Ademaj, Astrit ^a   Hanzlik, Alexander ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Clock synchronization; Fault tolerant time base; Global time; Rate adaptation; Real time system

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; ELECTRIC CLOCKS; FAULT TOLERANT COMPUTER SYSTEMS; REAL TIME SYSTEMS; SYNCHRONIZATION;

CLOCK SYNCHRONIZATION; FAULT-TOLERANT TIME BASE; GLOBAL TIME; RATE ADAPTATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33746888222     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-006-6885-9     Document Type: Article

References (42)

1. Ademaj A (2002) Slightly-Off-Specification failures in the time-triggered architecture. In Proceesdings of the 7th Anual IEEE international workshop on high level design validation and test, Cannes, France
2. Anceaume E and Puaut I(1998) Performance evaluation of clock synchronization algorithms. Technical report 3526, Institut de Recherche en Informatique et Systèmes Aléatoires.
3. Anceaume E, Puaut I (1997) A Taxonomy of Clock Synchronization Algorithms, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Research Report 1103, Available at: http://citeseer.ist.psu.edu/anceaume97taxonomy.html
4. Barak B, Halevi S, Herzberg A, Naor D (2000) Clock synchronization with faults and recoveries. Symposium on Principles of Distributed Computing, p.133-142.
5. Belschner R, Berwanger J, Ebner C, Führer T, Hartwitsch F et al. FlexRay Requirements Specification Version 2.1. Available at: http://www.flexray-group.com/.
6. Cristian F, Aghili H, Strong R (1994) Clock synchronization in the presence of omission and performance failures, and processor joins. Zhonghua Yang and T. Anthony Marsland (eds), Global States and Time in Distributed Systems, IEEE Computer Society Press.
7. Cristian F, Fetzer C (1985) Fault-tolerant external clock synchronization. Proceedings of the 15th international conference on distributed computing systems. IEEE, pp. 70-77.
8. Cristian F, Fetzer C (1994) Probabilistic internal clock synchronization. Symposium on Reliable Distributed Systems, 22-31.
9. Dana PH (1997) Global positioning system (GPS) time dissemination for real-time applications. Real-Time Systems Journal 12:9-40.
10. Fetzer C, Cristian F (1995) An optimal internal clock synchronization algorithm, compass 95: 10th Annual Conference on Computer Assurance, National Institute of Standards and Technology, Gaithersburg, Maryland, pp. 187-196
11. Fetzer C, Cristian F (1997) Integrating external and internal clock synchronization. Real-Time Systems, 12(2): 123-171.
12. Führer T, Möller B, Dieterle W, Hartwich F, Hugel R, Walther RB GmbH (2000) Time triggered communication on CAN. Proceedings of 7th International CAN Conference.
13. Halpern J Y, Simons B, Strong R, Dolev D (1984) Fault-tolerant clock synchronization. Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing, pp. 89-102
14. Hanzlik A (2003) SIDERA - a simulation model for the time-triggered architecture. Research Report, Vienna University of Technology, Real-Time Systems Group, Vienna, Austria
15. Kopetz H (1997) Real-time systems, design principles for distributed embedded applications. ISBN: 0-7923-9894-7, Sixth printing 2002., Boston: Kluwer Academic Publishers
16. Kopetz H, Ademaj A, Grillinger P, Steinhammer K (2005) The time-triggered ethernet (TTE) design. 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), Seattle, Washington, 18-20
17. Kopetz H, Bauer G (2003) The time-triggered architecture. Proceedings of the IEEE, Vol. 91, pp 112-126
18. Kopetz H, Krüger A, Millinger D, and Schedl A (1995) A synchronization strategy for a time-triggered multicluster real-time system, in proceedings of the 14th IEEE symposium on reliable distributed systems, Bad Neuenahr, Germany, pp 154-161
19. Lamport L, Melliar Smith PM (1978) Synchronizing clocks in the presence of faults. Journal of the ACM, 32(1): 52-78
20. Lundelius-Welch J, Lynch N (1988) A new fault-tolerant algorithm for clock synchronization. Information and Computation 77(1):136
21. Lamport L, Shostak R, Pease M (1982) The byzantine generals problem, advances in ultra-dependable distributed systems. Suri N, Walter CJ, Hugue MM (eds) In: IEEE computer society press
22. Mahaney SR, Schneider FB (1985) Inexact agreement: accuracy, precision and graceful degradation. 4th acm symposium on principles of distributed computing, Minaki, Canada, pp 237-249
23. Maier M W, Eberhardt R (2002) The art of systems architecting. CRC press, Boca Raton, USA
24. Mills DL (1994) Internet time synchronization: the network time protocol. In: Yang Z, Anthony MT (eds) Global states and time in distributed systems, IEEE Computer Society Press
25. Pauli B, Meyna A, Heitmann P (1998) Reliability of electronic components and control units in motor vehicle applications, Verein Deutcher Ingenieure (VD1) Reports 1415, Electronic Systems for Vehicles, pp. 1009-1024
26. Paulitsch M, Bauer G (2000) External clock synchronization in the TTA. Research Report, Vienna University of Technology, real-Time Systems Group, Vienna, Austria
27. Paulitsch M, Steiner W (2003) Fault-tolerant clock synchronization for embedded distributed multi-cluster systems. In: Proceedings of the 15th euromicro conference on real-time systems. Porto, Portugal.
28. Pease M, Shostak R, Lamport L (1980) Reaching agreement in the presence of faults. Journal of the ACM, 27(2): 228-234
29. Pfeifer H, Schwier D, Henke FW (1999) Formal verification for time-triggered clock synchronization, in dependable computing for critical applications 7. IEEE Press
30. Ramanathan P, Shin KG, Butler RW (1990) Fault-tolerant clock synchronization in distributed systems. IEEE Computer 23(10): 33-42
31. Schedl A (1995). The short-term stability of crystal oscillators: experimental results. Research Report 1/95, real-Time Systems group, Vienna University of Technology, Vienna, Austria
32. Schneider FB (1986) A paradigm for reliable clock synchronization. In Proceedings of advanced seminar real-time local area networks. Bandol, France: INRIA
33. Specification of the TTP/C Protocol. TTTech Computertechnik AG, Schönbrunner Strasse 7, 1040 Vienna, Austria, 1999
34. Schwabl W (1988) The effect of random and systematic errors on clock synchronizatin in distributed systems. Technical University of Vienna, A 1040 Vienna, Treitlstrasse 3/182
35. Schossmaier K, Weiss B (1999) An algorithm for fault-tolerant clock state and rate synchronization. In: Proceedings of the 18th IEEE symposium on reliable distributed systems (SRDS), Lausanne, Switzerland, pp 36-47
36. Schreiber FA (1994) Is time a real time? an overview of time ontology in informatics. In: Halang WA, Stoyenko AD (eds) Real Time Computing, pp 283-307
37. Srikanth TK, Toueg S (1987) Optimal clock synchronization. Journal of the ACM, 34(3): 626-645
38. Schmuck F, Cristian F (1990) continuous clock amortization need not affect the precision of a clock synchronization algorithm. In: Proceedings of the ninth annual ACM symposium on principles of distributed computing, Quebec City, Quebec, Canada, pp 504-511
39. Schedl AV (1996) Design and simulation of clock synchronization in distributed systems. Ph D Thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 1-3/182-1, 1040 Vienna, Austria
40. Schmid U (1995) Synchronized universal time coordinated for distributed real-time systems. Control Engineering Practice 3(6): 877-884
41. Verissimo P, Rodrigues L, Casimiro A (1997) Cesiumspray: a precise and accurate global clock service for large-scale systems. Journal of Real-Time Systems, No. 3, 12(1): 241-294.
42. Kopetz H, Ademaj A, Hanzlik A (2004) Clock-state and clock-rate correction in fault-tolerant distributed systems. The 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal