Computer Networks Group: XEC - the eXperimental Estelle Compiler
XEC 1.2.2
XEC - the eXperimental Estelle Compiler


Introduction

The eXperimental Estelle Compiler (XEC) was developed as a platform for the testing, performance-evaluation, and optimization of implementation methods for Estelle. XEC is a fully operational and well tested Estelle compiler, which is "experimental" merely concerning its applicability as platform for experiments with implementation methods.

The implementation generator builds upon the Estelle compiler front-end PET and translates Estelle specifications into objectoriented C++ code. The strictly object oriented modeling of the structure of Estelle permits a very flexible execution model, supporting extensive static and dynamic optimizations. Most of the dynamic optimizations can be implemented inside the object oriented run-time library for the generated implementations.

Read the XEC-FAQ for further details. An introduction to XEC and our current optimization experiments can be found in [ThGo98a] and [The98].

Distribution

A first public distribution of XEC will become available soon. We will probably grant licenses free of charge under the GPL (GNU public licence) for non-comercial applications.

Please contact thees@informatik.uni-kl.de if you are interested in getting a pre-release.

Documentation

History

(....)

Literature

[Dah96] S. Dahl:
Performancevergleich von Protokollimplementierungen
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, 1996
[ThGo97a] J. Thees, R. Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme
Interner Bericht 290/97, Fachbereich Informatik, Universität Kaiserslautern, 1997
[ThGo97b] J. Thees, R. Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen
in: K. Irmscher, Ch. Mittasch, K. Richter (Hrsg.): Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Kurzbeiträge und Toolbeschreibungen zur 9. ITG/GI-Fachtagung MMB'97, Informatik in Freiberg, Band 4, TU Bergakademie Freiberg, September 1997
[ThGo97d] J. Thees, R. Gotzhein:
Generation of Efficient Protocol Implementations - an Experimental Code Generator for Estelle and its Application to XTP
6th Open Workshop on High Speed Networks, Stuttgart, October 8-9, 1997
[ThGo98a] J. Thees, R. Gotzhein:
The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications
in: M. Ardis (Edt.), Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 1998
[The98] J. Thees:
Protocol Implementation with Estelle - from Prototypes to Efficient Implementations
accepted for ESTELLE'98, Evry, France, 2 November 1998
[Wen98] M. Wenz:
Design und Implementierung einer portablen grafischen Oberfläche zur Visualisierung und Steuerung des Ablaufs von Estelle-Implementierungen
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Mai 1998

Comp. Networks Group Research-Activities Estelle XEC

thees@informatik.uni-kl.de
25/11/98





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.