ConTraST - A configurable SDL transpiler and runtime environment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4320 LNCS, Issue , 2006, Pages 216-228

  Fliege, Ingmar ^a   Grammes, Rüdiger ^a   Weber, Christian ^b  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C++ CODES; CONFIGURABLE; FORMAL SEMANTICS; LANGUAGE FEATURES; OBJECT ORIENTED; RUNTIME ENVIRONMENTS; SDL;

SEMANTICS; SPECIFICATIONS; SYSTEMS ANALYSIS;

FORMAL METHODS;

EID: 37149044961     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11951148_14     Document Type: Conference Paper

References (12)

1. ITU-T Recommendation Z.100 (11/00) - Specification and Description Language (SDL), International Telecommunication Union (ITU), (11/00)
2. ITU-T Recommendation Z.100 (10/96) - Specification and Description Language (SDL), International Telecommunication Union (ITU), (03/93) + (10/96)
3. C. Weber, Design And Implementation of a configurable SDL transpiler for a C++ runtime environment (in german), Diploma-Thesis, December 2005, TU Kaiserslautern, Germany
4. Grammes, R., Formal Operations for SDL Language Profiles, SAM06, 2006
5. Glässer, U., Gotzhein, R., Prinz, A., An introduction to abstract state machines, Technical Report 326/03, University of Kaiserslautern, 2003
6. Fliege, I., Geraldy, A., Konzept und Struktur des SDL Environment Frameworks (SEnF) (in german), Technical Report 341/05, University of Kaiserslautern, 2005
7. Kuhn, T., Geraldy, A., Gotzhein, R., Rothländer, F., ns+SDL - The Network Simulator for SDL Systems, in: A. Prinz, R. Reed, J.Reed (Eds.), SDL 2005 - Model Driven, Lecture Notes in Computer Science 3530, Springer, 2005, pp. 103-116
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: System Design. Volume 2708 of LNCS., Springer (2003) pp. 150-165
9. Microsoft Research. AsmL. http://research.microsoft.com/fse/AsmL/
10. Telelogic Tau 4.6, http://www.telelogic.com/corp/products/tau/sdl/
11. Rauchwerger, Y., Kristoffersen, F., Lahav, Y.: Cinderella SLIPPER: An SDL to C-Code Generator. SDL Forum 2005: 210-223 (Pubitemid 41422153)
12. Pragmadev Real Time Developer Studio, http://www.pragmadev.com/