Extending Stochastic Network Calculus to Loss Analysis

Abstract

Loss is an important parameter of Quality of Service (QoS). Though stochastic network calculus is a very useful tool for performance evaluation of computer networks, existing studies on stochastic service guarantees mainly focused on the delay and backlog. Some efforts have been made to analyse loss by deterministic network calculus, but there are few results to extend stochastic network calculus for loss analysis. In this paper, we introduce a new parameter named loss factor into stochastic network calculus and then derive the loss bound through the existing arrival curve and service curve via this parameter. We then prove that our result is suitable for the networks with multiple input flows. Simulations show the impact of buffer size, arrival traffic, and service on the loss factor.

1. Introduction

Loss is one of the key indicators of QoS. Traditional methods for loss analysis aim at estimating the work load loss ratio based on the approximations of buffer overflow probability [1–4]. However, there are two main drawbacks in these methods. First, it is difficult to calculate the buffer overflow probability for some input processes. Second, the relation between loss ratio and buffer overflow probability is often hardly quantifiable [1].

Network calculus is a theoretical framework for analysing performance guarantees in computer networks [5]. The deterministic network calculus, firstly proposed by Cruz [6, 7], can be used to obtain the delay bound and backlog bound in the worst case [8]. Some efforts have been made to apply deterministic network calculus to get the loss probability or loss bound. In [9], a new composable service model with loss is proposed, but it can only be used for a specific scheduling algorithm mentioned in the paper, which limits the scope of its application. A loss bound is derived with envelop and moment generating function in [10]. The indirect method for packet loss approximation mentioned in [11] is also based on deterministic arrival curve and deterministic service curve. However, the deterministic network calculus usually results in overly pessimistic performance bounds that are rarely attained which leads to low utilization of network resources. This defect limits the range of its application. Consequently, loss analysis based on deterministic network calculus is not suitable for many applications.

As a probabilistic extension of the deterministic network calculus, stochastic network calculus has been studied by some researchers [12, 13]. Stochastic network calculus uses some stochastic arrival curves and some stochastic service curves to characterize the arrival process and the service process, which can provide stochastic QoS guarantees [14]. This feature makes stochastic network calculus suitable for many applications to which deterministic network calculus can-not be applied. Hence, it is very significative to find a way to analyse loss by using stochastic network calculus.

In this paper, we do not assume that the network is lossless but consider a network with finite buffer size which is not large enough to avoid loss occurring. Accounting for the nature of stochastic arrival curve and stochastic service curve, it is very difficult to calculate the amount of packets that have been dropped by directly using stochastic network calculus. To fill this vacancy, we propose a novel method to calculate the loss bound by using stochastic network calculus. We introduce a new parameter, named loss factor, into stochastic network calculus. Via this new parameter, we establish a loss analysis model based on traffic-amount-centric stochastic arrival curve and stochastic strict service curve.

The rest of this paper is organized as follows. The notations and the theoretical background of stochastic network calculus are introduced in Section 2. In Section 3, we present and prove our loss analysis model. In Section 4, we show that our analysis model can be also applied to the scenario with multiple input flows. We explore the relationships between the loss factor and the buffer size, the loss factor and the arrival, and the loss factor and the service by simulation in Section 5. In Section 6, we make a brief conclusion.

2. Background

In this section, we introduce the notations and some concepts of stochastic network calculus which will be used in this paper.

2.1. Notations

We use 𝐴(𝑡), 𝑆(𝑡), 𝐴^∗(𝑡), 𝐵(𝑡), and 𝐿(𝑡) denoting the arrival process, the service process, the departure process, the backlog at time 𝑡, and the loss process in time interval (0,𝑡], respectively. We also denote 𝐴(𝑠,𝑡)≡𝐴(𝑡)−𝐴(𝑠), 𝑆(𝑠,𝑡)≡𝑆(𝑡)−𝑆(𝑠), 𝐴^∗(𝑠,𝑡)≡𝐴^∗(𝑡)−𝐴^∗(𝑠), 𝐵(𝑡)=𝐴(𝑡)−𝐴^∗(𝑡) and 𝐿(𝑠,𝑡)≡𝐿(𝑡)−𝐿(𝑠). Conventionally, we assume that 𝐴(𝑡), 𝑆(𝑡), 𝐴^∗(𝑡), 𝐵(𝑡), and 𝐿(𝑡) have zero value at 𝑡=0.

