Performance modelling of access control mechanisms for local and vehicular wireless networks

摘要: Carrier sense multiple access collision avoidance (CSMA/CA) is the basic scheme upon which to shared medium regulated in many wireless networks. With CSMA/CA a station willing start transmission has first find channel free for given duration otherwise it will go into backoff, i.e. refraining transmitting randomly chosen delay. Performance analysis of network employing regulation not an easy task: except simple configuration analytical solution key performance indicators (KPI) cannot be obtained hence one resort formal modelling tools. In this paper we present study targeting different kind based networks, namely: IEEE 802.11 Wireless Local Area Networks (WLANs) and 802.11p Vehicular Ad Hoc (VANETs), extends with priorities over packets. The framework introduce allows considering: i) arbitrarily large number stations, ii) traffic conditions (saturated/non-saturated), iii) hypothesis concerning (ideal/non-ideal). We apply statistical model checking assess KPIs configurations.