Skip to main content
SpringerLink
Log in

Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol

  • Conference paper
SDL 2005: Model Driven (SDL 2005)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 3530))

Included in the following conference series:

  • 644 Accesses

Abstract

We have used SDL to support the design and implementation of SLACP, a novel logical link layer protocol to enhance the performance of TCP over wireless WAN links. The protocol was modeled in SDL and successive refinements of its design were carried out based on feedback obtained from using the validation facilities of Telelogic Tau 4.4 SDT.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Transmission Control Protocol. rfc 793, Internet Society (September 1981)

    Google Scholar 

  2. A comparison of mechanisms for improving TCP performance over wireless links. IEEE / ACM Transactions on Networking 5(6), 756–769 (1997)

    Google Scholar 

  3. Recommendation Z.100 - CCITT Specification and Description Language. ITU (1993)

    Google Scholar 

  4. Telelogic Tau 4.4 Manual. Telelogic (2002)

    Google Scholar 

  5. Enhancing TCP Performance Over Satellite Networks - A Link Aware Approach. Technical Report C-2004-50, University of Helsinki, Department of Computer Science (August 2004)

    Google Scholar 

  6. Improving TCP Performance Over Wireless WANs using TCP/IP-Friendly Link. In: 1st International Conference on E-Business and Telecommunication Networks (ICETE) (August 2004)

    Google Scholar 

  7. Data Networks, 2nd edn. Prentice Hall, Englewood Cliffs (1992)

    Google Scholar 

  8. The Spin Model Checker. Addison Wesley, Reading (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Helsinki, Finland

    Laila Daniel, Matti Luukkainen & Markku Kojo

Authors
  1. Laila Daniel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matti Luukkainen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Markku Kojo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering, Agder University College, Grooseveien 36, N-4876, Grimstad, Norway

    Andreas Prinz

  2. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, LA23 2DL, Windermere, Cumbria, United Kingdom

    Rick Reed

  3. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, LA23 2DL, Windermere, Cumbria, UK

    Jeanne Reed

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Daniel, L., Luukkainen, M., Kojo, M. (2005). Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_13

Download citation

  • DOI: https://doi.org/10.1007/11506843_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26612-9

  • Online ISBN: 978-3-540-31539-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation