Worst-case Analysis for Sensor Networks
Worst-case Analysis for Sensor Networks
Abstract—Dimensioning wireless sensor networks requires demonstrated that both energy saving and high performance
formal methods to guarantee network performance and cost in can be achieved by conducting variable duty-cycle operations
any conditions. Based on network calculus, this paper presents a in media access control protocols. Secondly, we applied the
deterministic analysis method for evaluating the worst-case
performance and buffer cost of sensor networks. To this end, we network calculus theory to analyze three general traffic flow
introduce three general traffic flow operators and derive their operators, which can be used to characterize any complex
delay and buffer bounds. These operators are general because traffic flowing scenarios. The method can be applied to
they can be used in combination to model any complex traffic networks with any topologies as long as there is no loop.
flowing scenarios in sensor networks. Furthermore, our method Thirdly, traffic splitting routing can be applied in this method.
integrates variable duty cycle to allow the sensor nodes to operate With traffic splitting mechanisms, a traffic flow is split into
at lower rates thus saving power. Moreover, it incorporates
traffic splitting mechanisms in order to balance network several sub-flows and each one is sent to the destination across
workload and nodes’ buffers. To show how our method applies to different paths. Traffic splitting can be useful in improving the
real applications, we conduct a case study on a fresh food bandwidth efficiency, mitigating congestion, and increasing
tracking application, which monitors the food freshness in real- delivery reliability [8]. In addition, in [3] [4] [5], their works
time. The experimental results demonstrate that our method can are based on a common assumption that the service rate is
be either used to perform network planning before deployment, constantly bigger than the input data rate. The assumption may
or to conduct network reconfiguration after deployment.
not always be reasonable in sensor networks since nodes
should allow different operation rates for the best of power
I. INTRODUCTION saving without compromising performance. Our method can
As advances in wireless communications and electronics, incorporate the rate adjustment in nodes.
wireless sensor network (WSN) has become a promising We have described the traffic splitting mechanisms in our
technology with a wide range of applications, such as health previous work [6], from which we borrow many notations
care, supply chain management, structural monitoring, and used in this paper. However, this paper differs from [6] on the
military support [1]. In most of the applications, it is essential following aspects. In [6], the work mainly focused on
to ensure that the performance of sensor networks is analyzing traffic splitting mechanisms; in this paper our main
predictable even in the worst case. contribution is proposing a deterministic analysis method
Recently, network calculus has been developed for worst- integrating variable duty cycle and three general traffic flow
case performance analysis in packet switching networks [2]. operators. Moreover, the topology of sensor network
With network calculus, some fundamental properties of examined in [6] is a regular 2D mesh. In this paper, this
packet-switched networks, such as delay bound and backlog limitation is lifted.
bound, can be studied. Jens et al. [3] [4] extended this theory In this paper, we apply and extend the network calculus
to sensor network calculus, which can be used as a tool for theory to the worst-case performance analysis of sensor
worst case traffic analysis in sensor networks. In [5], Anis et networks. We introduce three general traffic flow operators
al. proposed a methodology for the modeling and worst-case and derive their characteristics using network calculus theory.
dimensioning of cluster-tree sensor networks. In this paper, we Based on the traffic flow operators, we present a deterministic
also apply network calculus to examine the worst-case performance analysis method which integrates variable duty
performance of sensor networks. However, our work differs cycle operations and traffic splitting mechanisms. In order to
from the previous work and makes significant improvement in show how the analysis method works, a case study of
the following aspects. Firstly, variable duty cycle (see section designing a sensor network for monitoring food freshness in
2-C) is considered in our approach, thus providing a facility to real-time (see details in section 4-A) is conducted. The
make compromises between latency and power consumption numerical results indicate that variable duty cycle operations
according to application requirements. In [7], Sang et al. and traffic splitting mechanisms have significant effects on
improving the performance of sensor networks. Thus, burst tolerance (in units of data) and the rate (in units of data
requirements of different applications can be satisfied by per unit time), respectively. Having α(t) as an arrival curve
selecting appropriate network parameters such as duty cycle, allows a source to send σ bits at once, but not more than ρ bits/s
work period and splitting coefficient. Therefore, the analysis over the long run. Similarly, the output flow from a node could
method provides a way for a sensor network designer to also be modeled by a cumulative function denoted by R*(t),
which is defined as the traffic departing from the node in time
perform network planning prior to deployment, as well as to interval [0, t]. The relation between the input flow R(t) and
reconfigure network after design. output flow R*(t) is expressed as (Fig. 2),
The rest of this paper is organized as follows: section 2
introduces the system model of sensor networks and basic R * ( t ) ≥ inf ( R ( s ) + β ( t − s )); ∀ t ≥ 0 (2)
s≤t
knowledge of network calculus theory. In section 3, three
general traffic flow operators and the deterministic analysis where β(t) is defined as the service curve [2] provided by the
method are presented. We present the wireless sensor network sensor node, which is a wide sense increasing function with β(0)
for fresh food tracking and give numerical results in section 4. = 0.
Finally, conclusions are drawn in section 5. Assume an arrival flow R(t), constrained by arrival curve
α(t), traverses a sensor node that offers a service curve β(t).
II. MODELS Then, the delay bound D(t), buffer bound B(t), and output flow
R*(t) can be derived according to the following lemmas. The
A. Sensor Netowrk System Model proofs of these lemmas can be found in [2].
Lemma 1. Delay bound
We consider a static wireless sensor network consisting of
multiple sensor nodes and one sink node. These sensors are D(t ) ≤ inf{τ ≥ 0 : α (t ) ≤ β (t + τ )} (3)
randomly scattered in a field that needs to be sensed (Fig. 1).
Sensor nodes periodically send their acquired data to the sink Lemma 2. Backlog bound
through multi-hop routing. A sensor node has the ability to B(t ) ≤ sup{α ( s ) − β ( s )}
sensing the environment and generating messages, as well as s ≥0
(4)
relaying messages for other nodes.
Lemma 3. Output flow: The output flow R*(t) is constrained by
the arrival curve,
α * (t ) = sup{α (t + s) − β (s)} (5)
s≥0
α (t )
β (t )
90
30
Duty cycle = 0.08 backlogs, while traffic splitting mechanisms can largely
40 0
Therefore, our proposed method not only provides an effective
way for a designer to estimate the worst-case performance of
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
Traffic load Traffic load
Fig. 6 Data delivery ratio Fig. 7 Worst-case delay sensor networks, but also can be used as a tool for network
with various duty cycles with various duty cycles reconfiguration after design.
100
Traffic load VS. Delievery ratio
7
Traffic load VS. Average delay For the future work, we intend to integrate fault tolerance
95
NoTS
AvTS
NoTS
AvTS into the analysis method. Furthermore, it is interesting to
Delievery ratio (in percentage)
85
4 performance requirements, energy constraints, and service
strategies.
80
3
75
2
ACKNOWLEDGMENT
70
65 1
60
0 0.2 0.4 0.6 0.8 1
0
0 0.2 0.4 0.6 0.8 1 This work is supported by VINN Excellence iPack Center
Traffic load
90
RaTS
35
RaTS
[2] J. –Y. Le Boudec, and P. Thiran, “Network Calculus: A Theory of
Worst-case delay (s)
80
30 Deterministic Queuing Systems for the Internet”, Springer, LNCS 2050,
70 25
2004
20
[3] J. B. Schmitt, and Utz Roedig, “Sensor network calculus – A framework
60
15
for worst case analysis”, IEEE/ACM International conference on
50
10
Distributed Computing in Sensor Systems (DCOSS’05), USA, 2005
[4] J. B. Schmitt, F. A. Zdarsky, and Utz Roedig, “Sensor network calculus
40 5
10 20 30
Number of sensors
40 50 10 20 30
Number of sensors
40 50 with multiple sinks”, In proc. of IFIP networking, workshop on
Fig. 10 Data delivery Fig. 11 End-to-end worst-case performance control in wireless sensor networks, Portugal, 2006
ratio vs. network sizes delay vs. network sizes [5] Anis Koubaa, M. Alves, and E. Tovar, “Modeling and worst-case
dimensioning of cluster-tree wireless sensor networks”, the 27th IEEE
Backlog changing with duty cycles Backlog changing with splitting methods International Real-Time Systems Symposium (RTSS’06), Brazil, 2006
8000 7000
Duty cycle = 0.04 NoTS [6] H. She, Z. Lu, A. Jantsch, L.-R. Zheng, D. Zhou, “Traffic splitting with
7000 Duty cycle = 0.08
Duty cycle = 0.15
6000 RaTS
AvTS network calculus for mesh sensor networks”, the 2007 International
6000
5000 Workshop on Wireless Ad Hoc, Mesh and Sensor Networks
(WAMSNet’07), Korea, 2007
Backlog (bits)
Backlog (bits)
5000
4000
4000 [7] Sang Hoon Lee, Joon Ho Park, and Lynn Choi, “AMAC: Traffic-
3000
3000 adaptive sensor network MAC protocol through variable duty-cycle
2000
2000
operations”, In Proceedings of IEEE International Conference on
1000 1000 Communications (ICC’07), Scotland, 2007
0 0 [8] S.-J. Lee, M. Gerla, “Split multipath routing with maximally disjoint
B_min B_ave B_max B_min B_ave B_max
paths in ad hoc networks”, IEEE International Conference on
Fig. 12 Backlogs with Fig. 13 Backlogs in different Communications (ICC’01), 2001
different duty cycles splitting strategies
[9] R. Cruz, “A calculus for network delay, part I: Network elements in
isolation”, IEEE Trans. on Info. Theory, vol. 37, pp. 114-121, 1991
V. CONCLUSIONS [10] H. Zhang, “Service disciplines for guaranteed performance service in
packet switching networks”, Proceedings of the IEEE, 1995
In this work, we proposed a deterministic method for [11] L. Lenzini, L. Martorini, E. Mingozzi, and G. Stea, “Tight end-to-end
worst-case performance analysis in wireless sensor networks. per-flow delay bounds in FIFO multiplexing sink-tree networks”,
Three general traffic flow operators are defined to model any Performance Evaluation Journal(Elsevier), vol.63, pp 956-987, 2006
[12] Billerud AB, “The Billerud book of maths”, [Link]
traffic flowing scenarios. Based on the results from the basic [13] Crossbow Technology Inc., “MICA2 Datasheet” [Link]
operators, we presented the deterministic method, which