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.

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.