The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (2013 vol.62)
pp: 873-885
Xiaoyan Yin , Electr. & Comput. Eng. Dept., Duke Univ., Durham, NC, USA
Xiaomin Ma , ECPM Dept., Oral Roberts Univ., Tulsa, OK, USA
K. S. Trivedi , Electr. & Comput. Eng. Dept., Duke Univ., Durham, NC, USA
ABSTRACT
In this paper, an analytic model is proposed for the performance evaluation of vehicular safety related services in the dedicated short range communications (DSRC) system on highways. The generation and service of safety messages in each vehicle is modeled by a generalized M/G/1 queue. The overall model is a set of interacting M/G/1 queues, one queue for each vehicle. The interaction is that the server is shared as it is the contention medium. To make the model scalable, we use semi-Markov process (SMP) model to capture the shared server's behavior from one tagged vehicle's perspective, where the medium contention and back off behavior for this vehicle and influences from other vehicles are considered. Furthermore, this SMP interacts with the tagged vehicle's own M/G/1 queue through fixed-point iteration. The proof for the existence, uniqueness and convergence of the fixed point is provided. Based on the fixed-point solution, performance indices including mean transmission delay, packet delivery ratio (PDR), and packet reception ratio (PRR) are derived. Analytic-numeric results are verified through extensive simulations under various network parameters. Compared with the existing models, the proposed SMP model facilitates the impact analysis of hidden terminal problem on the PDR and PRR computation in a more precise manner.
INDEX TERMS
vehicular ad hoc networks, iterative methods, Markov processes, performance evaluation, queueing theory, hidden terminal problem, stochastic models, performance evaluation, dedicated short range communications, DSRC vehicular safety communication, safety messages, M/G/1 queue, contention medium, semiMarkov process model, SMP, shared server behavior, fixed point iteration, mean transmission delay, packet delivery ratio, PDR, packet reception ratio, PRR, Computational modeling, Analytical models, Vehicles, Performance evaluation, Safety, Reactive power, Handheld computers, SMP model, Computational modeling, Analytical models, Vehicles, Performance evaluation, Safety, Reactive power, Handheld computers, VANET, Analytic model, DSRC, M/G/1 queue, performance evaluation, safety message
CITATION
Xiaoyan Yin, Xiaomin Ma, K. S. Trivedi, "An Interacting Stochastic Models Approach for the Performance Evaluation of DSRC Vehicular Safety Communication", IEEE Transactions on Computers, vol.62, no. 5, pp. 873-885, May 2013, doi:10.1109/TC.2012.37
REFERENCES
[1] ASTM E2213-03, "Standard Specification for Telecommunications and Information Exchange between Roadside and Vehicle Systems 5 GHz Band Dedicated Short Range Communications (DSRC) Medium Access Control (MAC) and Physical Layer (PHY) Specifications," ASTM Int'l, July 2003.
[2] J. Yin et al., "Performance Evaluation of Safety Applications over DSRC Vehicular Ad Hoc Networks," Proc. First ACM Int'l Workshop Vehicular Ad Hoc Networks (VANET), pp. 1-9, 2004.
[3] M.T. Moreno, D. Jiang, and H. Hartenstein, "Broadcast Reception Rates and Effects of Priority Access in 802.11-Based Vehicular Ad-Hoc Networks," Proc. First ACM Int'l Workshop Vehicular Ad Hoc Networks (VANET), pp. 10-18, 2004.
[4] Q. Xu, T. Mak, J. Ko, and R. Sengupta, "Vehicle-to-Vehicle Safety Messaging in DSRC," Proc. First ACM Int'l Workshop Vehicular Ad Hoc Networks (VANET), pp. 19-28, 2004.
[5] F. Bai and H. Krishnan, "Reliability Analysis of DSRC Wireless Communication for Vehicle Safety Applications," Proc. IEEE Intelligent Transportation Systems Conf. (ITSC '06), pp. 355-362, Sept. 2006.
[6] X. Ma, X. Chen, and H.H. Refai, "Unsaturated Performance of IEEE 802.11 Broadcast Service in Vehicle-to-vehicle Networks," Proc. IEEE 66th Vehicular Technology Conf. (VTC), pp. 1957-1961, 2007.
[7] X. Chen, H.H. Refai, and X. Ma, "A Quantitative Approach to Evaluation DSRC Highway Inter-Vehicle Safety Communication," Proc. IEEE GLOBECOM, pp. 151-155, 2007.
[8] X. Ma, X. Chen, and H.H. Refai, "Performance and Reliability of DSRC Vehicular Safety Communication: A Formal Analysis," EURASIP J. Wireless Comm. and Networking, vol. 2009, pp. 1-13, 2009.
[9] K.S. Trivedi, Probability and Statistics with Reliability, Queuing and Computer Science Applications, second ed. John Wiley, 2002.
[10] L. Tomek and K.S. Trivedi, "Fixed-Point Iteration in Availability Modeling," Informatik-Fachberichte, vol. 283, pp. 229-240, 1991.
[11] IEEE 802.11 Working Group, "Part 11: wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications," ANSI/IEEE Std. 802, Sept. 1999.
[12] X. Yin, X. Ma, and K.S. Trivedi, "Performance Evaluation for DSRC Vehicular Safety Communication: A Semi-Markov Process Approach," Proc. Int'l Conf. Comm. Theory, Reliability, and Quality of Service, 2011.
[13] P.D. Welch, "On a Generalized M/G/l Queueing Process in which the First Customer of Each Busy Period Receives Exceptional Service," Operations Research, vol, 12, no, 5, pp. 736-752, 1964.
[14] V. Mainkar and K.S. Trivedi, "Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models," IEEE Trans. Software Eng., vol. 22, no. 9, pp. 640-653, Sept. 1996.
[15] G. Haring, R. Marie, R. Puigjaner, and K.S. Trivedi, "Loss Formulae and Their Optimization for Cellular Networks," IEEE Trans. Vehicular Technology, vol. 50, no. 3, pp. 664-673, May 2001.
[16] G. Ciardo and K.S. Trivedi, "A Decomposition Approach for Stochastic Reward Net Models," Performance Evaluation, vol. 18, no. 1, pp. 37-59, 1993.
[17] J. Medhi, Stochastic Processes. Wiley Eastern, 1994.
[18] J.M. Ortega and W.C. Rheinboldt, Iterative Solution of Nonlinear Equations in Several Variables. Academic Press, 1970.
[19] P.M. Fitzpatrick, Advanced Calculus, second ed. Am. Math. Soc., 2006.
[20] R.L. Burden and J.D. Faires, Numerical Analysis, seventh ed. Brooks/Cole, 2000.
[21] S.C. Malik and S. Arora, Mathematical Analysis, third ed. New Age Science, 2009.
[22] E. Cinlar, Introduction to Stochastic Processes. Prentice-Hall, 1975.
[23] X. Ma and X. Chen, "Performance Analysis of IEEE 802.11 Broadcast Scheme in Ad Hoc Wireless LANs," IEEE Trans. Vehicular Technology, vol. 57, no. 6, pp. 3757-3768, Nov. 2008.
[24] F. Ye, R. Yim, S. Roy, and J. Zhang, "Efficiency and Reliability of One-Hop Broadcasting in Vehicular Ad Hoc Networks," IEEE J. Selected Areas in Comm., vol. 29, no. 1, pp. 151-160, Jan. 2011.
[25] M.I. Hassan, H.L. Vu, and T. Sakurai, "Performance Analysis of the IEEE 802.11 MAC Protocol for DSRC with and Without Retransmissions," Proc. IEEE Int'l Symp. a World of Wireless Mobile and Multimedia Networks, 2010.
[26] C. Campolo, A. Vinel, A. Molinaro, and Y. Koucheryavy, "Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks," IEEE Comm. Letters, vol. 15, no. 2, pp. 199-201, Feb. 2011.
[27] G. Bianchi, "Performance Analysis of the IEEE 802.11 Distributed Coordination Function," IEEE J. Selected Areas in Comm., vol. 18, no. 3, pp. 535-547, Mar. 2000.
[28] J.W. Robinson and T.S. Randhawa, "Saturation Throughput Analysis of IEEE 802.11e Enhanced Distributed Coordination Function," IEEE J. Selected Areas in Comm., vol. 22, no. 5, pp. 917-928, June 2004.
[29] R. Battiti and B. Li, "Supporting Service Differentiation with Enhancements of the IEEE 802.11 MAC Protocol: Models and Analysis," Technical Report DIT-03-024, Univ. of Trento, Italy, May 2003.
[30] D. Malone, K. Duffy, and D. Leith, "Modeling the 802.11 Distributed Coordination Function in Nonsaturated Heterogeneous Conditions," IEEE/ACM Trans. Networking, vol.15, no.1, pp. 159-172, Feb. 2007.
[31] J.R. Gallardo, D. Makrakis, and H.T. Mouftah, "Mathematical Analysis of EDCA's Performance on the Control Channel of an IEEE 802.11 WAVE Vehicular Network," EURASIP J. Wireless Comm. and Networking, vol. 2010, pp. 17-31, 2010.
[32] G. Badawy, J. Misic, T. Todd, and D. Zhao, "Performance Modeling of Safety Message Delivery in Vehicular Ad Hoc Networks," Proc. IEEE Sixth Int'l Conf. Wireless and Mobile Networking and Comm. (WiMob), 2010.
[33] J.R. Gallardo, D. Makrakis, and H.T. Mouftah, "Performance Analysis of the EDCA Medium Access Mechanism over the Control Channel of an IEEE 802.11p WAVE Vehicular Network," Proc. IEEE Int'l Conf. Comm. (ICC), pp. 1-6, 2009.
[34] N. Wisitpongphan, B. Fan, P. Mudalige, V. Sadekar, and O. Tonguz, "Routing in Sparse Vehicular Ad Hoc Wireless Networks," IEEE J. Selected Areas in Comm., vol. 25, no. 8, pp. 1538-1556, Oct. 2007.
[35] H. Zhu, L. Fu, G. Xue, Y. Zhu, M. Li, and L. Ni, "Impact on traffiC Influxes: Understanding Exponential Inter-Contact Time in VANETs," Proc. IEEE INFOCOM '10, 2010.
[36] X. Ma, J. Zhang, and T. Wu, "Reconsider Broadcast Packet Reception Rates in One-Dimensional MANETs," Proc. IEEE GLOBECOM, pp. 1-6, 2010.
[37] I. Tinnirello and G. Bianchi, "Rethinking the IEEE 802.11e EDCA Performance Modeling Methodology," IEEE/ACM Trans. Networking, vol. 18, no. 2, pp. 540-553, Apr. 2010.
[38] J.Y. Lee and H.S. Lee, "A Performance Analysis Model for IEEE 802.11e EDCA under Saturation Condition," IEEE Trans. Comm., vol. 57, no. 1, pp. 56-63, Jan. 2009.
[39] F. Bai and B. Krishnamachari, "Spatio-Temporal Variations of Vehicle Traffic in VANETs: Facts and Implications," Proc. Sixth ACM Int'l Workshop VehiculAr InterNETworking (VANET), 2009.
[40] M.T. Moreno, S. Corroy, and H. Hartenstein, "IEEE 802.11-Based One-Hop Broadcast Communications: Understanding Transmission Success and Failure under Different Radio Propagation Environments," Proc. ACM Int'l Workshop Modeling Analysis and Simulation of Wireless and Mobile Systems (MSWiM '06), pp. 68-77, 2004.
[41] X. Ma and X. Chen, "Delay and Broadcast Reception Rates of Highway Safety Applications in Vehicular Ad Hoc Networks," Proc. IEEE INFOCOM '07, pp. 85-90, 2007.
[42] M.V. Eenennaam, W.K. Wolterink, G. Karagiannis, and G. Heijenk, "Exploring the Solution Space of Beaconing in VANETs," Proc. First IEEE Vehicular Networking Conf., (VNC '09), 2009.
[43] X. Chen, H.H. Refai, and X. Ma, "Saturation Performance of IEEE 802.11 Broadcast Scheme in Ad Hoc Wireless LANs," Proc. IEEE 66th Vehicular Technology Conf. (VTC Fall), pp. 1897-1901, 2007.
32 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool