Design And Verification Of Data Communication Transmission For ART Based On Vehicle Network

Autonomous rail Rapid Transit(ART),which combines railway characteristics and public bus features,offers a new concept of public transportation.ART applies with plastic rubber tires instead of steel wheels,using virtual lines tracing technology to guide vehicle moving forward、With the absence of physical line tracks to build,ART has its economic benefits and construction term benefits.ART operates under the urban public streets circumstance,it is also more flexible.On the one hand,to remain low construction cost,ART can not use traditional railway communication and data transmission methods;On the other hand,ART runs under urban public street,public traffic flow has its influence on ART operation line.Based on the characteristics of ART,both in its financial benefits and operation circumstance features,this thesis studies on the communication contents of vehicle to vehicle and vehicle to infrastructure,designs and verifies ART data transmission process,builds transmission process model,and improves ART data transmission receiving quality..This thesis designs the QoS requirement of ART based on the vehicle to vehicle network standard.And make improvements of ART data receive scheme based on existing network condition and ART operation characteristcs、Then uses OPNET modeler to build ART data transmission model,simulates improved data receiving scheme and uses QoS ETE delay index to valuate improvements and draw a conclution.The result of simulation implies ETE delay is reduced and data transmission instantaneity is improved.This thesis studies and summarizes vehicle to everything network data transmission pattern and the communication content of the intelligent transportation system for highway applications.After that this paper applies interaction application data design and imformation type design at the business application layer,studies ART data interaction process at the process layer,and proposes an ART transmission data frame format based on vehicle network data frame format at the data link layer.Last part of this thesis selects UPPAAL modeler tool,uses simulation fuction of this tool to build ART data interaction process model and simulates ART’s data transmission process,to specifies procedures of ART data transmission.This thesis uses UPPAAL verification fuction to do formal verification,ensures there are no deadlock in process model and checks the reliability and logical rightness of this process.