Study of the resynchronization of a communication protocol - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Technology and science of informatics Année : 1987

Study of the resynchronization of a communication protocol

Résumé

This paper proposes a model describing resynchronization services in the data transfer phase of the Network layer. The model described the required properties in a very reduced form. It is functionally equivalent to a protocol model describing the protocol internal mechanisms. Assertions relative to the Network layer model can be conserved in the Transport layer model. These assertions can therefore be used for the validation of the Transport layer properties. This functional validation approach can be generalized to the characterization of any other hierarchical system. The joint development of specification and validation models will make it possible in the near future to make tools available for specification, modeling and validation in a rigorous and easy way.
Fichier non déposé

Dates et versions

hal-00180758 , version 1 (22-04-2015)

Identifiants

  • HAL Id : hal-00180758 , version 1

Citer

Bernard Cousin, Pascal Estraillier. Study of the resynchronization of a communication protocol. Technology and science of informatics, 1987, 6 (6), pp.461-471. ⟨hal-00180758⟩
22 Consultations
2 Téléchargements

Partager

Gmail Facebook X LinkedIn More