Protocol Implementation with Estelle - from Prototypes to Efficient Implementations
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
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.
- ps.gz (27kb)
|Superordinated page: Year 1998|
|Go to the contact details of the person in charge of this page|
|This page in german. Diese Seite auf deutsch.|