We denote the set of nonnegative wide-sense increasing function by ℱ, where for each function 𝑓(⋅), there holds ℱ=𝑓(⋅)∶∀0≤𝑥≤𝑦,0≤𝑓(𝑥)≤𝑓𝑦. (1)

We denote the set of nonnegative wide-sense decreasing function by ℱ, where for each function 𝑓(⋅), there holds ℱ=𝑓(⋅)∶∀0≤𝑥≤𝑦,0≤𝑓𝑦≤𝑓(𝑥). (2)

2.2. Stochastic Network Calculus

Min-plus algebra has been wildly used in network calculus. For given functions 𝑓 and 𝑔, the min-plus convolution operator ⊗ and the min-plus de-convolution ⊘ are defined by 𝑓⊗𝑔(𝑡)=inf_{0≤𝑠≤𝑡}𝑓(𝑠)(),(𝑡)+𝑔𝑡−𝑠𝑓⊘𝑔=sup_𝑡≥0𝑓(𝑡+𝑠)−𝑔(𝑠). (3)

The following properties of ⊗ will be used in the latter paper [5]. Let 𝑓,𝑔,ℎ∈ℱ:(i)(closure of ⊗) 𝑓⊗𝑔∈ℱ;(ii)(associativity of ⊗) (𝑓⊗𝑔)⊗ℎ=𝑓⊗(𝑔⊗ℎ);(iii)(commutativity of ⊗) 𝑓⊗𝑔=𝑔⊗𝑓.

Many kinds of stochastic arrival curves and stochastic service curves are proposed in stochastic network calculus. We use the traffic-amount-centric stochastic arrival curve and the stochastic strict service curve in our loss analysis model, and their definitions are as follows.

Definition 1 (t.a.c. stochastic arrival curve [12]). A flow is said to have a traffic-amount-centric (t.a.c.) stochastic arrival curve 𝛼∈ℱ with bounding function 𝑓∈ℱ, denoted by 𝐴∼_ta⟨𝑓,𝛼⟩; if for all 0≤𝑠≤𝑡 and all 𝑥≥0, there holds 𝑃{𝐴(𝑠,𝑡)−𝛼(𝑡−𝑠)>𝑥}≤𝑓(𝑥). (4)

Definition 2 (stochastic strict service curve [12]). A system is said to be a stochastic strict server providing stochastic strict service curve 𝛽(𝑡) with bounding function 𝑔(𝑥)∈ℱ, denoted by 𝑆∼_ssc⟨𝑔,𝛽⟩, if during any period (𝑠,𝑡], the amount of service 𝑆(𝑠,𝑡) provided by the system satisfies 𝑃𝑆(𝑠,𝑡)<𝛽(𝑡−𝑠)−𝑥≤𝑔(𝑥) (5) for any 𝑥≥0.

2.3. Related Work

As far as we know, there are very few results on loss analysis in the context of stochastic network calculus. In [15, 16], the authors proposed a new stochastic network calculus for loss analysis. However, there are two main limitations in their results. First, the arrival curve and the service curve they proposed are not suitable for the arrival traffic and the service that have high burstiness. Second, the upper bound of the loss ratio can be derived only under the condition that the system has a certain buffer size 𝑏 which is determined by the arrival curve and the service curve. That means if the buffer of a system is not equal to 𝑏, the bound of the loss ratio can-not be obtained.

Existing results on loss, including the one mentioned in the previous paragraph, are obtained approximately from the backlog analysis. However, this approximation in general gives loose bounds [17]. Assume that the buffer size is 𝑏 and the approximate upper bound of the loss probability is 𝑃{𝐵(𝑡)>𝑏}. The main problem in the approximation is that the buffer size is assumed to be infinite in stochastic network calculus; that is to say the system is lossless. But in the real system, the backlog can never exceed 𝑏, because the exceeded packets are dropped. This is the reason why the bounds are loose. It is hence of great importance to study the loss directly, not by the approximation of the backlog.

3. Loss Bound Based on Stochastic Network Calculus

Unlike delay and backlog, it is not easy to directly use some stochastic arrival curves and some stochastic service curves to denote loss within existing framework of stochastic network calculus. In this section, we firstly give the definition of loss period and then present the loss bound based on stochastic network calculus.

