Hardware implementation of communication protocols: A formal approach

Authors:
Miguel García Hoffmann
Affiliations:
-
Venue:
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Year:
1980

Citing 5
Cited 0

Communicating sequential processes

Communications of the ACM
Distributed processes: a concurrent programming concept

Communications of the ACM
Symbolic execution and program testing

Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
A note on reliable full-duplex transmission over half-duplex links

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal method that permits the development of verified specifications and implementation of communication protocols. A non-executable high level language is introduced for specification purposes. This language permits the concise and unambiguous specification of those characteristics which are normally needed to be modeled in the design of protocols. A simple algorithm for verifying the protocol specifications is indicated. Then it is shown how the verified specifications can be transformed into another descriptive model, a processing machine which is more directly related to hardware implementation. The processing machine description resulting from this model simplifies the last stage of protocol design, that of the realization.