Experiences in using SDL to support the design and implementation of a logical link layer protocol

Authors:
Laila Daniel;Matti Luukkainen;Markku Kojo
Affiliations:
Department of Computer Science, University of Helsinki, Finland;Department of Computer Science, University of Helsinki, Finland;Department of Computer Science, University of Helsinki, Finland
Venue:
SDL'05 Proceedings of the 12th international conference on Model Driven
Year:
2005

Citing 2
Cited 0

Data networks (2nd ed.)

Data networks (2nd ed.)
A comparison of mechanisms for improving TCP performance over wireless links

IEEE/ACM Transactions on Networking (TON)

Quantified Score

Hi-index	0.00

Visualization

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.