miun.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modeling and Verification of the Snoop Protocol
Mid Sweden University, Faculty of Science, Technology and Media, Department of Information Technology and Media.
2003 (English)Report (Other scientific)
Abstract [en]

One of the main objectives of the original TCP protocol is a reliable transport over wired networks. In this case the random loss of data usually occurs due to phenomena of congestion. A similar assumption is not always true in wireless networks, where the medium itself is rather prone to errors. This leads to an impaired TCP performance, a fairly undesirable behavior since it is a premier transport protocol based on the omnipresence in networking of the TCP/IP technology. Hence, various modifications ands extensions have been proposed to improve TCP performance over heterogeneous networks (aggregations of wireline and wireless links). The strategies and the mechanisms that reflect these modifications widely vary and are of different nature. The intention of the article is neither to enumerate nor to analyze the pros and cons of the these strategies, but to produce a formal model using a modeling language such as PROMELA and verify it later with SPIN, of a popular and well-known TCP modification termed as Snoop.

Place, publisher, year, edition, pages
2003.
Keyword [en]
Modeling and Verification TCP
National Category
Computer Science
Identifiers
URN: urn:nbn:se:miun:diva-4225Local ID: 4958OAI: oai:DiVA.org:miun-4225DiVA: diva2:29257
Available from: 2008-09-30 Created: 2008-09-30Bibliographically approved
In thesis
1. Models for quality of service in heterogenoeous networks
Open this publication in new window or tab >>Models for quality of service in heterogenoeous networks
2007 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Both streaming techniques and wireless heterogeneous networks have recently become more widely deployed. As the current streaming techniques are primarily designed for homogenous wired networks, streaming multimedia applications in heterogeneous networks can perform poorly due to wireless networks conditions and vertical handover. These problems can significantly degrade the performance of streaming multimedia applications. Effects of the degradation are delay, jitter and packet loss resulting in lower multimedia quality. The use of some congestion recovery algorithms are detrimental factors to QoS. One approach used to control congestion in the network layer is Active Queue Management (AQM). This dissertation presents an evaluation and comparison of AQM mechanisms in heterogeneous networks. Based of the results of this research a new AQM algorithm, named the Adaptive AQM (AAQM) is proposed. The AAQM uses control law and link utilization in order to manage congestion. The action of the control law is to mark incoming packets in order to maintain the quotient between arriving and departing packets as low as possible. The AAQM enhances performance with respect to the queue length and packet loss as well as buffer space requirements. AAQM outperforms the other AQM algorithms in terms of multimedia packet loss and buffer delay.

Place, publisher, year, edition, pages
Sundsvall: Mittuniversitetet, 2007. 41 p.
Series
Mid Sweden University licentiate thesis, ISSN 1652-8948 ; 24
National Category
Computer Science
Identifiers
urn:nbn:se:miun:diva-9331 (URN)978-91-85317-57-8 (ISBN)
Presentation
(English)
Available from: 2009-07-10 Created: 2009-07-10 Last updated: 2009-07-13Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Rahmani, Rahim
By organisation
Department of Information Technology and Media
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 262 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf