Modelling Delay on IEEE 802.11 MAC Protocol for Unicast and Broadcast Nonsaturated Traffic

Oliveira, Rodolfo; Bernardo, Luís; Pinto, Paulo

doi:10.1109/wcnc.2007.90

Cited by 20 publications

(17 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One can compute this time by adjusting suitable values for these parameters. For example, in [1] this time was computed for IEEE 802.11. P rcv can be approximated by a formula given in [2] (which can also be computed by simulation while computing T ℓiℓj ,UP ).…”

Section: Discussionmentioning

confidence: 99%

“…The average response time is the average time a message spends in a data-link layer queue, either waiting (T d ) to be transmitted or being transmitted (T s ). For instance, the average response and service time for unreliable broadcast in the IEEE 802.11 MAC protocol is modeled in [1].…”

Section: A Wireless Communicationmentioning

confidence: 99%

“…5). We evaluate the probability that both nodes are informed about the maximum identifier by time t. We assume that r = 25, that nodes run the IEEE 802.11 MAC protocol (T M ac = 1.7 × 10 −3 ) [1] with P rcv = 0.8, and that nodes move according to the random waypoint model with parameters given in Section II-B (consequently P UP = 0.835 for each pair of nodes). Given initial values, the transition rates of the stochastic model for the MANET are defined.…”

Section: Theoremmentioning

confidence: 99%

“…In this approach the topology of the network is static and broadcast is implemented by unicasting. PRISM has been used in the verification of MANET protocols such as Bluetooth device discovery [21], the MAC protocol of IEEE 802.11 [22], 1 T M ac = Ts + T d where Ts and T d are the service and queue waiting time respectively: since in this example the arrival rate of data r = 25 is much less than 1/Ts, we have T M ac ≈ Ts.…”

Section: Theoremmentioning

confidence: 99%

See 3 more Smart Citations

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

Ghassemi

Movaghar

Fokkink

2010

2010 10th International Conference on Application of Concurrency to System Design

View full text Add to dashboard Cite

Abstract-We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network layers, and the underlying dynamic topology. The link connectivity model, which implicitly models node mobility, specifies link up and down lifetimes. We use so-called constrained labeled multi-transition systems (CLMSs) to specify MANETs; transitions are annotated by network restrictions, capturing the topologies in which a transition is possible. A continuous Markov chain can be generated from a CLMS, to evaluate the performance of the corresponding MANET.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: A Wireless Communicationmentioning

confidence: 99%

Section: Theoremmentioning

confidence: 99%

Section: Theoremmentioning

confidence: 99%

See 2 more Smart Citations

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

Ghassemi

Movaghar

Fokkink

2010

2010 10th International Conference on Application of Concurrency to System Design

View full text Add to dashboard Cite

show abstract

“…There are several approaches to model packet transmission delays at the 802.11 MAC level, e.g. [17,18], which will not be considered due to their complexity. Bianchi [2] developed a Markov model to compute the 802.11 Distributed Coordination Function (DCF) saturation throughput.…”

Section: Related Workmentioning

confidence: 99%

Modeling Responsiveness of Decentralized Service Discovery in Wireless Mesh Networks

Dittrich

Lichtblau

Rezende

et al. 2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In service networks, discovery plays a crucial role as a layer where providers can be published and enumerated. This work focuses on the responsiveness of the discovery layer, the probability to operate successfully within a deadline, even in the presence of faults. It proposes a hierarchy of stochastic models for decentralized discovery and uses it to describe the discovery of a single service using three popular protocols. A methodology to use the model hierarchy in wireless mesh networks is introduced. Given a pair requester and provider, a discovery protocol and a deadline, it generates specific model instances and calculates responsiveness. Furthermore, this paper introduces a new metric, the expected responsiveness distance der, to estimate the maximum distance from a provider where requesters can still discover it with a required responsiveness. Using monitoring data from the DES testbed at Freie Universität Berlin, it is shown how responsiveness and der of the protocols change depending on the position of nodes and the link qualities in the network.

show abstract

Specification – Based Approach for Implementing Atomic Read/ Write Shared Memory in Mobile Ad Hoc Networks Using Fuzzy Logic

Sherif

Shihata

2012

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

View full text Add to dashboard Cite

Modelling Delay on IEEE 802.11 MAC Protocol for Unicast and Broadcast Nonsaturated Traffic

Cited by 20 publications

References 6 publications

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

Modeling Responsiveness of Decentralized Service Discovery in Wireless Mesh Networks

Specification – Based Approach for Implementing Atomic Read/ Write Shared Memory in Mobile Ad Hoc Networks Using Fuzzy Logic

Contact Info

Product

Resources

About