Compiling SyncCharts to synchronous C

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2011, Pages 563-566

  Traulsen, Claus ^a   Amende, Torsten ^a   Von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C CODES; CONTROL FLOWS; DATA DEPENDENCIES; DETERMINISTIC SEMANTICS; ESTEREL; MEMORY REQUIREMENTS; MODEL REACTIVE SYSTEM; SOFTWARE SYNTHESIS; STATE CHARTS;

COMPUTER SOFTWARE; ESTERS; SEMANTICS;

C (PROGRAMMING LANGUAGE);

EID: 79957542623     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. J. Ali and J. Tanaka. Converting Statecharts into Java code. In Proceedings of the Fourth World Conference on Integrated Design and Process Technology (IDPT '99), Dallas, Texas, June 2000. Society for Design and Process Science (SDPS).
2. C. André. Semantics of SyncCharts. Technical Report ISRN I3S/RR-2003-24-FR, I3S Laboratory, Sophia-Antipolis, France, April 2003.
3. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. In Proceedings of the IEEE, Special Issue on Embedded Systems, volume 91, pages 64-83, Jan. 2003.
4. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992. (Pubitemid 23582985)
5. H. Fuhrmann and R. von Hanxleden. Taming graphical modeling. In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS'10), LNCS, Oslo, Norway, Oct. 2010. Springer.
6. D. Potop-Butucaru, S. A. Edwards, and G. Berry. Compiling Esterel. Springer, May 2007.
7. O. Tardieu and S. A. Edwards. Instanteneous transitions in esterel. In Proceedings of Model Driven High-Level Programming of Embedded Systems (SLA++P'07), Braga, Portugal, Mar. 2007.
8. C. Traulsen, T. Amende, and R. von Hanxleden. Compiling Sync-Charts to Synchronous C. Technical Report 1006, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, Kiel, Germany, July 2010.
9. R. von Hanxleden. SyncCharts in C-A Proposal for Light-Weight, Deterministic Concurrency. In Proceedings of the International Conference on Embedded Software (EMSOFT'09), Grenoble, France, Oct. 2009.
10. A. Wasowski. On efficient program synthesis from Statecharts. In Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compilers, and Tools for Embedded Systems (LCTES'03), volume 38, issue 7, June 2003. ACM SIGPLAN Notices.