Definition 3 (loss period). In a network system, a duration is called a loss period if it begins when the buffer is full and the arrival rate is larger than the service rate, and it ends once the arrival rate is smaller than the service rate.

If (𝑠,𝑡] is a loss period, then the amount of loss during (𝑠,𝑡] is 𝐴(𝑠,𝑡)−𝑆(𝑠,𝑡). Then the loss bound 𝐿(𝑠,𝑡) can be expressed as 𝑃{𝐿(𝑠,𝑡)>𝑥}=𝑃{𝐴(𝑠,𝑡)−𝑆(𝑠,𝑡)>𝑥}. (6) In a period of time, the occurrences of loss periods are difficult to confirm. Hence, the result provided by Lemma 4 [12] below is indispensable to our following analysis.

Lemma 4. For any random variables 𝑋 and 𝑌, and ∀𝑥≥0, if 𝑃{𝑋>𝑥}≤𝑓(𝑥) and 𝑃{𝑌>𝑥}≤𝑔(𝑥), where 𝑓,𝑔∈ℱ, then 𝑃{𝑋+𝑌>𝑥}≤𝑓⊗𝑔(𝑥). (7)

The result provided by Lemma 4 can be easily extended to 𝑛 (𝑛>2) variables.

In essence, the size of the buffer of a system definitely has impact on the loss. In the current theoretic framework of stochastic network calculus; however, the buffer size is usually assumed to be infinite and the impact of the buffer size can-not be embodied. Hence, we introduce a new parameter called loss factor into stochastic network calculus.

Definition 5 (loss factor). In stochastic network calculus, loss factor is a parameter which indicates the combined impact of arrival, service, and buffer size on loss.

We consider a simple network with one input flow as depicted in Figure 1; then, we present the loss bound in Theorem 6 below.

Figure 1 

A simple network.

Theorem 6. Consider that a flow arrives into a network system with finite buffer. If the flow has a t.a.c. stochastic arrival curve 𝛼 denoted by 𝐴∼_𝑡𝑎⟨𝑓,𝛼⟩ and the system provides a stochastic strict service curve 𝛽 denoted by 𝑆∼_𝑠𝑠𝑐⟨𝑔,𝛽⟩, then there exists a 𝑟, where 𝑟>1 for all 𝑥≥0 and 0≤𝑠≤𝑡, such that 𝑃{𝐿(𝑠,𝑡)>𝑥}≤𝑟𝑓⊗𝑔𝑥+𝛽(𝑡−𝑠)−𝛼(𝑡−𝑠). (8)

