Experience in validating protocol integration using Estelle - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1990

Experience in validating protocol integration using Estelle

Jean-Marc Jézéquel

Résumé

This paper presents a ten months long experiment led at TRANSPAC to check the interest of a Formal Description Technique like Estelle for industrial purposes. Through the Intelligent Network new service introduction, Estelle-and associated tools, e.g. VEDA and EC H ID N A-has been used for different purposes: validation of a brand new protocol and test of its implementation, modelisation of an already existing one, and validation of the integration of both protocols. After a brief introduction to the TRANSPAC framework, we present an outline of these experiments. Then we draw some conclusion on the suitability of both Estelle and the tools used in this context, and on the economical balance of such an approach to deal with concrete problems.
Fichier principal
Vignette du fichier
tpc.pdf (111.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00764941 , version 1 (12-03-2019)

Identifiants

  • HAL Id : hal-00764941 , version 1

Citer

Jean-Marc Jézéquel. Experience in validating protocol integration using Estelle. Third International Conference on Formal Description Techniques, Nov 1990, Madrid, Spain. ⟨hal-00764941⟩
80 Consultations
40 Téléchargements

Partager

Gmail Facebook X LinkedIn More