Showing papers on "Protocol (object-oriented programming) published in 1980"

Formal Methods in Communication Protocol Design

Abstract: While early protocol design efforts had to rely largely on seat-of-the-pants methods, a variety of more rigorous techniques have been developed recently. This paper surveys the formal methods being applied to the problems of protocol specification, verification, and implementation. In the specification area, both the service that a protocol layer provides to its users and the internal operations of the entities that compose the layer must be defined. Verification then consists of a demonstration that the layer will meet its service specification and that each of the components is correctly implemented. Formal methods for accomplishing these tasks are discussed, including state transition models, program verification, symbolic execution, and design rules.

DoD standard Transmission Control Protocol.

Abstract: : The Transmission Control Protocol (TCP) is intended for use as a highly reliable host-to-host protocol between hosts in packet-switched computer communication networks, and especially in interconnected systems of such networks. This document describes the functions to be performed by the Transmission Control Protocol, the program that implements it, and its interface to programs or users that require its services. Computer communication systems are playing an increasingly important role in military, government, and civilian environments. This document primarily focuses its attention on military computer communication requirements, especially robustness in the presence of communication unreliability and availability in the presence of congestion, but many of these problems are found in the civilian and government sector as well. As strategic and tactical computer communication networks are developed and deployed, it is essential to provide means of interconnecting them and to provide standard interprocess communication protocols which can support a broad range of applications.

Processor intercommunication system

Abstract: A processor intercommunication system includes a plurality of stations which are interconnected by a transmission link, each station having an associated processor. Further, each station comprises means which provide a data link protocol mechanism for establishing and maintaining a multiplicity of logical connections or transfer sessions between the station and several other stations. Thus application programs of all kinds in the processors can communicate with programs or data files in remote processors and need not be involved in communication operations which are handled by the stations. Link access circuitry is provided also in each station for absorbing the physical and topological characteristics of the transmission link so that the data protocol circuitry establishing and maintaining logical connections is independent of these characteristics.

Food cooking apparatus

Abstract: An automatic cooking apparatus wherein a rotating wide-mouthed vessel closed with a lid is supported in a stationary, handle-equipped basket frame by the frame and the lid which engages driving means. Heating means are provided along a portion of the vessel circumference and are controlled to maintain food contained within the vessel at a predetermined temperature for a preset time. Means are provided to sense the temperature of the cooking food and to generate a signal to which both temperature controlling and timing means are responsive. In one embodiment of the apparatus microprocessing control means are used to achieve a desired cooking protocol.

DoD standard Internet Protocol.

Abstract: : The Internet Protocol is designed for use in interconnected systems of packet-switched computer communication networks. Such as system has been called a 'catenet'. The internet protocol provides for transmitting blocks of data called datagrams from sources to destinations, where sources and destinations are hosts identified by fixed length addresses. The internet protocol also provides for fragmentation and reassembly of long datagrams, if necessary, for transmission through 'small packet' networks. This document is based on five earlier editions of the ARPA Internet Protocol Specification, and the present text draws heavily from them. There have been many contributors to this work both in terms of concepts and in terms of text. This edition revises the details security, compartmentation, and precedence features of the internet protocol. (Author)

A System Overview of Fastbus

Abstract: FASTBUS is an emerging standard for a high-speed data acquisition bus designed to meet the requirements of the next generation of large-scale physics experiments. It incorporates several powerful features: a 32-bit address field; high speed (< 100 nsec) 32-bit data transfers; multiple bus segments permitting a high degree of independent and parallel activity; permits multiple controllers on a single segment; a protocol (uniform system-wide) with asynchronous handshaked operations to reliably accommodate different speed devices, but which also allows synchronous nonhandshaked operations for transferring blocks at maximum speed; the ability to broadcast commands from any point in the system to the whole system or to selected portions of it; and the ability to rapidly extract data from large, sparsely populated arrays. The paper describes these features in more detail and briefly reviews the present state of development of the standard.

Leave and recall: Primitives for procedural programming

Abstract: Two primitives for structured programming are introduced. The primitives allow a generalized procedure entry and return similar to the ‘loop’ and ‘break’ statements found in many algorithmic languages for control in repetitive commands. Examples are given and the practicality of the primitives especially for interactive programming is stressed. Finally, the detailed implementation of the primitives is discussed; they may be implemented as procedures within an existing language.

Software Engineering Techniques Applied to Protocol Simulation.

Abstract: : The design, implementation, debugging, validation, use, and modification of a computer simulator for the study of satellite communication protocols are reported. An important objective of the effort was to apply state-of-the-art software engineering techniques in the design and construction of the simulator. Experience with seven specific techniques is described.

Protocol Parameters and their Inter-Relations in X.25. INWG 96.1 Sample Network Architecture

Abstract: The purpose of this paper is to have a close look at the class of problems that arise in the interconnection of different computer systems through a packet switching network. The layered protocol's architecture is assumed to separate functionally and to identify the tasks to be performed in the various parts of the network, either in the packet switching subnetwork, or in the end processors. Concepts are then introduced to identify the characteristic parameters of each protocol layer. A further step is carried out by considering a sample architecture built on well-known protocols at different levels, up to the transport level, and developing an analysis of their interaction in order to identify interdependencies and constraint relations on the values of the characteristic parameters.

Extracting service features from protocol documents

Abstract: This paper describes a manual procedure for itemizing the service features of a computer network protocol. The procedure has been tested and refined several times. The testing is described here, along with analysis of test results and general observations. The authors conclude that, although the procedure now provides only partially satisfying results, such a method is needed to aid in quantifying users' protocol needs.

Communication protocols for the pdv bus in network representation

Abstract: The PDV bus is a bit-serial data transmission system for process control systems with distributed stations. The connection between the stations is established by a continuous transmission line or bus. Data exchange takes place by time-division multiplexing (half-duplex operation). Proper handling of the exchange of messages via the bus is taken care of by the communications protocol. The function of the protocol is to adapt transmission optimally to the time requirements, i.e. to ensure a high efficiency. In addition, the protocol must afford high transmission reliability. The communications protocol must tolerate faults in that it prevents dangerous system conditions such as conflicts, blocking and loss of messages under all circumstances upon the occurrence of the faults to be tolerated. For verifying the fault tolerance, a properly formatted and unique description of the communications protocol is necessary. The basis of such a description is provided by the Petri networks which are particularly suitable for the representation of “communicating processes”. A suitable graphic representation of these networks is introduced. The most important procedures of the PDV bus communications protocol are formulated in this network representation. This provides the basis for a detailed analysis and for the verification of the fault tolerance.