TY - GEN
T1 - A communication protocol for a vehicle collision warning system
AU - Zhu, Huang
AU - Singh, Gurdip
PY - 2010
Y1 - 2010
N2 - Advances in wireless communication technologies have enabled vehicles on a highway to communicate in order to share state information and provide drivers with potential collision warnings. This paper proposes a protocol to support such a vehicle collision warning system. By sharing vehicle state information, the protocol is able to predict potential collisions and deliver warning messages to address different emergency scenarios. The protocol is based on the concept of Shortest Safety Distance between vehicles and the Safety Invariant. The protocol provides mechanisms to evaluate potential violations of the safety invariant and propagate warning messages to avoid them in a timely manner. It ensures that warning messages are propagated to all endangered vehicles in an emergency scenario in an efficient manner by keeping the number of messages low. We have simulated the system using the SPIN model checker to show the correctness of the protocol and its effectiveness in eliminating redundant messages.
AB - Advances in wireless communication technologies have enabled vehicles on a highway to communicate in order to share state information and provide drivers with potential collision warnings. This paper proposes a protocol to support such a vehicle collision warning system. By sharing vehicle state information, the protocol is able to predict potential collisions and deliver warning messages to address different emergency scenarios. The protocol is based on the concept of Shortest Safety Distance between vehicles and the Safety Invariant. The protocol provides mechanisms to evaluate potential violations of the safety invariant and propagate warning messages to avoid them in a timely manner. It ensures that warning messages are propagated to all endangered vehicles in an emergency scenario in an efficient manner by keeping the number of messages low. We have simulated the system using the SPIN model checker to show the correctness of the protocol and its effectiveness in eliminating redundant messages.
KW - Communication protocols
KW - Cyber-physical systems
KW - Intelligent transportation
KW - Vehicle collision warning systems
UR - http://www.scopus.com/inward/record.url?scp=79953070939&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79953070939&partnerID=8YFLogxK
U2 - 10.1109/GreenCom-CPSCom.2010.100
DO - 10.1109/GreenCom-CPSCom.2010.100
M3 - Conference contribution
AN - SCOPUS:79953070939
SN - 9780769543314
T3 - Proceedings - 2010 IEEE/ACM International Conference on Green Computing and Communications, GreenCom 2010, 2010 IEEE/ACM International Conference on Cyber, Physical and Social Computing, CPSCom 2010
SP - 636
EP - 644
BT - Proceedings - 2010 IEEE/ACM International Conference on Green Computing and Communications, GreenCom 2010, 2010 IEEE/ACM International Conference on Cyber, Physical and Social Computing, CPSCom 2010
T2 - 2010 IEEE/ACM International Conference on Green Computing and Communications, GreenCom 2010, 2010 IEEE/ACM International Conference on Cyber, Physical and Social Computing, CPSCom 2010
Y2 - 18 December 2010 through 20 December 2010
ER -