Protocol Implementation with Estelle - from Prototypes to Efficient Implementations

J. Thees

in: S. Budkowski, S. Fischer, R. Gotzhein: Proc. of the 1st International Workshop of the Formal Description Technique Estelle (ESTELLE'98), Evry, France, Nov. 1998

Abstract

Automatic generation of implementations directly from formal specifications is an important factor for the attractiveness of formal methods in practical software development. Important requirements from a practical point of view are correctness, efficiency and simple integration into pre-existing environments. In this paper we present the eXperimental Estelle Compiler (XEC). Together with a set of performance analysis tools and benchmark specifications it builds a platform for implementation and optimization experiments with the FDT Estelle. Furthermore, we discuss different optimization approaches and extensions that we are currently implementing based on XEC. This paper describes ongoing work.

Full paper




 Superordinated page: Year 1998

 Feedback
Go to the contact details of the person in charge of this page

 Deutsch
This page in german. Diese Seite auf deutsch.