Proof. During time [𝑠,𝑡], we assume that there are 𝑛 loss periods [𝑠₁,𝑡₁], [𝑠₂,𝑡₂],…,[𝑠_𝑛,𝑡_𝑛](𝑠≤𝑠₁≤𝑡₁≤𝑠₂≤𝑡₂≤⋯≤𝑠_𝑛≤𝑡_𝑛≤𝑡). Let 𝑡_𝑖−𝑠_𝑖=𝜏_𝑖 and ∑𝜏_𝑖=𝜏, where 𝑖=1,2,…,𝑛.
The amount of loss is the sum of the differences between the arrival and the service in the 𝑛 loss periods. For all 𝑖∈[1,2,…,𝑛], we have 𝐿𝑠_𝑖,𝑡_𝑖=𝐴𝑠_𝑖,𝑡_𝑖−𝑆𝑠_𝑖,𝑡_𝑖, (9) and the total loss during [𝑠,𝑡] is 𝐿(𝑠,𝑡)=^𝑛_𝑖=1𝐿𝑠_𝑖,𝑡_𝑖=^𝑛_𝑖=1𝐴𝑠_𝑖,𝑡_𝑖−𝑆𝑠_𝑖,𝑡_𝑖=^𝑛_𝑖=1𝐴𝑠_𝑖,𝑡_𝑖−𝛼𝜏_𝑖+𝛽𝜏_𝑖−𝑆𝑠_𝑖,𝑡_𝑖−^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖, (10) where 𝑖∈[1,2,…,𝑛].
Then the loss bound can be expressed as 𝑃{𝐿(𝑠,𝑡)>𝑥}=𝑃^𝑛_𝑖=1𝐴𝑠_𝑖,𝑡_𝑖−𝛼𝜏_𝑖+𝛽𝜏_𝑖−𝑆𝑠_𝑖,𝑡_𝑖−^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖>𝑥=𝑃^𝑛_𝑖=1𝐴𝑠_𝑖,𝑡_𝑖−𝛼𝜏_𝑖+𝛽𝜏_𝑖−𝑆𝑠_𝑖,𝑡_𝑖>𝑥+^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖. (11) According to the properties of ⊗ and Lemma 4, we can get the following inequality from (11): 𝑃{𝐿()}≤𝑠,𝑡>𝑥𝑓⊗⋯⊗𝑓_{𝑛occurrences}⊗𝑔⊗⋯⊗𝑔_{𝑛occurrences}𝑥+^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖=𝑓⊗⋯⊗𝑓_{𝑛occurrences}⊗𝑔⊗⋯⊗𝑔_{𝑛occurrences}×𝑥+^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖=𝑓⊗𝑔^𝑛𝑥+^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖. (12) For a nonnegative wide-sense decreasing function ℎ, there exists a 𝛿 that makes ℎ⊗ℎ(𝑥)=𝛿ℎ(𝑥), where 𝛿>1. Hence, (12) can be simplified as 𝜆𝑓⊗𝑔𝑥+^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖, (13) where 𝜆>1.
In the long term, the arrival traffic will not exceed the service provided by the network system (or the system will collapse). Hence, for stability, we assume 𝛽(𝑥)≥𝛼(𝑥) for all 𝑥≥0.
Since ^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖∈0,𝛽(𝑡−𝑠)−𝛼(𝑡−𝑠), (14) there exists a 𝜂∈[0,1] making 𝜂𝛽(𝑡−𝑠)−𝛼(𝑡−𝑠)=^𝑛_𝑖=1𝛽𝜏_𝑖−𝛼𝜏_𝑖. (15) It is obvious that we can find a 𝑟, where 𝑟≥𝜆>1 which makes 𝑟()()𝛽()(,𝑓⊗𝑔𝑥+𝛽𝑡−𝑠−𝛼𝑡−𝑠=𝜆𝑓⊗𝑔𝑥+𝜂𝑡−𝑠−𝛼𝑡−𝑠) (16) since 𝑓⊗𝑔 is a nonnegative wide-sense decreasing function. Then the theorem is proved.

Note that 𝑟 is determined by the arrival traffic, the service provided by the network system, and the buffer size 𝑏 together. If 𝑟 can be denoted by a function 𝑅(𝐴(𝑠,𝑡),𝑆(𝑠,𝑡),𝑏), then (8) can be rewritten as 𝑃{𝐿()}(𝐴()())()().𝑠,𝑡>𝑥≤𝑅𝑠,𝑡,𝑆𝑠,𝑡,𝑏𝑓⊗𝑔𝑥+𝛽𝑡−𝑠−𝛼𝑡−𝑠 (17) When the buffer size 𝑏 approaches to infinity or the service provided by the network 𝑆(𝑠,𝑡) is larger than or equal to the arrival traffic 𝐴(𝑠,𝑡) for all 0≤𝑠≤𝑡, 𝑅(𝐴(𝑠,𝑡),𝑆(𝑠,𝑡),𝑏) should be small enough making 𝑅(𝐴(𝑠,𝑡),𝑆(𝑠,𝑡),𝑏)𝑓⊗𝑔(𝑥+𝛽(𝑡−𝑠)−𝛼(𝑡−𝑠)) tend to zero.

There is one thing should be noticed that our analysis is based on t.a.c. stochastic arrival curve and stochastic strict service curve. However, there are many kinds of traffic that can-not be characterized by t.a.c. stochastic arrival curve but can be modeled by v.b.c. stochastic service curve or m.b.c. stochastic arrival curve. In some cases, only stochastic strict service curve or weak stochastic network calculus can be obtained [12]. The forms of these arrival curves and these service curves are presented in Tables 1 and 2, and their detailed definitions can be referred to in [14]. Our loss analysis model can-not be directly applied under these scenarios. Fortunately, this problem can be solved by using the model transform in stochastic network calculus. By the model transform, we can readily obtain the t.a.c. stochastic arrival curve and the stochastic strict service curve if we deduce any other types of stochastic arrival curves and stochastic service curves. The details of the model transform are presented in [18].

Table 1 

Stochastic arrival curves.

Table 2 

Stochastic service curves.

4. Loss Bounds for Multiple Input Flows

