Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-00764941
Contributor : Jean-Marc Jézéquel <>
Submitted on : Tuesday, March 12, 2019 - 10:20:33 AM
Last modification on : Thursday, June 11, 2020 - 7:12:10 PM
Long-term archiving on: : Thursday, June 13, 2019 - 1:40:32 PM

File

tpc.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00764941⟩

Share

Metrics

Record views

228

Files downloads

179