loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Australasian Computer Science Conference (ACSC '01)
Proving "no Cliques" in a Protocol
Gold Coast, Queensland, Australia
January 29-February 02
ISBN: 0-7695-0963-0
Agathe Merceron, University of Sydney
The actual trend in the transport industry is to have electronic system without mechanical back-up, so-called "by-Wire" systems. Micro-computer control steering, brakes, power train etc... Robust protocols are needed to make these micro-computer communicate. They hould be fault-tolerant and yet not let the micro-computer split into disjoint communicating subsets. TTP is a time-triggered protocol that has been proposed for the automotive industry. In this paper we investigate the clique avoidance mechanism of TTP/C, the last version of TTP, and prove that it is effective, even maybe too strong.
Citation:
Agathe Merceron, "Proving "no Cliques" in a Protocol," acsc, pp.134, Australasian Computer Science Conference (ACSC '01), 2001
Usage of this product signifies your acceptance of the Terms of Use.