Compared to deterministic network calculus, statistical multiplexing gain is a great advantage of stochastic network calculus. Hence, in this section, we consider a network scenario with multiple input flows as shown in Figure 2. We will prove that our analysis model mentioned in the previous section can be also applied to this scenario. The superposition property given by Theorem 7 is necessary for our latter analysis.

Figure 2 

A network with multiple input flows.

Theorem 7 (superposition). Consider 𝑁 flows with arrival processes 𝐴_𝑖(𝑡), 𝑖=1,…,𝑁, respectively. Let 𝐴(𝑡) denote the aggregate arrival process, or 𝐴(𝑡)=∑^𝑁_𝑖=1𝐴_𝑖(𝑡). If ∀𝑖, 𝐴_𝑖∼_𝑡𝑎⟨𝑓_𝑖,𝛼_𝑖⟩, then 𝐴∼_𝑡𝑎⟨𝑓,𝛼⟩ where 𝑓(𝑥)=𝑓₁⊗⋯⊗𝑓_𝑁(𝑥) and 𝛼(𝑡)=∑^𝑛_𝑖=1𝛼_𝑖(𝑡).

Proof. Consider 𝑃{𝐴(𝑠,𝑡)−𝛼(𝑡−𝑠)>𝑥}=𝑃^𝑁_𝑖=1𝐴_𝑖(𝑠,𝑡)−^𝑁_𝑖=1𝛼_𝑖(𝑡−𝑠)>𝑥=𝑃^𝑁_𝑖=1𝐴_𝑖(𝑠,𝑡)−𝛼_𝑖(𝑡−𝑠)>𝑥. (18) According to Lemma 4, we obtain 𝑃^𝑁_𝑖=1𝐴_𝑖(𝑠,𝑡)−𝛼_𝑖(𝑡−𝑠)>𝑥≤𝑓₁⊗⋯⊗𝑓_𝑁(𝑥). (19) The theorem is proved by applying (19) to (18).

The loss bounds for the aggregate flow and every single flow are given by Theorem 8.

Theorem 8. Consider a network system with finite buffer that is fed with 𝑁 flows with arrival processes 𝐴_𝑖(𝑡), 𝑖=1,2,…,𝑁, respectively. Let 𝐴(𝑡) denote the aggregated arrival process. If the system provides a stochastic strict service curve 𝑆∼_𝑠𝑠𝑐⟨𝑔,𝛽⟩ and ∀𝑖, 𝐴_𝑖∼_𝑡𝑎⟨𝑓_𝑖,𝛼_𝑖⟩, then if ∑^𝑁_𝑖=1𝛼_𝑖(𝑡)<𝛽(𝑡) for all 𝑡≥0, the loss bounds for the aggregated flow and for each single flow 𝑖 are 𝑃{𝐿()}()(),𝑃𝐿𝑠,𝑡>𝑥≤𝑟𝑓⊗𝑔𝑥+𝛽𝑡−𝑠−𝛼𝑡−𝑠_𝑖(𝑠,𝑡)>𝑥≤𝑟_𝑖𝑓⊗𝑔𝑥+𝛽(𝑡−𝑠)−𝛼(𝑡−𝑠), (20)(21) where 𝑓(𝑥)=𝑓₁⊗⋯⊗𝑓_𝑁(𝑥), 𝛼(𝑡)=∑^𝑁_𝑖=1𝛼_𝑖(𝑡), and 𝑟_𝑖 and 𝑟 are some constants in (1,+∞).

