Real-Time Performance Evaluation of IEEE 802.11p EDCA Mechanism for IoV in a Highway Environment

Table 1

Notations used in the model.

Notation	Definition
	Abscissa of vehicle
	Ordinate of vehicle
	Location matrix at time
	Connectivity between vehicle and vehicle
	Network hearing topology matrix at time
	Number of vehicles in the transmission range of vehicle
	Total number of vehicles
	Maximum contention window size of ACm
	Minimum contention window size of ACm
	Contention window size of ACm at stage
	Retransmission limit of ACm
	AIFS differentiation of ACm
	Date rate
	Basic rate
	Propagation delay
	Average transmission time
	Internal collision probability of ACm for vehicle at time
	Total transmission probability for vehicle at time
	Packet arrival probability of ACm at time
	Channel busy probability at time of ACm for vehicle at time
	Stationary probability of ACm for vehicle at time
	Internal transmission probability of ACm for vehicle at time
	PGF of transmission time
	PGF of the average duration that the backoff counter of ACm for vehicle is decremented by one
	PGF of stationary probability of ACm at stage for vehicle
	Slot time
	PGF of service time of ACm for vehicle
	Mean of service time
	Variance of service time
	The arrival rate of ACm