ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ □----------------
Представлена динамічна математична модель безпроводової mesh-мережі, що реалізує принцип часового доступу до загального радіоресурсу. Модель орієнтована на спільне розв’язання задач розподілу слотів і маршрутизації із забезпеченням при цьому гарантій щодо швидкісних і часових показників якості обслуговування. Проведено аналіз міжкінцевих затримок з точки зору порядку розподілу слотів уздовж маршруту
Ключові слова: безпроводові mesh-мережі, якість обслуговування, множинний доступ з часовим розподілом, розподіл ресурсів
□------------------------------------□
Представлена динамическая математическая модель беспроводной mesh-сети, реализующей принцип временного доступа к общему радиоресурсу. Модель ориентирована на совместное решение задач распределения слотов и маршрутизации с обеспечением при этом гарантий по скоростным и временным показателям качества обслуживания. Проведен анализ межконцевых задержек с точки зрения порядка распределения слотов вдоль маршрута
Ключевые слова: беспроводные mesh-сети, качество обслуживания, множественный доступ с временным разделением, распределение ресур-совулирование, рабочая характеристика
УДК 621.391
MATHEMATICAL MODEL FOR RESOURCE ALLOCATION IN TDMA-BASED WIRELESS MESH-NETWORKS
О. Yevsyeyeva
Doctor of Technical Science, Associate Professor Department of telecommunication systems Kharkiv National University of Radio Electronics Lenina, 16, Kharkov, Ukraine, 61166 E-mail: evseeva.o.yu@gmail.com Al-Azzawi Essa Mohammed
PhD student
Odessa National Academy of Telecommunication named after A.S.Popov Kovalska Str., 1, Odessa, Ukraine, 65029
1. Introduction
Wireless networks are mobile (with mobile subscriber stations) or fixed networks (with fixed or low-mobile stations) which can work under two regimes, multipoint (Point-to-Multipoint, PMP) mode and mesh-mode. Under PMP-mode all flows, irrespective of the destination, pass through the base station. In the mesh-mode the stations of one network can interact with each other directly without involvement of the base station and thus perform the functions of routers. It has essential advantages, first of all, in efficiency of the channel resources use and area of coverage (service).
On specifications of technological bases for wireless mesh networks (WMNs) within next-generation communications systems different standardization organizations are working including IEEE 802.11, IEEE 802.15, IEEE 802.16 groups [1]. The standards and other described in literature approaches are based on different algorithms to share and compete in common resources. Depending on type of shared resources within WMNs time-division, code-division and space-division multiple access fashions (TDMA, CDMA and SDMA respectively) are used [1-3]. As it’s shown in [2] TDMA scheduling scheme is more preferable from viewpoint of quality of service (QoS). Whereas problem of rendering of guaranteed quality of service is the urgent for next-gene-ration communications systems, particularly for supporting real-time applications such as voice and video calls, in the article we’ll focus on TDMA-based WMNs. Practical reali-
zation of TDMA-based wireless mesh-network is technology of wireless access WiMax (Worldwide Interoperability for Microwave Access), regulated by the IEEE standards of the 802.16 set [4].
2. Definition of resource allocation problem in TDMA-based WMNs and related work
Under TDMA an access to a common radio channel in wireless mesh-network is based on time division principle. Then the time slots, joined in the frames, act as a single resource of the link layer. In WiMax the slot is called minislot, and every such slot contains a particular amount of OFDM-characters as it is supposed to use the orthogonal frequency division multiplexing (OFDM) on a physical layer [4]. The amount of the user’s data (byte), transmitted in one slot, depends on a common duration of the frame, on an amount of OFDM-characters in the slot, on a type of modulation and scheme of coding, which choice is, in turn, determined by the noise-to-signal conditions on each concrete site. As the frames duration of on the link layer of the WiMax mesh-net-work is noted by a service provider of the link, the number of OFDM-characters, fell within one slot and so the amount of bytes in each of them, are also known. Then the task of the link resources allocation represents the task of assignment of a particular set of time slots within the limits of one frame to each flow arriving for service. Thus, the resulting allocation
© O. Vtevsyeyeva, Hl-Hzzawi Essa Mohammed, 2014
of slots between stations of the mesh-network determines the sizes of link resources assigned each of them, i.e. the rate, at which the station can transmit the user’s data flows. As a matter of fact the case in point is a reservation of resources, but, as is well known, the reservation should be carried out within the routes according to which the flow will be delivered to the end destination. Thus, the task of the link resources control of the mesh-network cannot be separated from the task of routing in it. Such cross-layered approach is demonstrated as more effective for network resource’s utilization [5].
On the other hand resource allocation problem in TDMA-based WMNs must be solved with taking into account growing requirements of quality of service. For instance the WiMax technology is relatively new technology, it’s designed in terms of the main tendencies of telecommunication systems and networks development: multiservice and multimedia nature of the transmitted traffic are provided in Wi-Max, the growing requirements of the users to the transfer rates and quality of service as a whole are taken into account. In general the 802.16 standard defines five classes (categories) of service quality for the WiMax net customers [6]:
- class of the guaranteed service “Unsolicited Grant Service” (UGS), oriented to the constant length packets transmission at a constant bit rate (the CRB service class analogue); it allows T1/E1 flows transmitting through IP;
- classes of the variable length packet transmission in a real time “Extended Real-time Polling Service” (ertPS) and “Real-time Polling Service” (rtPS), analogues of the VBR class are oriented to the VoIP traffic, MPEG video;
- class of the variable length packets transmission with a guaranteed minimum speed “Non-real-time Polling Service” (nrtPS) is oriented to the flows FTP, TFTP, HTTP;
- non-guaranteed Best Effort (BE) transmission applicable, for example, to the e-mail-traffic support.
Nevertheless, IEEE 802.16 standard defines the classes for PMP-mode but problems of the QoS support in the WiMax mesh-networks by the IEEE 802.16 standards are not touched upon. In the reason problem of rendering of guaranteed quality of service in the wireless mesh-networks stays an actual.
As the analysis has shown, the insufficiently complete elucidation of the QoS problems in the standard has given rise to a great number of publications on the given theme. Thus the main efforts of the developers are concentrated on the search of protocol solutions, for example, of the format of service messages and protocol of their exchange for different classes, or selection of configurable parameters for the flows of different classes in the process of “competition” for the right to begin transmission [7, 8]. In this case the principle of the slots allocation is saved on the basis of contention of neighboring stations for the right to utilize the particular slot (or group of slots).
Frequently the offered in literature protocol solutions for link resources allocation for the mesh-networks have a decentralized nature and are organized through the service messages exchange between adjacent stations, on the basis of which these stations “agree” about the order of the common link resources usage [5, 9]. The heuristic procedures of the link resources allocation should be changed for strictly formalized methods making it possible to provide the optimal controlling decisions with the aim to increase the efficiency of operation of the network and rendering of services of the guaranteed quality. In the reason we are offering following
dynamic mathematical model of the TDMA-based mesh-ne-twork in the state space.
3. Mathematical model of the TDMA-based mesh-network
Thus in TDMA-based wireless mesh-network resources on link layer are represented by time slots with a fixed duration and capable to transmit a particular amount of the user’s data bits. And task is time slots allocation, which provides the user’s traffic delivery to the end recipient in the framework of the selected class of service.
Let us define as state variables values qz^(k) , representing the data volume in the i-th station and intended for transmission to the j -th station at the instant tk. Variables x[j,z are considered as variables of control
=
1, if the r-th slot is used in the link (i, j) for transmission of the flow addressed to l-st station in the frameworks of the z-th class of service,
0, otherwise,
(1)
(i,j)eE, r = 1,Nf , l = 1,Nv, l*i, z = 1,Nqos,
where E - a set of links between stations of a mesh-network; Nf - an amount of slots in one frame used for transmission of a user’s traffic; Nv - a total amount of stations of a mesh-network; NqoS - an amount of QoS-classes supported by the network.
Such a choice of the state and control variables provides the flow nature for the model and makes it possible to inspect buffer and channel resources of the network. As the buffer capacity of the node is limited, the limitations are superimposed on the state variables:
qz,j(k) > 0, X qz,j(k) < qz 1
(2)
where qz max - the maximal size of the queue of the z-th class of service at the i-th station.
It is supposed, that the packets of flows of different QoS-classes will be serviced in different queues, as it is implemented, for example, in the CBWFQ mechanism.
The control variables, according to the physical sense put in them, should meet one of the following conditions:
HK'dO < ^
z l (i,j)eE
xxx
Tl’,l,z(k) +XZZTr,l,z
z l (gj). geS?
(k) < 1,
(3)
(4)
where S2 - a set of stations experiencing an interference with the i-th station.
The expression (3) guarantees, that the r-th time slot in the k-th sampling interval will be utilized in the system only once. But the reuse of the slots can be applied to raise the efficiency of the link resources use in the mesh-netwo-rk. Territorial separation of two stations, claiming for the same time slot, is a sufficient condition for this purpose and the distance between two stations must be more than two
t
hops. In this case it is possible to consider, that the interference between stations is absent, and the control variables t[ j,z should be subordinated to the condition (4).
Then the dynamics of the queues of the z-th class of service at the i-th station of the mesh-network can be described as follows [10, 11]:
qz,j(k+1) = qz,j(k) - X X m,,v(kX;v,z(k)n+
veSj, v*i
'XX mg,i(k)rgf(k)n + £,z,j(k)At,
(5)
geS!, g*ij
3z
req
X mij(kXj,z(k) < B;
r
or Bzeq mm <Xmi,j(k)T[j,z(k) < B;
(6)
where Bzeq - is the transmission rate (speed) of flow, required by the user, which can mean maximal or minimum rate depending on the requested class of service; Bzeq max and Bzeq min - are maximal and minimum values of the transmission rate of flow guaranteed by the network, for example, in case of the nrtPS class implementation.
The equation of state (5) can be written in the vector-matrix form
q(k +1) = q(k) + M(k)T(k)n + £,(k) ,
(7)
where q(k) - the mesh-network state vector at the k-th sampling interval of NqoSNv(Nv -1)x 1 size, containing variables qz^(k) and presenting the queues load in nodes; T(k) - the controlling vector of NfNqoSN6(Nv -1)x 1 size, which units the tJ variables; Ne - the number of link in the network, Ne =|E|; M(k) - the matrix of Nv(Nv -1)x NFNe(Nv -1) size, which units the mij(k) values at the k -th interval taken with regard to the sign (+ or -) in expression (5), and the principle of which creation is consistent with the order of elements in T(k); £,(k) - the vector of a user’s load of NqoSNv(Nv -1)x 1 size, presenting the At£,zj(k) data volume, which come into the network from each station at the k-th interval.
Model (1)-(7) allows formulating the task of slot’s allocation within the framework of the chosen class of se-rviceas anoptimizationone, wherethe Booleanvariables t [j,z(k ) appear as the required variables, expressions (2)-(6) appear as limitations, and the cost functional can be offered as the goal function
J = X[q T(k)Wqq(k)+fT(k)WT T(k) -
k=1
-TT(k)WreUseT(k)] ^ min,
where k = 0, 1, 2...; At = tk+1 -tk - the sampling interval (period of re-computation and change of control variables Trtz(k) ); mi,j - amount of bits of the user’s data that can be carried by one slot in link (i,j)eE; S1 - a set of stations of the mesh-network, adjoining with the i-th station; £,z,j(k) - the intensity of the data arrival to the i-th station at the instant of time tk in the frameworks of the z-th class of service addressed to the j-th station; n - the amount of the frames transmitted during time At, n = At/TF ; TF - the frame duration.
Additional restrictions are imposed on the model with the purpose of providing the guaranteed quality services by the network:
where a -the amount of intervals At, for which the control variables calculation is carried out; Wq, Wt - the diagonal positive semidefinite weight matrices of buffer and link resources usage, respectively, Wreuse - the weight matrix presenting a gain at the cost of the slots reuse.
Thus, as a result of (8) solution we have the optimal strategy of dynamic routing and allocations of the link resources of the TDMA-based mesh-network.
4. Analysis of delays affected by an allocation of slots
Within offered model (1)-(8) conditions (6) guarantee delivering of user’s traffic at required rate. But in general especially for voice and video-traffic there is important delay of delivering and the delay must satisfy
DX < D^,
(9)
where DX - achieved total end-to-end delay of delivering within requested z-th class of service; Dzeq - required end-to-end delay within z-th class of service.
As compared to wired networks, in wireless multihop mesh-networks the situation with delays is much more complicated. It caused by two types of delays [2]. First type is conventional queuing delay that is related to difference between rates of packet arriving into node and packet transmission (service) through outgoing interface. In work [2] the delay is referred to as primary delay. But secondary delay is related to use of slots to carry packets. When new packet is arriving into node (mesh-station) it cannot be transmitted immediately; it should wait slot by which the packet can be carried to next node (station). Primary and secondary delays occur on every node in route from source to destination including node-source.
Thus total transmission delay D of packet in multihop network includes four components [2]. First component is the time between packet generation (moment when packet is arriving) and the end of current frame that is equal to
0.5- TF , where TF is the frame length. The result is based on assumption of uniform distribution of packet generation moments. And process of new packet arrival at the different nodes is assumed as independent. Second component of total transmission delay is the primary queuing delay Dq that can be calculated by using of queuing theory. Outgoing interface of Mesh Subsciber Stations (MSS) can be described as M / D /1 queuing system with the deterministic service time TF [2]. Then
Dq =—p— TF , q 2(1 -p) F’
(10)
where p = XTF , X - intensity of packet arriving, 1/s.
Third component of transmission delay is secondary delay described above. It’s time interval between the first slot and the slot allocated to carry given packet for its MSS-dest-ination. And last component is transmission time in both the source and destination MSSs that is equal to Ts + Ts = 2Ts, where Ts is slot length.
3
From the components the third type delay (secondary delay) depends on number of hops in the source-destination route and order of slot allocation. To understand delay effect caused by slot allocation let us analyze two scenarios. In scenario # 1 shown in fig. 1 concerned topology is a four-node network where maximal distance between MSSs is three hops. MSS 1 is source of packets {y1,y2,...} , MSS 4 is destination-station. Assume slots are allocated on the path MSS 1 - MSS 4 sequentially with no vacant slots between them (Fig. 1, a). For example in order to deliver packet y1 source will used slot t^ , to transmit the packet to next station MSS 2 will use second slot t2,3 . So when MSS 2 will receive packet y1 it can transmit the packet immediately. Similarly if station MSS 3 has allocated slot t34 received packet can be transmitted in same frame. As a result the sum of third and fourth components in end-to-end delay is 3Ts. As it’s shown in Fig. 1, b if there is one vacant slot between used slots the sum becomes 4Ts. An analytical expression for calculation of average value of secondary delay between source and destination was proved in work [2] and it’s given by
Ds-d =
j-2
h-2
(j - 2)
Mf
X
j=h
j-2
h-2
Ts,
(11)
where h - number of hops in the route between source and destination; MF - number of slots per frame.
Thus total end-to-end delay of delivering can be given by
Dx= °.5-Tf + Dq + Ds
,+ 2T.
(12)
Equality (11) is related to case when all of slots along the path are used sequentially and defines low bound for secondary delay. If slots are allocated with breach of the order Ds-d is growing.
And every such “irregularity” adds time TF to total delay. For example in Fig. 1, c secondary delay and transmission time in both the source and destination MSSs is equal to (3Ts + TF).
If order of slots on the path isn’t controlled and is random then total end-to-end delay of delivering can be estimated
by [2]
Dx =
h + 1 2
Tf + Ts.
(13)
In scenario # 2 topology has five nodes that allow reusing slots by stations MSS 1 and MSS4 (Fig. 2). If to compare scenarios without reuse of slots (Fig. 2, a) and with reuse (Fig. 2, b) we’ll observe different delays.
Fig.1. Examples of time slot allocation in WMN’s topology with four nodes: a — with no vacant slots between used slots; b — with one vacant slot between used slots; c — with broken sequence of slots
a
b
c
t
Fig. 2. Examples of time slot allocation in WMN’s topology with five nodes: a — without reuse of slots; b — with reuse;
c — with two flows and slot’s reuse
In first case secondary delay including transmission time in both the source and destination is equal 4Ts, but it becomes (TF + Ts) in second case. In average every reused slot adds time TF to total delay. Thus reuse of slots allows to save on link resources of WMN and to utilize them in effective way. But on the other hand it leads to quality loss through the delay’s growing.
A way to avoid delay’s growing under reuse of slots is shown in fig. 2, c according to which within some pair of source-destination all of slots are used sequentially witho-utrepeating.Forexampleinordertocarryflowofpackets {y1,y2,...}
from MSS 1 to MSS 5 following slots {t1’2,t23,t35,t45} are allocated. But for transmitting packets {x1,x2,...} within pair of source-destination MSS 4 - MSS 5 slot t4’55 is assigned again. So concerned WMN reuses first slot but for different flows.
Thus in order to avoid delay’s growing especially for delay-sensitive traffic sequence of slots along the path must be controlled. Then cost function (8) can be rewritten by taking into account order of slots along the path:
J = X [q T(k)Wqq(k) + t T(k)WTx(k) -
k=1
-TT(k)WreUsex(k) + TT(k)WseqT(k)]^ min, (14)
where W - the weight matrix presenting a breach of the order of slots along the path. Its element is 0 if sequence number of slot in a link is higher than sequence number of slot used in previous link and more the 0 if sequence of slots is broken.
5. Conclusions
Thus, offered mathematical model allows to describe TDMA-based wireless mesh-network from viewpoint of link layer where time slot is the main resource. Within the model the joint solution of the problems of routing and link resources allocation in the mesh-networks can be reduced to solution of the optimization task on minimization of a target cost function under a number of limitations, including QoS-conditions (6), (9) and the dynamic ones (5).
The main difference of the offered model from the earlier known ones consists in its belonging to the class of the dynamic models in the state space, that gives the following advantages: guaranteed quality of service; consideration of the dynamic nature of user’s flows, arriving for service and the state of the network itself, including the structure dynamics and signal-to-noise conditions; the possibility to control both the link and buffer resources of the network; the possibility to apply developments in the theory
a
b
c
3
of optimal control field to solving of the task of routing and control of the link resources, where the equation of the system behavior in the state space takes one of central places. On the other hand imposition of QoS-conditions leads to
complication of the mathematical description and numerical calculation. So open issue for future study is related to method of applying the model where different heuristics and decompositions principles can be implemented.
References
1. Akyildiz, I. F. Wireless mesh networks: a survey [Text] / I. F. Akyildiz, Xudong Wang, Weilin Wang // Computer Networks and ISDN Systems. - 2ОО5. - Vol. 47, Issue 4. - P. 445-487.
2. Jae-Hyun Kim, J.-H. New delay-efficient TDMA-based distributed schedule in wireless mesh networks [Electronic Resource] / Jae-Hyun Kim, Jae-Ryong Cha, Han-Joon Park // EURASIP Journal on Wireless Communications and Networking. -2О12. -2О12:З69. - Available at: http://link.springer.com/article/10.1186%2F1687-1499-2012-369. - Last access: 12.О5.2О14.
3. Gong; D. Joint Channel Assignment and Space-Division Multiple Access Scheduling in Wireless Mesh Networks [Text] : proc. of conf. / D. Gong, M. Zhao, Yu. Yang // IEEE Wireless Communications and Networking Conference (WCNC’ 2О1О), 2О1О. -P. 1-6.
4. IEEE Std 8О2.16-2ОО4, IEEE Standard for Local and metropolitan area networks - Part 16: Air Interface for Fixed Broadband Wireless Access System [Text] / IEEE, NY, 2ОО4. - 895 p.
5. Paris, S. Cross-layer metrics for reliable routing in wireless mesh networks [Text] / S. Paris, C. Nita-Rotaru, F. Martignon, A. Capone // IEEE/ACM Transactions on Networking. - 2О1З. - Vol. 21, Issue З. - P. 1ООЗ-1О16.
6. Carvalho, T. Mobile WiMAX Mesh Network with Routing Techniques and Quality of Service Mechanisms [Electronic Resource] / T. Carvalho, J. Jailton, W. Valente, C. Natalino, R. Frances, K. A. Lopes Dias // Selected Topics in WiMAX, Edited by Gianni Pasolini. - InTech, 2О1З. - Available at: http://www.intechopen.com/books/selected-topics-in-wimax/a-mobile-wimax-mesh-network-with-routing-techniques-and-quality-of-service-mechanisms. - Last access: 12.О5.2О14.
7. Hu, H. An Effective QoS Differentiation Scheme for Wireless Mesh Networks [Text] / H. Hu, Yan Zhang, Hsiao-Hwa Chen // IEEE Network: The Magazine of Global Internetworking. - 2ОО8. -Vol. 22, Issue 1. - P. 66-7З.
8. Zhang, Y. A novel QoS Guarantee Mechanism in IEEE 8О2.16 Mesh Networks [Text] / Y. Zhang, Chao Dai, Mei Song // Computing and informatics. - 2О1О. - Vol. 29. - P. 521-5З6.
9. Shou-Chih, Lo Efficient routing and centralized scheduling algorithms for IEEE 8О2.16 mesh networks [Text] / Shou-Chih Lo, Lyu-Chen Ou // International Journal of Network Management. - 2О11. - Vol. 21, Issue 6. - P. 494-512.
10. Shetiya, H. Algorithms for routing and centralized scheduling to provide QoS in IEEE 8О2.16 mesh networks [Text] : proc. of the 1st ACM workshop / H. Shetiya, V.Sharma // Wireless Multimedia Networking and Performance Modeling, 2ОО5. -P. 14О-149.
11. Поповский, В. В. Математические модели телекоммуникационных систем. Часть 1. Математические модели функциональных свойств телекоммуникационных систем [Электронный ресурс] / В. В. Поповский, А. В. Лемешко, О. Ю. Евсеева // Проблеми телекомунікацій. - 2О11. - № 2 (4). - С. З-41. - Режим доступу : http://pt.joumal.kh.ua/2011/2/1/112_popov-sky_functional.pdf. - 12.О5.2О14.
С