Proof. According to Theorem 7, the aggregate process 𝐴(𝑡) has a t.a.c. arrival curve 𝛼(𝑡)=∑^𝑁_𝑖=1𝛼_𝑖(𝑡) with bounding function 𝑓(𝑥)=𝑓₁⊗⋯⊗𝑓_𝑁(𝑥). Then we can readily get (20) by Theorem 6.
Let 𝑆_𝑖(𝑠,𝑡) denote the service provided to flow 𝑖 by the network system during [𝑠,𝑡]; then, 𝑆_𝑖(𝑠,𝑡)=𝑆(𝑠,𝑡)−^𝑁_{𝑗=1,𝑗≠𝑖}𝐴_𝑗(),𝑃𝑆𝑠,𝑡_𝑖(𝑠,𝑡)<𝛽(𝑡−𝑠)−^𝑁_{𝑗=1,𝑗≠𝑖}𝛼_𝑗()𝑆()−𝑡−𝑠−𝑥=𝑃𝑠,𝑡^𝑁_{𝑗=1,𝑗≠𝑖}𝐴_𝑗()()−𝑠,𝑡<𝛽𝑡−𝑠_{𝑁𝑗=1,𝑗≠𝑖}𝛼_𝑗()𝛽()()+𝑡−𝑠−𝑥=𝑃𝑡−𝑠−𝑆𝑠,𝑡_{𝑁𝑗=1,𝑗≠𝑖}𝐴_𝑗(𝑠,𝑡)−𝛼_𝑗(𝑡−𝑠)>𝑥≤𝑔⊗𝑓₁⊗⋯⊗𝑓_𝑖−1⊗𝑓_𝑖+1⊗⋯⊗𝑓_𝑁(𝑥). (22)
So the network system provides to the flow 𝑖 a stochastic strict service curve denoted by 𝑆_𝑖∼_ssc⟨𝑔_𝑖,𝛽_𝑖⟩, where 𝛽_𝑖(𝑡)=𝛽(𝑡)−∑^𝑁_{𝑗=1,𝑗≠𝑖}𝛼_𝑗(𝑡) and 𝑔_𝑖(𝑥)=𝑔⊗𝑓₁⊗⋯⊗𝑓_𝑖−1⊗𝑓_𝑖+1⊗⋯⊗𝑓_𝑁(𝑥). Then the loss bound for flow 𝑖 can be obtained from Theorem 6𝑃𝐿_𝑖(𝑠,𝑡)>𝑥≤𝑟_𝑖𝑓_𝑖⊗𝑔_𝑖𝑥+𝛽_𝑖(𝑡−𝑠)−𝛼_𝑖(𝑡−𝑠)=𝑟_𝑖𝑓_𝑖⊗𝑔⊗𝑓₁⊗⋯⊗𝑓_𝑖−1⊗𝑓_𝑖+1⊗⋯⊗𝑓_𝑁𝑥+𝛽(𝑡−𝑠)−^𝑁_{𝑗=1,𝑗≠𝑖}𝛼_𝑗(𝑡−𝑠)−𝛼_𝑖(𝑡−𝑠)=𝑟_𝑖𝑓₁⊗⋯⊗𝑓_𝑁⊗𝑔𝑥+𝛽(𝑡−𝑠)−𝛼(𝑡−𝑠)=𝑟_𝑖𝑓⊗𝑔𝑥+𝛽(𝑡−𝑠)−𝛼(𝑡−𝑠). (23)

5. Loss Factor

In this section, we will explore how the input traffic, the service provided by the server, and the buffer size affect the value of loss factor by simulation.

5.1. Simulation Model

The simulations were implemented in SimEvents which provides a discrete-event simulation engine and component library for Simulink. We consider the same network system as depicted in Figure 1. The corresponding simulation model should be as Figure 3 shows.

Figure 3 

The simulation model.

However, when the buffer block is full, the IN port of this block is unavailable and the previous block stops generating entities. That means there will be no more packets arriving at the server while the queue of the server is full, which conflicts with the cause of packet loss we assumed above. Hence, we design a revised model to accommodate to our loss analysis model.

In Figure 4, we use the schedule timeout block, the FIFO queue block, and the cancel timeout block to simulate the loss process. The schedule timeout block schedules a timeout event for each arriving entity. When the buffer block is full, the new arriving entities will be queuing in the FIFO Queue block. We set the timeout interval of the schedule timeout block for a small value. Then once there are entities in the FIFO queue block, they will be dropped in a very short time.

Figure 4 

The revised simulation model.

5.2. Arrival Curve and Service Curve

We assume that all packets have the same length and an entity in the simulation model denotes a packet. We assume that the server adopts FIFO and the service time for one packet is 𝛿. We assume the arrival traffic follows a Poisson process with the parameter 𝜆.

For a Poisson process 𝐴(𝑡), we have 𝑃{𝐴(𝑠+𝑡)−𝐴(𝑠)=𝑛}=𝑒^−𝜆𝑡(𝜆𝑡)^𝑛.𝑛! (24) Then the traffic arrival curve can be expressed as 𝑃{𝐴()}{𝐴()(𝑠)}≤𝑠,𝑠+𝑡−𝜆𝑡>𝑥=𝑃𝑠+𝑡−𝐴>𝜆𝑡+𝑥_{∞⌈⌉𝑛=𝑥+𝜆𝑡}𝑒^−𝜆𝑡⋅(𝜆𝑡)^𝑛.𝑛! (25) The factorial and the sum make it hard to calculate the bounding function. We use an approximation result provided in [19] which gives a much simpler bounding function 𝑃{𝐴(𝑠,𝑠+𝑡)−𝜆𝑡>𝑥}≤𝑒^{𝑥−(𝜆𝑡+𝑥)ln((𝜆𝑡+𝑥)/𝜆𝑡)}. (26)

