Abstract:

The traditional approach consisting in using separately FDTs for specification, verification, and validation, and stochastic models for performance evaluation is no longer of great interest in protocols engineering research. A new trend is now growing towards the merging of the two formalisms to provide a complete environment for communication systems development. We present an approach in which performance analysis is conducted on Estelle specifications with annotated quantitative concepts. The potential power of our approach is then demonstrated by an XTP protocol performance analysis.