Safe deterministic replay for stimulating the clock synchronization algorithm in time-triggered systems

IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS

Volumn , Issue , 2008, Pages 277-286

  Armengaud, Eric ^a,b   Függer, Matthias ^a   Steininger, Andreas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b Kompetenzzentrum Das Virtuelle Fahrzeug Forschungsgesellschaft mbH   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

BUS TRAFFICS; CLOCK SYNCHRONIZATIONS; DISTRIBUTED MECHANISMS; FLEXRAY; FORMAL PROOFS; ONLINE TESTS; SYSTEM OPERATIONS; SYSTEM UNDER TESTS;

COMMUNICATION; COMMUNICATION SYSTEMS; MECHANICAL CLOCKS; TECHNICAL PRESENTATIONS;

CONTROL SYSTEMS;

EID: 52249113191     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WFCS.2008.4638707     Document Type: Conference Paper

References (18)

1. th Euromicro Conference on Real-Time Systems, June 2000, pp. 265-272.
2. N. Navet, Y.-Q. Song, F. Simonot-Lion, and C. Wilwert, "Trends in Automotive Communication Systems", Proceedings of the IEEE, vol. 93, no. 6, pp. 1204-1223, 2005.
3. "Time-Triggered Protocol TTP/C High Level Specification Document Protocol Version 1.1", TTTech, 2003.
4. "FlexRay Communications Systems - Protocol Specification Version 2.1, http://www.flexray.com", FlexRay Consortium, 2005.
5. E. Anceaume and I. Puaut, "Performance Evaluation of Clock Synchronization Algorithms", Technical Report RR-3526, 1998.
6. K. Arvind, "Probabilistic Clock Synchronization in Distributed Systems", IEEE Trans. Parallel Distrib. Syst., vol. 5, no. 5, pp. 474-487, 1994.
7. th ACM symposium on Principles of distributed computing, 1990, pp. 133-143, New York, NY, USA. ACM Press.
8. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, Norwell, MA, USA, 1997.
9. H. Kopetz and W. Ochsenreiter, "Clock Synchronization in Distributed Real-Time Systems", IEEE Transactions on Computers, vol. 36, no. 8, pp. 933-940, 1987.
10. J. Lundelius-Welch and N. Lynch, "A New Fault-Tolerant Algorithm for Clock Synchronization", Information and Computation, vol. 77, no. 1, pp. 1-36, 1988.
11. th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS'05), April 2005, pp. 69-74, Hungary.
12. F. B. Schneider, "Understanding Protocols for Byzantine Clock Synchronization", Technical Report TR 87-859, Dept. of Computer Science, Upson Hall, Ithaca, NY 14853, 1987.
13. th IEEE International Workshop on Factory Communication Systems (WFCS'06), Juni 2006, pp. 13-22.
14. H.-P. Company, "Fundamentals of Quartz Oscillators", in HP Application Note 200-2, 1997.
15. A. Schedl, "The Short-Term Stability of Crystal Oscillators: Experimental Results", in Research Report 1/1995, Technische Universität Wien, Institut für Technische Informatik, Vienna, Austria, Jan. 1995.
16. K. Schossmaier, Interval-based Clock State and Rate Synchronization, PhD thesis, Technische Universität Wien, Faculty of Technical and Natural Sciences, Dept. of Automation, Treitlstr. 3/3/182-1, 1040 Vienna, Austria, 1998.
17. W. Forster and E. Armengaud, "A Novel Interconnection Approach for Globally Asynchronous Locally Synchronous Circuits", in The 15th Austrian Workhop on Microelectronics (Austrochip 2007), Oct. 2007, pp. 107-114, Austria.
18. E. Armengaud and A. Steininger, "Non-Intrusive Remote Oscillator Drift Monitoring for Preventive Maintenance of Time-Triggered Systems", Technical Report RR-62/2007, Treitlstr. 3/3/182-1, 1040 Vienna, Austria (http://vmars.tuwien.ac.at/frame-papers.html), 2007.