Intelligent Transportation System (ITS) is an advanced subject. In order to fully realize the function and real-time, dynamic management of ITS, Dedicated Short Range Communication (DSRC for Short Range) protocol, which has been applicable to the domain of ITS, had been word-widely developed. DSRC protocol is the core and base of DSRC technology. It specifies the rules used for On-board Unit associating and communicating with Road-side Unit. Currently there is no unified DSRC standard, but Europe, America, and Japan have developed their own standards (draft).This thesis compares the DSRC standard of other countries, and discusses the main contents of DSRC in our nation, including its architecture, functions of each layer, service access interface, and main communication processes. With the help of SDL Editor in Telelogic Tau, the protocol is described formally in SDL and MSC. Then on the base of the SDL specification, the system of DSRC is simulated and verified. Some shortcomings of the verified DSRC protocol are found and modified to improve the protocol integrity and reliability. |