Electronics

Modular design principles for protocols with an application to the transport layer

Article Abstract:

By using assertional reasoning and a refinement relation between state transition systems a method can be arrived at for specifying protocols, specifying services and constructing protocol specifications by stepwise refinement of service specifications. This method relies on the traditional layered network model where each protocol offers a service to the protocol above it by using the service offered by the protocol below it. The transport layer provides a testing ground for this method since it is used for functions such as electronic mail and file transfer. By using this method it is possible to create specific transport protocols similar to transmission control protocol (TCP) or ISO TP4.

Author: Shankar, A. Udaya

Publisher:Institute of Electrical and Electronics Engineers, Inc.Publication Name:Proceedings of the IEEESubject:ElectronicsISSN:0018-9219Year:1991

Minor modifications can be made to the Transport Protocol Class 4, Session Protocol, and FTAM (file transfer, access, and management) protocol that will alleviate the performance degradation caused by satellite propagation delay. For TP-4, a field can be added in the acknowledgement message, which will improve performance. In the Session layer, permitting the option of using expedited data flow for session layer synchronization even when transport expedited flow is available will improve performance. In FTAM, the transfer procedure can be enhanced, which optimizes the procedure.

Author: Chitre, Dattakumar M., Lee, Hsi-Ming

Publisher:Institute of Electrical and Electronics Engineers, Inc.Publication Name:Proceedings of the IEEESubject:ElectronicsISSN:0018-9219Year:1990