The bounded retransmission protocol must be on time!

Share/Save/Bookmark

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Ruijs, Theo C. and Tretmans, G. Jan (1997) The bounded retransmission protocol must be on time! [Report]

open access
[img]
Preview
PDF
670kB
Abstract:This paper concerns the transfer of files via a lossy communication channel. It formally specifies this file transfer service in a property-oriented way and investigates -using two different techniques -whether a given bounded retransmission protocol conforms to this service. This protocol is based on the well-known alternating bit protocol but allows for a bounded number of retransmissions of a chunk, i.e., part of a file, only. So, eventual delivery is not guaranteed and the protocol may abort the file transfer. We investigate to what extent real-time aspects are important to guarantee the protocol's correctness and use Spin and Uppaal model checking for our purpose.
Item Type:Report
Copyright:© 1997 CTIT
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/18600
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 119121