The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications

J. Thees, R. Gotzhein

in: M. Ardis (Edt.), Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 1998

Abstract

An important aspect of the application of formal methods in software practice is the auto matic creation of efficient implementations directly from formal specifications. This often allows to save (or at least to simplify) the costly and error prone step of manual coding.

In this paper, we introduce the eXperimental Estelle Compiler (XEC), a new implementation generator for the specification language Estelle. This tool is experimental in the sense that it has been developed as a platform for the performance-evaluation, optimization, and testing of implementation methods. The special structure of generated implementations allows a very flexible execution model, supporting extensive static and dynamic optimizations. Finally, we report on a case study with the Xpress Transport Protocol (XTP), including quantitative performance data of different implementation methods in comparison to other Estelle code generators.

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.