1. Introduction
The rapid evolution of communication and intelligent technologies is inviting all human beings to the era of the Internet of everything, where unprecedented changes will have a profound impact on every single aspect of our daily interactions [
1,
2,
3,
4]. As a consequence, an exponentially increasing amount of data is needed to be sensed from different areas, which brings a large burden to the wireless sensor networks (WSNs). In this sense, virtualized WSN is proposed to manage the WSNs from different operators centrally with the objective of resource utilization improvement [
5]. However, similar to the traditional WSNs, energy is one of the key factors bring performance bottlenecks to the virtualized WSNs. In addition to tag identification [
6], radio frequency (RF) energy has been considered to be a stable energy source for wireless sensors. Moreover, wireless powered communication has attracted attention from both academia and industria [
7,
8]. Hence, it is a promising idea to integrate the wireless energy transfer (WET) technology into the virtualized WSNs, which is called wireless powered virtualized sensor networks.
Additionally, various types of Internet of Things applications are latency sensitive [
9,
10], where sensors are required to send data under different application latency requirements. Due to the time-varying wireless channel and large amount of sensing data, how to guarantee the latency requirement for different applications is worth studying in a WSN. Particularly, in a wireless powered virtualized sensor network, the data sensing task of an application is allocated to different sensor nodes with heterogeneous capabilities. Hence, latency guarantee in such type of network is more complex. To the best of our knowledge, a stochastic latency guarantee of wireless powered virtualized sensor networks is still an open problem.
Motivated by this, this paper studies a joint task and resource allocation scheme in a wireless powered virtualized sensor network under stochastic latency constraints. Firstly, a framework is constructed to integrate virtualized WSN and WET together, based on which an optimization problem is formulated with the objec tive of network latency violation probability (LVP) minimization. Then, effective capacity theory is applied to prove that identical latency performance can be guaranteed by the FDMA and TDMA modes in the considered network. Thereafter, a bisection search algorithm is proposed to determine the optimal task allocation scheme when system time configuration is given. Furthermore, the optimal energy harvesting time is obtained by a one-dimensional search scheme. Finally, insightful results are presented by numerical simulations. The main contributions of this paper are as follows:
A three-layer architecture for wireless powered virtualized sensor network is proposed. Based on the proposed architecture, we prove that the FDMA mode can guarantee identical latency performance to the TDMA mode, when each node is allocated equal frequency resource or time resource.
A joint task and resource allocation scheme is proposed to minimize the network latency violation probability. It is highlighted that the complexity of the proposed scheme is on a logarithmic level, which is applicable to the realistic engineering application.
Numerical analysis reveals that the data rate requirement of an application and the number of sensor nodes both have linear or approximately linear impacts on the optimal energy harvesting time. This can be useful to quickly find out the optimal energy harvesting configuration in a practical network.
The remainder of this paper is organized as follows:
Section 2 introduces the related works.
Section 3 proposes a wireless powered virtualized sensor network model and communication model. The problem of the stochastic latency guarantee strategy based on effective capacity theory is formulated in
Section 4, and the optimal solution is obtained in
Section 5. In
Section 6, we analyze the simulation results.
Section 7 gives a discussion of our work and finally concludes the paper in
Section 8.
2. Related Work
In order to operate multiple applications effectively, virtualization idea is introduced to WSNs at node level or network level [
5,
11]. Virtualization technology can improve the physical resource utilization of a WSN due to resource multiplexing among different applications. However, the contention of multiple applications for network resources also brings extra latency overhead to the WSNs. In the literature, related works about virtualized WSNs usually focus on network metric optimization, such as traffic throughput, energy efficiency, etc. In [
12], an SDSense architecture was proposed to decompose the network functions into slow and fast changing components. Under the SDSense architecture, all the parameters of the sensors nodes could be reconfigured, such that the throughput of the considered WSN was improved. To reduce the data backlogs in a single-hop WSN, a uniforming random ordered policy (UROP) was proposed by Gul et al., where nearly optimal traffic throughput was obtained over a finite time horizon [
13]. In addition, evolutionary game theory was applied to allocate data sensing load among different sensor nodes under the data rate requirement constraint of a certain application [
14]. In [
15], the application sensing task assignment problem was studied to maximize the overall energy consumption, where sensor nodes’ available energy and virtualization overhead were taken into account. In [
16], the authors focused on energy efficiency maximization and then proposed a novel cyber-physical-social smart system. The authors therein employed wireless network virtualization to enhance the diversity and the flexibility of the service operation and the system management, and proposed a robust energy-efficient resource allocation scheme to outage probability requirements of controllers and actuators. Works [
12,
13,
14,
15,
16] have provided insightful results on performance optimization in virtualized WSN. However, latency analysis is absent in those works. In order to find out the optimal trade-off between quality of service (QoS) (e.g., reliability) and Quality of Information (e.g., sensing accuracy), an offline embedding algorithm that searches through all possible embedding was proposed in [
17]. In this regard, the search time can be controlled intuitively according to the application requirements.
Recently, RF energy harvesting is considered as a promising technology for wireless power sensors that are energy limited [
18]. In the literature, wireless powered sensor networks have attracted attention from the academia. In [
19], simultaneous wireless information and the power transfer (SWIPT) technique were introduced to a mobile WSN where energy harvest by relay nodes can compensate their energy consumption on data forwarding. A cross-layer resource allocation scheme was proposed to maximize the energy efficiency under different scenarios. Aiming at improving energy efficiency for a TDMA based wireless energy harvesting sensor network, Ref. [
20] proposes a scheme to optimize the system time allocation and transmission power configuration. In [
21], an adaptive multi-sensing (MS) framework was proposed, where each node was mounted with heterogeneous sensors to sense multiple cross-correlated slowly-varying parameters/signals. To increase the energy efficiency, a network and node-level collaborations based multi-sensing scheme was studied to deal with a formulated multi-objective optimization problem that jointly takes sensing quality and network energy efficiency into account. Ref. [
22] focused on system sum throughput maximization of the considered sensor network, where two scenarios were considered, i.e., multiantenna power station and the sensor nodes belong to the same or different service operator(s). The authors therein proposed two different schemes to optimize the system time and energy harvesting rate for the two scenarios, respectively. Similar to works [
12,
13,
14,
15,
16], works [
19,
20,
21,
22] also aimed to optimize the energy efficiency or network throughput for a WSN. How to guarantee the application latency was still unknown.
In other wireless networks, such as Internet of Vehicles and mobile cellular networks, latency or delay analysis can be resorted to the effective capacity theory [
23]. With consideration of the time-varying channel gain, the maximum traffic rate that can be sustained by a vehicle-to-vehicle (V2V) link was studied in [
24], based on which, the latency violation probability of the V2V link can be deduced. Additionally, the aggregate effective capacity was derived for heterogeneous statistical QoS provisioning in a wireless powered sensor network [
25]. Particularly, the aggregate effective capacity was maximized by solving the hybrid access point determined downlink energy assignment problem and the sensor node determined uplink power control problem, where the optimal system time allocation, the downlink energy assignment, and uplink power transmission were obtained. Meanwhile, network calculus is considered as a powerful tool in end-to-end performance analysis of wireless communication networks [
26]. In [
27], a network calculus based framework was constructed to guarantee the delay bound and the target reliability of each application for industrial WSNs with consideration of low-power communications and the harsh wireless environment. However, task allocation was not considered in [
25,
26,
27].
In summary, how to allocate application tasks to the sensors under the latency requirement is still an open problem, which motivates this paper.
4. General Optimization Framework
Denote the transmission power of the PS by
; ignoring the influence of background noise on energy collection, the received RF energy of
in the
i-th time block holds as:
where
is the path loss between PS and
, which depends on the distance between the PS and
.
The harvested RF energy needs to be converted into DC energy before it can be using by SNs. In order to better characterize the realistic RF energy conversion circuit, this paper adopts a nonlinear energy conversion model. In this model, the rate of DC energy collected by
in the
i-th time block can be obtained as:
where parameters
,
, and
describe the nonlinear characteristics in the process of converting RF energy into DC energy due to the limitation of circuit hardware. Specifically,
represents the maximum energy conversion rate, and
and
denote the circuit sensitivity and current leakage, respectively. The specific values can be obtained by fitting the relevant data of the actual energy conversion circuit [
28,
29]. The energy harvested by
holds as:
The harvested energy is assumed to used up for uplink DT, i.e., the transmission power holds as:
According to Shannon’s theorem, the date transmission rate in the
i-th time block holds as:
where
represents the path loss between
and BS,
denotes the power spectral density of white Gaussian noise. Because the service process
is not related between time slots, the effective capacity of
can be expressed as [
30]:
where
denotes an expectation function,
denotes the latency exponent of
. In [
30], it is proved that
is monotonically decreasing with
, i.e.,
In other words, when
, the network does not need to guarantee the LVP. Additionally, a tighter LVP requires larger
. Specifically, for a delay requirement
which is the maximum data latency tolerance for an application, the LVP of the
k-th SN holds as:
where
denotes the probability that the buffer
of the
k-th SN is nonempty in the steady state. For a system, the busy period is more worthy of being focused on, thus we assume
. In addition, according to the effective capacity theory, the maximum traffic rate of
k-th SN that can be supported holds as
.
Let
denote the data rate requirement of the application. It is interesting to investigate how to guarantee the minimum LVP for such application through optimizing the network parameters such as EH duration, DT duration, and task allocation. Furthermore, the network LVP, i.e.,
, is equal to the maximum LVP of the cooperative SNs. Hence, the optimization problem can be expressed as P1:
where C1 ensures the source rate required by the application. Constraint C2 means the transmission power of a SN should be controlled within a maximum level. Constraint C3 means that the sum of EH duration and DT duration cannot exceed the duration of a time block. Constraint C4 reveals the relationship between the maximum sustained traffic rate and the effective capacity for a node.
5. Stochastic Latency Guarantee
In order to dealing with problem P1, we are interested in the difference of performance guarantee between the FDMA mode and TDMA mode. Surprisingly, if time and frequency resources are allocated equally to each SN, we can prove that the LVP performance of such two modes are identical, which is summarized in the following.
Theorem 1. The network LVP with FMDA mode is equal to the one with TDMA mode.
Proof. According to Equations (
1), (
6), and (
8), we have the effective capacity for the FDMA mode as:
According to Equations (
2), (
6) and (
8), we have the effective capacity for the TDMA mode as:
Comparing Equations (
12) and (
13), we have
. According to Equation (
10), the LVP based on FDMA is equal to that based on TDMA for any SN when other parameters are fixed. As a result, the network LVPs based on such two modes are identical, which proves Theorem 1. ☐
Based on Theorem 1, the solutions of problem P1 under the FDMA and TDMAs are identical. Additionally, the effective capacity of each SN is related to latency exponent
, which further affects the LVP performance according to Equation (
10). The following theorem will reveal the relationship between the LVP performance and
.
Theorem 2. The LVP of a node decreases as the latency exponent increases.
Proof. According to Equations (
8) and (
10), we have
It is easily verified that the LVP of decreases as increases, which completes the proof of Theorem 2. ☐
Based on Theorem 2, smaller
can guarantee lower LVP performance for a SN. However, as mentioned before, smaller
results in smaller effective capacity, which further decreases the sustained source rate for a SN. Hence, a trade-off between the LVP performance and the sustained source rate should be taken into account. In detail, for an arbitrary cooperative node
with data rate requirement
, according to constraint
in Problem P1 and Equation (
8), we can obtain the optimal
by solving the following equation:
As
is fixed and
decreases with
,
is a decreasing function
. Consequently, Equation (
15) can be solved by the resorting bisection searching approach, which is summarized in the following. Note that, for a fixed calculation precision
, the calculation complexity of Algorithm 1 holds as
.
Algorithm 1 Find optimal |
1: | Input:, and , precision |
2: | Output: |
3: | Compute , by Equation (15). |
4: | whiledo |
5: | Set middle point . |
6: | Compute by Equation (15). |
7: | ifthen |
8: | . |
9: | else |
10: | . |
11: | end if |
12: | Compute , by Equation (15). |
13: | end while |
14: | . |
15: | END |
According to Equation (
11), problem P1 is a min-max problem. Hence, the relationship among the LVP of each SN should be addressed. The following theorem illustrates how to balance the LVP of each SN to obtain the optimal task allocation when system time allocation is given.
Theorem 3. When optimal task allocation is obtained as , then, for , there always holds: Proof. We prove Theorem 3 with a contradiction approach. Assume that, when optimal task allocation is obtained, there still exist the maximum LVP for and the minimum LVP for , where and , i.e., the assumed optimal task allocation solution is obtained under . In this case, the corresponding source rate for such two nodes are denoted by and , respectively. In addition, the corresponding latency exponents for and at this time are denoted by and , respectively. According to Theorem 2, there holds . As the effective capacity decreases with the latency exponent, we have .
Let
,
. We have
and
. Furthermore, when
, the constraint conditions in P1 are still satisfied. According to Theorem 2, we can obtain that
Hence, the network LVP can be further reduced to , which brings the contradiction. Therefore, when optimal task allocation is obtained, the LVP of each SN should be equal to each other, which completes the proof. ☐
In order to quickly ascertain the task allocation for each SN, the following corollary is given.
Corollary 1. When the source rate of a SN is allocated as , the source rate for the other nodes can be obtained by solving the following equation:where Note that is related to ; hence, we can construct a function as follows: It is easily verified that
is a decreasing function of
. Hence, the solution
of
can be obtained by a bisection search approach. Furthermore, the corresponding source rate
can be calculated by
. The method for task allocation is summarized in Algorithm 2. The computation complexity of Algorithm 2 holds as
.
Algorithm 2 Task allocation scheme |
1: | Input:, precision , and |
2: | Output: |
3: | fordo |
4: | Compute , by Equation (18). |
5: | whiledo |
6: | Set middle point . |
7: | Compute by Equation (18). |
8: | ifthen |
9: | . |
10: | else |
11: | . |
12: | end if |
13: | Compute , by Equation (18). |
14: | end while |
15: | . |
16: | Compute by C4 in Equation (11). |
17: | end for |
18: | END |
According to Theorems 2 and 3, and can be obtained when system time allocation is given. In the subsequence, a optimal system time allocation condition is given.
Theorem 4. To guarantee the minimum network LVP, the system time should be used up for energy harvesting and data transmission in each time block, i.e., Proof. Assume that can guarantee the minimum LVP with . Accordingly, we can construct another time allocation solution which satisfying and , where , i.e., . In this case, the LVP is denoted by . It is easy to verify that still satisfies all the constraints of problem P1, so it is a feasible solution. Additionally, when , each cooperative SN can harvest more energy, which implies that higher transmission power can be provided in the DT process. Hence, the effective capacity of SNs can be enhanced, which further reduces the network LVP. As a result, there is a contradiction and the system time should be used up for each time block. ☐
Based on a similar idea of Theorem 4, we can also prove that, in order to guarantee the minimum LVP with
, there holds:
In all, problem P1 can be transferred to problem P2 as follows:
In Algorithms 1 and 2, task allocation for one node, i.e.,
is needed. Hence, we can fixed the system allocation and find out
firstly. Note that
is monotonically decreasing with
and
is monotonically decreasing with
, and there is a unique solution of
for problem P2. Hence, the bisection search approach can be applied again. Furthermore, as the statistical channel information is different among all the SNs, according to Equation (
8), an SN with poorer channel information guarantees lower effective capacity, which leads to a lower sustained source rate. In order to reduce the computation complexity of task allocation, we can choose the node with poorest statistical channel information as
. In this case, the upper bound of the bisection search can be just
. The following algorithm summarizes how to find out
. It is easily verified that the computation complexity of Algorithm 3 lies in
.
Algorithm 3 Find optimal |
1: | Input:, , , W, , , , , , , K, T, , and , precision . |
2: | Output: |
3: | Compute . |
4: | Apply Algorithm 1 to find out . |
5: | Apply Algorithm 2 to find out . |
6: | whiledo |
7: | if then |
8: | . |
9: | else |
10: | . |
11: | end if |
12: | . |
13: | Apply Algorithm 1 to find out . |
14: | Apply Algorithm 2 to find out . |
15: | end while |
16: | . |
17: | END |
According to Constraint 4 of problem P2, the optimal system time can be further obtained through one-dimensional search. Therefore, problem P2 can be solved. The procedure for solving the P2 is summarized in Algorithm 4. In all, the computation complexity of the proposed joint task and resource allocation scheme holds as
.
Algorithm 4 System time allocation scheme |
1: | Input:, precision |
2: | Output:, , |
3: | for all do |
4: | switch TD mode do |
5: | case: TDMA |
6: | . |
7: | . |
8: | case: FDMA |
9: | . |
10: | . |
11: | end switch |
12: | Apply Algorithm 3 to find out optimal for . |
13: | Compute according to Equation (10) and Constraint 4 of problem P2. |
14: | end for |
15: | Find out and the corresponding , . |
16: | END |
In summary, a schematic diagram is presented to introduce our proposed scheme and the relationships between different algorithms, as depicted in
Figure 3.
6. Numerical Results
In this section, numerical results are presented and discussed. If not otherwise highlighted, the various involved parameters and the adopted analysis scenarios are as follows. The transmission power of the PS is set to
dBm (i.e., 10 W). The length of each time block is set to T = 10 ms. The total bandwidth of the network is set to
MHz. The power spectral density of the background noise
dBm/Hz. The data rate and the latency requirements of the application are set to
Mbps and
ms, respectively. The number of the SNs is set to
. For any
, the energy harvesting parameters are set as
mW,
and
mW [
31]. In addition, the channel gain due to small-scaling fading between each node and PS and that between each node and BS are both assumed to follow Rayleigh distribution with mean 1. The distance between each node and the PS and that between each node and the BS are all set to
m. Additionally, the path loss is assumed to be
with 30 dB power attenuation at a reference distance of 1 m. More intuitively, the fixed parameters are listed in
Table 1.
According to Algorithms 1–4, the precision of analytical results as well as the computation complexity of the proposed resource allocation scheme both depend on the precision parameters
,
, and
. Specifically, the lower values
,
, and
hold, the higher precision can be guaranteed for the analytical results. However, the computation complexity of the proposed scheme will increase. Hence, we first determine appropriate parameters for the subsequent numerical analysis.
Figure 4 depicts the impacts of precision parameters on the network LVP. Note that, when we aim to find out the appropriate value for one type of the precision parameter, we set the other two types of precision parameters to a sufficiently low value (e.g.,
bps). It is observed that the analytical results can be convergent for each type of precision parameter. According to
Figure 4, we set the precision parameters as
,
bps and
, respectively. Based on such configuration, a good trade-off between the analytical precision and the computation complexity can be achieved.
Figure 5 depicts the relationship between network LVP and energy harvesting proportion under different data rate requirements. It is found that the network LVP first decreases with
and then increases after reaching a certain valve, which implies that there is an optimal energy harvesting time solution for any case. The reason is that, when
is small, the cooperative SNs need more energy to support their transmissions. Hence, the network LVP is improved as
increases. However, when
is large enough, increasing
leads to shorter time to transmit data, which degrades the network LVP. In addition, the network LVP increases with application data rate requirements, since a higher source data rate is needed for each SN. In particular, when
is small enough, it is verified that a wireless link can also guarantee an ultra-high reliable transmission for time-sensitive application—while, for the optimal energy harvesting time proportion and the application data rate requirement, we find that there is a linear relationship between them. This phenomenon is verified by the subfigure of
Figure 5. The observation can help us to quickly choose the optimal energy harvesting time for other applications, which further reduces the complexity of the proposed scheme.
Figure 6 depicts relationship between network LVP and energy harvesting proportion under different positions of SNs. For the SNs with heterogeneous positions, the distance between them and the PS and that between them and the BS are both set to
m, which guarantees the average distance as 10 m. It is observed that optimal system time configuration also exists when the positions of the SNs are different. Interestingly, when the application data rate is fixed, the optimal energy harvesting time proportion under the scenario with heterogeneous node positions is equal to that under the scenario with identical node positions. Another insightful phenomenon is observed in which the network LVP with heterogeneous node positions outperforms that with identical node positions when other conditions are fixed. This implies that a node closer to the PS and BS can sustain a higher source data rate and guarantees higher performance gain compared with the performance degradation brought by the further SN.
In
Figure 7, we compare the LVP performance of the proposed scheme with two baseline schemes. In the scheme of proportional task allocation, the sensing data rate of a task is determined according to the channel capacity of a sensor node; it holds there as
The intuition of such scheme is that the higher data rate is allocated to the node with a better channel state. In the scheme of equal task allocation, the sensing data rate is allocated to each node equally. In addition, the system configuration is the same as
Figure 6. It is observed that the proposed scheme guarantees the lowest LVP while the performance of the scheme of equal task allocation is much worse than that of the other two schemes. Moreover, the optimal energy harvesting time is different under those three schemes. Therefore, the effectiveness of the proposed scheme is validated.
The impact of the number of SNs on the network LVP and the energy harvesting proportion is depicted in
Figure 8. When other conditions are identical, more cooperative SNs can guarantee lower network LVP. The reason is that each node needs to support a lower source rate when the number of SNs increases. In addition, we also observe that the optimal energy harvesting time proportion
increases with the number of SNs. This is because the source data rate requirement of each node decreases with the number of SNs. As a result, less time is needed by each SN to transmit data, which naturally leaves more time to harvest energy. Moreover, we are also interested in the relationship between the optimal
and the number of SNs. The subfigure shows that they follow an approximately linear relationship. Such observation can bring a useful guideline to determine how much time should be allocated to harvest energy when the number of nodes varies.
Figure 9 illustrates the relationship between network LVP and application latency requirement. It is found that the network LVP decreases as
increases under when the application data rate requirement and the number of SNs are fixed. This is because that larger
means a looser performance requirement needed to be guaranteed by the network. Hence, the network LVP can be improved as shown in Equation (
10).
Figure 10 depicts the minimum number requirements of nodes under different application latency requirements. It is observed that the minimum number of requirements of SNs increases as the application latency requirement becomes tighter. With the analysis in this paper, the network operator can flexibly determine the number of SNs to serve an application in terms of data rate and latency requirements.
Additionally, we are interested in the relationship between the network LVP and energy efficiency since energy efficiency is also an important performance metric in WSNs. More specifically, as the SNs can only be powered by the power station, the network energy efficiency can be defined as
As depicted in
Figure 11, the network LVP is positively related to the network energy efficiency when
is fixed. The reason is that higher energy efficiency requires lower transmission power of the power station, which degrades the network latency performance. Hence, it is necessary to balance the requirements of network LVP and energy efficiency. In addition to the network LVP (as shown in
Figure 9), the network energy efficiency can be improved through increasing the number of SNs when the total network resources are fixed. Hence, multiplexing gain is validated under the proposed scheme.
7. Discussion
From the numerical results and analysis, the relationship between the LVP and the energy harvesting time configuration is revealed. In addition, the impacts of application rate requirement, the delay requirement, and the number of the SNs on such relationship are depicted. To be specific, the optimal energy harvesting time linearly or nearly linearly varies with the application rate requirement and the number of the SNs. The higher application requirement or the smaller number of SNs is, the less time is allocated to the SNs to harvesting RF energy. The reason is that the SNs need more time to transmit data if the traffic load on them are heavier. According to the linear phenomenon observed in this paper, optimal energy harvesting time can be determined quickly. Therefore, the analysis can be applied to the practical wireless powered virtualized sensor networks to perform resource allocations.
Additionally, the proposed scheme can guarantee low LVP without strict resource requirements, which confirms its ability for a reliability guarantee. Particularly, while comparing with the proportional task allocation scheme and the equal task allocation scheme, the proposed scheme lowers the latency violation probability to 11.6 times and 4600 times, respectively. This is because the proposed scheme takes the heterogeneous transmission ability of each SN into account. As a result, the task rate allocated to each SN can achieve our aim that the minimum individual latency violation provability is minimized. Moreover, as discussed before, the computation complexity of the proposed scheme is . Therefore, the complexity increases linearly with the number of SNs and increases logarithmically with the accuracy requirement, which is controllable in practical networks.