|
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)
|
|
|