Performance and Reliability of DSRC Vehicular Safety Communication: A Formal Analysis

IEEE- and ASTM-adopted dedicated short range communications (DSRC) standard toward 802.11p is a key enabling technology for the next generation of vehicular safety communication. Broadcasting of safety messages is one of the fundamental services in DSRC. There have been numerous publications addressing design and analysis of such broadcast ad hoc system based on the simulations. For the first time, an analytical model is proposed in this paper...