Showing papers on "Internetwork protocol published in 1985"

The importance of the service concept in the design of data communications protocols

Abstract: This paper analyses the level of recognition that the service concept has acquired in the world of protocol designers. Opposition against the concept and some significant cases of misuse are expounded and refuted. The paper argues for an increased role of the service concept, and its underlying architectural concepts, as the proper bases for designing protocol systems as well as suitable specification, verification, and testing techniques.

A discipline for constructing multiphase communication protocols

Abstract: Many communication protocols can be observed to go through different phases performing a distinct function in each phase. A multiphase model for such protocols is presented. A phase is formally defined to be a network of communicating finite-state machines with certain desirable correctness properties; these include proper termination and freedom from deadlocks and unspecified receptions. A multifunction protocol is constructed by first constructing separate phases to perform its different functions. It is shown how to connect these phases together to realize the multifunction protocol so that the resulting network of communicating finite state machines is also a phase (i.e., it possesses the desirable properties defined for phases). The modularity inherent in multiphase protocols facilitates not only their construction but also their understanding and modification. An abundance of protocols have been found in the literature that can be constructed as multiphase protocols. Three examples are presented here: two versions of IBM's BSC protocol for data link control and a token ring network protocol.

An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol

Abstract: In the past, a number of methods have been proposed to model and validate communication protocols that have already been designed. However, design criteria and design aids are still lacking for designing correct protocols. The objective of developing automated protocol synthesizers is to provide a systematic way of designing new communication protocols such that their correctness can be ensured.

A Hybrid Multiple-Access Protocol for Data and Voice-Packet Over Local Area Networks

Abstract: This correspondence presents HYMAP, a hybrid multiple access protocol for local area networks. The protocol combines features of both CSMA/CD and a collision-free protocol. Control is transferred from one protocol to the other according to state information sensed on the channel. The performance of HYMAP is evaluated by computer simulation for both data and voice packets. It compares favorably to other well-known multiple-access protocols. The number of packet-voice terminals that can be supported by HYMAP is higher than that obtained by using other protocols. Statistical analysis of the simulation results is also given.

A Multiaccess Protocol for Multihop Radio Networks

Abstract: We describe an adaptive multiaccess channel protocol for use in radio networks with an arbitrary distribution of stationary hidden nodes, which provides the nodes with controlled, collision-free access to the channel. The protocol can be considered to belong to the BRAM [5] protocol family, but differs in significant ways from BRAM. In this paper we describe the tenets of the protocol, then develop the protocol, and finally develop analytic expressions for its expected throughput and delay performance. Given these delay-throughput expressions, we show how protocol "delay" optimization can be achieved by dynamic adjustment of a protocol parameter as the network traffic load changes.

On communication protocol modelling and design

Abstract: The design of a protocol in a distributed computing system requires to successive modellings : the first one concerns the distributed system architecture modelling which must make clear what are the inputs and outputs of the remote communicating entities ; the second one concerns the formal modelling of the communication in the aim of a protocol verification.

Analysis of open systems interconnection transport protocol standard

Abstract: The `Open systems interconnection transport protocol? will soon become an international standard. The letter presents a number of problems with this protocol and gives guidelines to help implemented overcome the problems.

Problem oriented protocol design

Abstract: The prevention of deadlock in certain types of distributed simulation systems requires special synchronization protocols. These protocols often create an excessive amount of performance-degrading communication; yet a protocol with the minimum amount of communication may not lead to the fastest network finishing time. We propose a protocol that attempts to balance the network's need for auxiliary synchronization information with the cost of providing that information. Using an empirical study, we demonstrate the efficiency of this protocol. Also, we show that the synchronization requirements at different interfaces may vary; an integral part of our proposal assigns a protocol to an interface according to the interface's synchronization needs.

An architecture for routing in the ISO connectionless internet

Abstract: The ISO Connectionless Internet Protocol provides a uniform network service over many types of subnetworks. The protocol has currently progressed to the status of draft international standard (DIS 8473). Ideally, the Internet protocol allows for a high degree of connectivity in a global packet-switched network. However, much work needs to be done in the area of routing before this becomes possible in practice.

Analysis and design for a standard transport protocol

Abstract: In the development of computer networks, the trend towards open systems interconnection is creating the need for standard protocols. The transport level protocols published by ECMA and ISO are supported by the Department of Industry as ‘intercept’ standards to be adopted by the computing community as a whole. This paper presents the published standards interpreted as a set of state transition diagrams. This reinterpretation is a necessary prerequisite to the method of implementation which is based on a finite state automaton. We summarize the advantages of a software ‘funnel machine’ to effect the state transitions during the execution of the transport protocol server. The same analysis and design technique has been used successfully to implement network and link protocol handlers. We recommend its adoption on a variety of machines in any programming language to ensure a relatively short development period and to achieve compatability among the different classes: 0, 1, 2, 3 and 4, of the transport protocol.