Since the service time of each packet is assumed to be a fixed value, we can readily get the service curve 𝑆(𝑠,𝑠+𝑡)=𝑐𝑡, (27) where 𝑐=1/𝛿.

According to Theorem 6, the loss bound is obtained as 𝑃{𝐿(𝑠,𝑠+𝑡)>𝑥}≤𝑟𝑓(𝑥+𝑐𝑡−𝜆𝑡), (28) where 𝑓(𝑥)=𝑒^{𝑥−(𝜆𝑡+𝑥)ln((𝜆𝑡+𝑥)/𝜆𝑡)}.

5.3. Simulation Results

In this part, we will try to find out the correlations between the loss factor, buffer size, the arrival traffic and the service. Then three different sets of parameters for simulations are adopted as shown in Table 3.

Table 3 

Simulation parameters.

The value of the loss factor can-not be directly obtained by the simulation. Because the simulation result can only provide the amount of loss packets and the result provided by (28) is the CCDF of the loss. Then we design a method to obtain an approximate value of the loss factor. For a certain parameter family, we do the simulation for 100 times and get 100 corresponding values of the amount loss packets. Let 𝑙 denote the fiftieth largest number of these 100 values. Then we get 10 such kind of 𝑙 for every set of experiments as shown in Table 4. For every 𝑙, we use the following equation to derive an approximate value of the loss factor 𝑟: 𝑃{𝐿(𝑡)>𝑙}=𝑟𝑓(𝑙+𝑐𝑡−𝜆𝑡)=𝑟𝑒^{𝑙+𝑐𝑡−𝜆𝑡−(𝑙+𝑐𝑡)ln((𝑙+𝑐𝑡)/𝜆𝑡)}=0.5. (29)

Table 4 

Simulation Results.

The data in Table 4 is reasonable that the amount of loss increases with the arrival rate and decreases with the buffer size and the service rate. Overall, if the arrival curve and the service curve are fixed, the smaller the loss factor 𝑟, the tighter the loss bound 𝐿(𝑠,𝑡). From (29), it is obvious that the loss factor 𝑟 increases with 𝑙+𝑐𝑡−𝜆𝑡, as 𝑓(𝑥) is a decreasing function. Hence, when the buffer size increases, the amount of loss 𝑙 decreases; then the loss factor 𝑟 decreases. When the arrival rate 𝜆 increases, 𝑙+𝑐𝑡−𝜆𝑡 decreases; then the loss factor decreases. The relationship between the loss factor 𝑟 and the service rate 𝑐 can be analysed in the same way, and Figures 5(a), 5(b), and 5(c) show the corresponding curves. We can find functions to fit the curves, that means if two of the arrival, the service, and the buffer size are certain, we can adjust the other one to get a proper value of loss factor to make the loss bound at a desired level.

(a)

(b)

(c)

Figure 5 

Curves between the loss factor and the buffer size, the loss factor and the arrival rate, and the loss factor and the service rate.

6. Conclusion

Stochastic network calculus is a very useful tool for performance analysis. However, there is a defect in stochastic network calculus that it is not easy to be used for loss analysis. In this paper, a new parameter named loss factor is proposed into stochastic network calculus. And then the loss bound based on t.a.c. stochastic arrival curve and stochastic strict service curve is derived via loss factor. We also proved that our result is valid when there are multiple flows arriving into the network.

We only analyzed the correlation between the loss factor and buffer size, the correlation between the loss factor and the arrival traffic, and the correlation between loss factor and the service, respectively, in this paper. Finding a way to denote the loss factor by the arrival cure, the service cure, and the buffer size combined remains as a challenge.

Acknowledgments

This work was supported in part by the National Natural Science Foundation of China (no. 60972016), the Funds of Distinguished Young Scientists (no. 2009CDA150), and China-Finish Cooperation Project (no. 2010DFB10570).