On the improvement of Estelle based automatic implementations

Abstract

Abstract:The main challenges for the tools which derive implementations from formal descriptions are to enhance the efficiency and facilitate the integration in various implementation contexts. We study in this paper the Estelle based implementations. Using the Estelle Development Toolset (EDT), we obtained a realistic implementation of a complex transport protocol, XTP 4.0, functionally comparable with the hand-coded reference implementation. This offered an experimental ground for a survey concerning the automated implementation. Based on runtime measurements, analysis of the Estelle model and of the tool's support, we studied the factors influencing the performance and the solutions to improve it.