ConTraST – A Configurable SDL Transpiler and Runtime Environment

  • Ingmar Fliege
  • Rüdiger Grammes
  • Christian Weber
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4320)


ConTraST is a configurable C++ code generator that provides a mapping of SDL specifications in SDL/PR to an object oriented C++ representation. The transformation from one high level language to another allows the configuration of supported language features, giving the name: a configurable transpiler. The intention is to obtain the object oriented structure and thereby increase the readability and traceability of the generated code. This code is compiled together with an SDL runtime environment, which was derived by manually transforming the formal semantics of SDL-2000 standard Z.100 F.3 into C++ preserving both structure and behavior. This provides a continuous traceability from the SDL specification to the executing system including its runtime environment.


Formal Semantic Runtime Environment Syntax Tree Language Feature Abstract State Machine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ITU-T Recommendation Z.100 (11/00) - Specification and Description Language (SDL), International Telecommunication Union (ITU), (11/00)Google Scholar
  2. 2.
    ITU-T Recommendation Z.100 (10/96) - Specification and Description Language (SDL), International Telecommunication Union (ITU), (03/93) + (10/96)Google Scholar
  3. 3.
    Weber, C.: Design And Implementation of a configurable SDL transpiler for a C++ runtime environment (in german), Diploma-Thesis, TU Kaiserslautern, Germany (December 2005)Google Scholar
  4. 4.
    Grammes, R.: Formal Operations for SDL Language Profiles. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 49–63. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Glässer, U., Gotzhein, R., Prinz, A.: An introduction to abstract state machines, Technical Report 326/03, University of Kaiserslautern (2003)Google Scholar
  6. 6.
    Fliege, I., Geraldy, A.: Konzept und Struktur des SDL Environment Frameworks (SEnF) (in german), Technical Report 341/05, University of Kaiserslautern (2005)Google Scholar
  7. 7.
    Kuhn, T., Geraldy, A., Gotzhein, R., Rothländer, F.: ns+SDL – The Network Simulator for SDL Systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 103–116. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Prinz, A., von Löwis, M.: Generating a Compiler for SDL from the Formal Language Definition. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 150–165. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    Microsoft Research. AsmL.
  10. 10.
  11. 11.
    Rauchwerger, Y., Kristoffersen, F., Lahav, Y.: Cinderella SLIPPER: An SDL to C-Code Generator. SDL Forum, 210-223 (2005)Google Scholar
  12. 12.
    Pragmadev Real Time Developer Studio,

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ingmar Fliege
    • 1
  • Rüdiger Grammes
    • 1
  • Christian Weber
    • 2
  1. 1.Computer Science DepartmentUniversity of KaiserslauternKaiserslauternGermany
  2. 2.Siemens AGUlmGermany

Personalised recommendations