On efficient program synthesis from statecharts

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2003, Pages 163-170

  Wasowski, Andrzej ^a  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Automatic code generation; Embedded systems; Program synthesis; Statecharts

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MICROCONTROLLERS; PARALLEL PROCESSING SYSTEMS; PROGRAM COMPILERS; PROGRAM INTERPRETERS; RESPONSE TIME (COMPUTER SYSTEMS); SEMANTICS;

AUTOMATIC CODE GENERATION; PROGRAM SYNTHESIS; SOFTWARE PACKAGE SCOPE; STATECHARTS;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (17)

1. J. Ali and J. Tanaka. Converting statecharts into Java code. In Proceedings of the 5th International Conference on Integrated Design and Process Technology (IDPT'99), Dallas, Texas, June 1999.
2. G. Behrmann, K. Kristoffersen, and K. G. Larsen. Code generation for hierarchical systems. In NWPT'99 - The 11th Nordic Workshop on Programming Theory, Uppsala, Sweden, Sept. 1999.
3. D. Björklund, J. Lilius, and I. Porres. Towards efficient code synthesis from statecharts. In A. Evans, R. France, and A. M. B. Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists. Workshop of the pUML-Group., Lecture Notes in Informatics P-7, Toronto, Canada, October 1st, 2001. GI.
4. D. Drusinsky and D. Harel. On the power of cooperative concurrency. In Proceedings of Concurrency '88, volume 335 of Lecture Notes in Computer Science, pages 74-103, New York, 1985. Springer-Verlag.
5. D. Drusinsky and D. Harel. Using statecharts for hardware description and synthesis. IEEE Transactions on Computer Aided Design, 8(7):798-807, 1989.
6. D. Drunsinsky-Yoresh. A state assignment procedure for single-block implementation of state charts. IEEE Transactions on Computer-Aided Design, 10(12):1569-1576, 1991.
7. E. Erpenbach. Compilation, Worst-Case Execution Times and Schedulability Analysis of Statecharts Models. PhD thesis, Department of Mathematics and Computer Science of the University of Paderborn, Apr. 2000.
8. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
9. IAR Inc. IAR visualSTATE™. http://www.iar.com/Products/VS/.
10. International standard. Programming Languages - C. Ref. ISO/IEC 9899:1999(E).
11. A. Knapp and S. Merz. Model checking and code generation for UML state machines and collaborations. In D. Haneberg, G. Schellhorn, and W. Reif, editors, Proceedings of 5th Workshop on Tools for System Design and Verification, Technical Report 2002-11, pages 59-64. Institut für Informatik, Universität Augsburg, 2002.
12. S. Ramesh. Efficient translation of statecharts into hardware circuits. In 12th International Conference on VLSI Design, pages 384-389. IEEE Computer Society Press, Jan. 1999.
13. SCOPE: A statechart compiler. http://www.mini.pw.edu.pl/~wasowski/scope.
14. E. Sekerinski and R. Zurob. iState: A statechart translator. In M. Gogolla and C. Kobryn, editors, UML 2001 - The Unified Modeling Language, Toronto, Canada, October 2001, volume 2185 of Lecture Notes in Computer Science, pages 376-390. Springer-Verlag, 2001.
15. A. Wasowski and P. Sestoft. Compile-time scope resolution for statecharts transitions. In Proceedings of Workshop on Critical Systems Development with UML (CSDUML), Dresden, Germany, Sept. 2002. TR of Munich University of Technology.
16. A. Wasowski and P. Sestoft. On the formal semantics of visualSTATE statecharts. Technical Report TR-2002-19, IT University of Copenhagen, Sept. 2002.
17. A. Zündorf. Rigorous object oriented software development with Fujaba. Unpublished Draft, 2000.