Experience in validating protocol integration using Estelle

Abstract : 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.
Type de document :
Communication dans un congrès
Third International Conference on Formal Description Techniques, Nov 1990, Madrid, Spain. 1990
Liste complète des métadonnées

https://hal.inria.fr/hal-00764941
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mardi 12 mars 2019 - 10:20:33
Dernière modification le : jeudi 14 mars 2019 - 01:22:40

Fichier

tpc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00764941, version 1

Collections

Citation

Jean-Marc Jézéquel. Experience in validating protocol integration using Estelle. Third International Conference on Formal Description Techniques, Nov 1990, Madrid, Spain. 1990. 〈hal-00764941〉

Partager

Métriques

Consultations de la notice

202

Téléchargements de fichiers

55