Bibliography
 FlexRay
  • FlexRay Consortium: FlexRay Communications System - Protocol Specification, Version 2.1,
    May 2005 (see http://www.flexray.com – Note: You have to register in order to obtain the specification)
 TTA
  • H. Kopetz and G. Grünsteidl: TTP—a protocol for fault-tolerant real-time systems.,
    January 1994, IEEE Computer 27(1), pp. 14–23.
  • J. Rushby: An Overview of Formal Verification For the Time-Triggered Architecture,
    September 2002, LNCS Vol. 2469, pp. 83–3105.
  • A. Neve: Verteilte Echtzeit, term paper, Munich, Januar 2005
    (in German, see www4.in.tum.de/lehre/seminare/hs/WS0405/automotive)
 Verification of Clock Synchronization and Membership
  • D. Schwier and F. von Henke: Mechanical verification of clock synchronization algorithms.
    In Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, September 1998, LNCS Vol. 1486, pp. 262–271
  • H. Pfeifer, D. Schwier, and F. W. von Henke: Formal verification for time-triggered clock synchronization.
    In Dependable Computing for Critical Applications–7,
    Volume 12 of IEEE Computer Society Dependable Computing and Fault Tolerant Systems,
    San Jose, CA, January 1999, pp. 207–226. (see http://www.informatik.uni-ulm.de/ki/pfeifer.html)
  • P. S. Miner: Verification of fault-tolerant clock synchronization systems,
    NASA Technical Paper 3349, NASA Langley Research Center, Hampton, VA, November 1993.
  • H. Pfeifer: Formal Verification of the TTP Group Membership Algorithm,
    Proc. of FORTE/PSTV 2000. Kluwer Academic Publishers, pp. 3-18, October 2000. (see http://www.informatik.uni-ulm.de/ki/pfeifer.html)
  • H. Pfeifer: Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture,
    PhD Thesis, Univ. Ulm, 2003 (see http://www.informatik.uni-ulm.de/ki/pfeifer.html)