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

Zusammenfassung

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.

Vollversion





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.