Advertisement

Annales Des Télécommunications

, Volume 50, Issue 11–12, pp 920–927 | Cite as

EXTENSION DU FORMALISME ESTELLE À ĽÉVALUATION DE PERFORMANCES: ÉTUDE DES PERFORMANCES DU PROTOCOLE SSCOP POUR LES RÉSEAUX À HAUT DÉBIT ATM

  • Delphine Gazal
  • Yves Raynaud
Article
  • 16 Downloads

Résumé

Cet article présente une approche permettant ďobtenir des mesures de performance à partir ďune technique de description formelle, Estelle, normalisée par ľiso. he but de cette approche est de ne pas modifier la syntaxe ďEstelle afin de préserver les avantages fournis par la normalisation. Pour cela, des annotations relatives à ľaspect quantitatif sont ajoutäes à la späcification. Cette späcification annotäe est ensuite traduite dans un langage de simulation, Modsim, afin de räaliser une simulation fournissant les räsultats de performance. Cette approche est illusträe en fin ďarticle par ľävaluation du protocolesscop de la coucheaal, les räsultats obtenus ätant conformes à ceux obtenus à partir ďautres mäthodes ďävaluations.

Mots cläs

Technique description formelle Evaluation performance Protocole communication Haut däbit Multiplexage temporel asynchrone Couche adaptation mta Langage simulation 

Extension of Estelle formalism for performance evaluation: SSCOP protocol performance study for ATM high speed network

Abstract

This article presents an approach used to obtain performance measures from anISO-standardized formal description technique, Estelle. The underlying aim of this approach is not to modify Estelle syntax so as to maintain the advantages provided by conformance to theISO standard. To achieve this, annotations relating to the quantitative aspect have been added to the specification. This annotated specification is then tranlated into a simulation language, Modsim, to achieve a simulation capable of supplying performance results. At the end of the paper, this approach is illustrated by evaluating thesscop protocol of theaal layer, the results obtained being in compliance with those obtained using other evaluation methods.

Key words

Formal description technique Performance evaluation Transmission protocol High rate ATM atm adaptation layer Simulation language 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    ***. Information processing systems, open systems interconnection, Estelle: a formal description technique based on an extended state transition model.ISO 9074 (1989).Google Scholar
  2. [2]
    ***. Modsim II, the language for object-oriented programming.Reference Manual, CACI Products Company (1992).Google Scholar
  3. [3]
    Dembinski (P.),Budkowski (S.). Simulating Estelle specifications with time parameters.Proc. 7th Workshop on Protocol Specification, Testing and Verification (1987).Google Scholar
  4. [4]
    Fernandez (D.),Vasquez (E.),Vinyes (J.), io: an Estelle simulator for performance evaluation.Proc. 4th IF1P Formal Description Techniques (1992).Google Scholar
  5. [5]
    Dembinski (P.). Queuing network model for Estelle.Forte’92, Lannion, Fr (Oct. 1992).Google Scholar
  6. [6]
    ***. Progress report on signalling ATM adaptation layer.Document DT/8 DT/7 ITU-TSS, Study group 13, Geneva (5–16 July 1993).Google Scholar
  7. [7]
    Gazal (D.),Benzekri (A.),Raynaud (Y.). Integration of performance simulation in the systems development life cycle.Proc. 11th International Conference on Applied Informatics, Annecy, Fr (May 1993).Google Scholar

Copyright information

© Springer-Verlag 1995

Authors and Affiliations

  • Delphine Gazal
    • 1
  • Yves Raynaud
    • 1
  1. 1.Laboratoire irit/sieraUniversité Paul SabatierToulouse CedexFrance

Personalised recommendations