Journal of South China University of Technology (Natural Science Edition) ›› 2005, Vol. 33 ›› Issue (3): 63-68.

Previous Articles     Next Articles

Protocol Verification of ITS Dedicated Short-Range Comm unication

Tu Yu  Xu Jian-min  Zhong Hui-ling   

  1. College of Traffic and Communications,South China Uni.of Tech.,Guangzhou 510640,Guangdong,China
  • Received:2004-02-23 Online:2005-03-25 Published:2005-03-25
  • Contact: Tu Yu (born in 1974)，male，lecturer，Ph．D．，now works at Faculty of Construction，Guangdong Uni—versity of Technology，mainly researches on intelligent con—tro1 E-mail:tuyu@ edu.21 cn.com
  • About author:Tu Yu (born in 1974)，male，lecturer，Ph．D．，now works at Faculty of Construction，Guangdong Uni—versity of Technology，mainly researches on intelligent con—tro1
  • Supported by:

    Suppo rted by “the Tenth 5-Year” of Na-tional Key Technologies R&D Program(2002BA404A23A)

PDF

295

Abstract:

Aiming at the complexity of DSRC(Dedicated Short-Range Communication)protocol,the fuzziness and ambiguousness resulted from the natural langu age of the protocol.the protocol engineering method is adop-ted to guarantee the integrality,correctness,security,portability and standardization of the protocol, The SDL (Specification and Description Language)is chosen to get the formal description of the protocol,On this basis,the corresponding verification procedure and realization method are proposed, which are then used to validate the protocol SDL model.Th e results demonstrate that the proposed protocol is logically corect.

Key words: Intelligent Transpo rtation System, Dedicated Short-Range Communication, protocol verification