On efficient program synthesis from statecharts

ACM SIGPLAN Notices

Volumn 38, Issue 7, 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; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; EMBEDDED SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

AUTOMATIC CODE GENERATION; HIERARCHICAL CODE GENERATOR; PROGRAM SYNTHESIS; STATECHARTS;

SOFTWARE ENGINEERING;

EID: 1442337763     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780731.780755     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. Drusinksy 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. Drusinksy and D. Harel. Using statecharts for hardware description and synthesis. IEEE Transactions on Computer Aided Design, 8(7):798-807, 1989.
6. D. Drusinsky-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. Waswoski and P. Sestoft. Compile-time scope resolution for statecharts transitions. In Proceedings of Workshops 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.