Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ITU-T Recommendation Z.100 (11/00) - Specification and Description Language (SDL), International Telecommunication Union (ITU), (11/00)
ITU-T Recommendation Z.100 (10/96) - Specification and Description Language (SDL), International Telecommunication Union (ITU), (03/93) + (10/96)
Weber, C.: Design And Implementation of a configurable SDL transpiler for a C++ runtime environment (in german), Diploma-Thesis, TU Kaiserslautern, Germany (December 2005)
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)
Glässer, U., Gotzhein, R., Prinz, A.: An introduction to abstract state machines, Technical Report 326/03, University of Kaiserslautern (2003)
Fliege, I., Geraldy, A.: Konzept und Struktur des SDL Environment Frameworks (SEnF) (in german), Technical Report 341/05, University of Kaiserslautern (2005)
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)
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)
Microsoft Research. AsmL. http://research.microsoft.com/fse/AsmL/
Telelogic Tau 4.6, http://www.telelogic.com/corp/products/tau/sdl/
Rauchwerger, Y., Kristoffersen, F., Lahav, Y.: Cinderella SLIPPER: An SDL to C-Code Generator. SDL Forum, 210-223 (2005)
Pragmadev Real Time Developer Studio, http://www.pragmadev.com/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fliege, I., Grammes, R., Weber, C. (2006). ConTraST – A Configurable SDL Transpiler and Runtime Environment. In: Gotzhein, R., Reed, R. (eds) System Analysis and Modeling: Language Profiles. SAM 2006. Lecture Notes in Computer Science, vol 4320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11951148_14
Download citation
DOI: https://doi.org/10.1007/11951148_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68371-1
Online ISBN: 978-3-540-68373-5
eBook Packages: Computer ScienceComputer Science (R0)