LLC-MAC analysis of general packet radio service in GSM

Demetrescu, C.

doi:10.1002/bltj.2178

Cited by 5 publications

(3 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We also formally verify that the GPRS data reliability model ensures successful transmission of every LLC frame with probability 1. Our analysis approach is mainly inspired by a paper-and-pencil based analytical analysis of a similar problem presented in [10].…”

Section: Analysis Of Arq At the Llc Layer Of Gprsmentioning

confidence: 99%

“…In order to illustrate the utilization and effectiveness of theorem proving for handling real-world wireless system analysis problems, we present an analysis of the automated repeat request (ARQ) mechanism at the logic link control (LLC) layer of the General Packet Radio Service (GPRS) standard for Global System for Mobile Communications (GSM) [10]. This analysis is a good representation of a typical wireless system analysis problem that cannot be modeled as a Markov chain and thus cannot be handled by the state based formal analysis approaches.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Probabilistic Analysis of Wireless Systems Using Theorem Proving

Hasan

Tahar

2009

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

Probabilistic techniques play a major role in the design and analysis of wireless systems as they contain a significant amount of random or unpredictable components. Traditionally, computer simulation techniques are used to perform probabilistic analysis of wireless systems but they provide inaccurate results and usually require enormous amount of CPU time in order to attain reasonable estimates. To overcome these limitations, we propose to use a higher-order-logic theorem prover (HOL) for the analysis of wireless systems. The paper presents a concise description of the formal foundations required to conduct the analysis of a wireless system in a theorem prover, such as the higher-order-logic modeling of random variables and the verification of their corresponding probabilistic and statistical properties in a theorem prover. In order to illustrate the utilization and effectiveness of the proposed idea for handling real-world wireless system analysis problems, we present an analysis of the automated repeat request (ARQ) mechanism at the logic link control (LLC) layer of the General Packet Radio Service (GPRS), which is a packet oriented mobile data service available to the users of Global System for Mobile Communications (GSM).

show abstract

Section: Analysis Of Arq At the Llc Layer Of Gprsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Probabilistic Analysis of Wireless Systems Using Theorem Proving

Hasan

Tahar

2009

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…Thus, , the total number of slots required to successfully transmit a PDU of length slots, is given by (11) The distribution of is geometric (by assumption) and is given by (12) and the distribution of [ 's being independent and identically distributed (i.i.d. ), since we consider i.i.d.…”

Section: Rlc Layer-acknowledged Modementioning

confidence: 99%

Performance Analysis of RLC/MAC and LLC Layers in a GPRS Protocol Stack

Premkumar

Chockalingam

2004

IEEE Trans. Veh. Technol.

View full text Add to dashboard Cite

Abstract-In this paper, we analyze the performance of various layers of the general packet radio service (GPRS) protocol stack, including radio link control/medium-access control (RLC/MAC) layer and logical link-control (LLC) layer on the uplink. In the GPRS MAC protocol, several time-slotted uplink radio-frequency channels are shared by the mobiles on a request-reservation-based multiple-access scheme. Using the theory of Markov chains, we derive expressions for the average throughput and delay performance of the GPRS MAC protocol. We evaluate the performance of the RLC layer (in acknowledged mode) using block-level retransmission (BLR), as defined in the current GPRS standard, and compare it with that of using slot-level retransmission (SLR). We show that SLR at the RLC layer performs significantly better than the BLR, particularly when the channel-error rates are moderate to high. We further investigate the choice of parameters (e.g., number of retransmission attempts) for the automatic repeat request schemes at the RLC and LLC layers. Our results show that it is more beneficial to do error recovery by allowing more retransmission attempts at the RLC layer than at the LLC layer. We also evaluate the performance of transmission-control protocol with BLR and SLR at the RLC layer.Index Terms-Automatic repeat request (ARQ), block-level retransmission (BLR), general packet radio service (GPRS), logical link control (LLC), radio link control/medium-access control (RLC/MAC), slot-level retransmission (SLR), transmission-control protocol (TCP).

show abstract

Discrete Random Variables

Trivedi

2016

Probability and Statistics With Reliability, Queuing and Computer Science Applications

View full text Add to dashboard Cite

LLC-MAC analysis of general packet radio service in GSM

Abstract: General Packet Radio Service (GPRS) is

Cited by 5 publications

References 8 publications

Probabilistic Analysis of Wireless Systems Using Theorem Proving

Probabilistic Analysis of Wireless Systems Using Theorem Proving

Performance Analysis of RLC/MAC and LLC Layers in a GPRS Protocol Stack

Discrete Random Variables

Contact Info

Product

Resources

About