Systemj compilation using the tandem virtual machine approach

ACM Transactions on Design Automation of Electronic Systems

Volumn 14, Issue 3, 2009, Pages

  Malik, Avinash ^a   Salcic, Zoran ^a   Roop, Partha S ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Compilation; Esterel; System level design; SystemJ; Virtual machines

Indexed keywords

COMPILATION; ESTEREL; SYSTEM-LEVEL DESIGN; SYSTEMJ; VIRTUAL MACHINES;

COMPUTER SOFTWARE; DATA HANDLING; EMBEDDED SYSTEMS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; PROGRAM COMPILERS; STANDARDS;

MACHINE DESIGN;

EID: 67650321551     PISSN: 10844309     EISSN: 15577309     Source Type: Journal    
DOI: 10.1145/1529255.1529256     Document Type: Article

References (29)

1. BERRY, G. 1993. The semantics of pure Esterel. In Marktoberdorf Intl. Summer School on Program Design Calculi. Lecture Notes in Computer Science. Springer-Verlag.
2. BERRY, G. 1999. The Esterel v5 language primer - Version 5.10, release 2.0.
3. BERRY, G., RAMESH, S., AND SHYAMASUNDAR, R. K. 1993. Communicating reactive processes. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'93). ACM Press, New York, 85-98.
4. BOUSSINOT, F. AND DE SIMONE, R. 1996. The SL synchronous language. IEEE Trans. Softw. Eng. 22, 4, 256-266.
5. BOUSSINOT, F. AND SUSINI, J.-F. 1998. The sugarCubes tool box: A reactive Java framework. Softw. Pract. Exper. 28, 14, 1531-1550.
6. BUTUCARU, P. D. 2002. Optimisations for faster execution of Esterel programs. Ph.D. thesis, Ecole des Mines de Paris.
7. EDWARDS, S. 2002. An Esterel compiler for large control-dominated systems. IEEE Trans. Comput.-Aided Des. Integrated Circ. Syst. 21, 2, 169-183.
8. EDWARDS, S. 2006. Estbench Esterel benchmark suite. http://www1.cs.columbia.edu/∼sedwards/software.html (last access 9/06).
9. EDWARDS, S. AND TARDIEU, O. 2006. SHIM: A deterministic model for heterogeneous embedded systems. IEEE Trans. Very Large Scale Integration Syst. 14, 8, 854-867.
10. ESTEREL TECHNOLOGIES SA. 2003. Esterel Studio Reference Manual Version 4.2.
11. GRUIAN, F., ROOP, P., SLACIC, Z., AND RADOJEVIC, I. 2006. The SystemJ approach to System-level design. In the 4th International Conference on Formal Methods and Models for Codesign (MEM-OCODE).
12. HAZARD, L., SUSINI, J.-F., AND BOUSSINOT, F. 1999. The Junior reactive kernel. Res. rep. 3732. INRIA.
13. HOARE, C. A. R. 1985. Communicating Sequential Processes. Prentice Hall.
14. KAHN, G. 1974. The semantics of simple language for parallel programming. In IFIP Congress, 471-475.
15. LAVAGNO, L. AND SENTOVICH, E. 1999. ECL: A specification environment for system-level design. In Proceedings of the Design Automation Conference, 511-516.
16. LI, X. AND VON HANXLEDEN, R. 2005. The Kiel Esterel processor - A semi-custom, configurable reactive processor. In Proceedings of the Conference on Synchronous Programming (SYNCHRON'04), S. A. Edwards et al., Eds. Number 04491 in Dagstuhl Seminar Proceedings. http://drops.dagstuhl.de/opus/volltexte/2005/159>.
17. MALIK, A. 2008. System J Benchmark Suite. http://www.ece.auckland.ac.nz/∼amal029 (last access 9/08).
18. MALIK, A., SALCIC, Z., AND ROOP, P. 2006a. Efficient compilation ofGALS language-System J. Tech. rep. 655, University of Auckland.
19. MALIK, A., SALCIC, Z., AND ROOP, P. 2006b. SystemJ a GALS language for embedded systems and its operational semantics. Tech. rep. 656, University of Auckland.
20. MALIK, A., SALCIC, Z., AND ROOP, P. S. 2008. An efficient execution platform for GALS language systemJ. In the 13th IEEE Asia Pacific Computer Systems Architecture Conference.
21. MANDEL, L. AND POUZET, M. 2005. ReactiveML: A reactive extension to ML. In Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'05). ACM, New York, NY, USA, 82-93.
22. MURATA, T., SHATZ, S. M., AND SHENKER, B. 1989. Detection of Ada static deadlocks using petri net invariants. IEEE Trans. Softw. Eng. 15, 3, 314-326.
23. PLUMMER, B., KHAJANCHI, M., AND EDWARDS, S. A. 2006. An Esterel virtual machine for embedded systems. In International Workshop on Synchronous Languages, Applications, and Programming (SLAP).
24. RAMESH, S. 1998. Communicating reactive state machines: Design, model and implementation. In IFAC Workshop on Distributed Computer Control Systems (Sept.). Pergamon Press.
25. SALCIC, Z., HUI, D., ROOP, P., AND BIGLARI-ABHARI, M. 2005. REMIC: Design of a reactive embedded microprocessor core. In Proceedings of the Conference on Asia South Pacific Design Automation (ASP-DAC'05). ACM Press, New York, 977-981.
26. SALCIC, Z. A., ROOP, P., BIGLARI-A BHARI, M., AND BIGDELI, A. 2002. Reflix: A processor core for reactive embedded applications. In Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications (FPL'02). Springer-Verlag, 945-945.
27. SIMON, Y., HSIEN, Y. L., SIDHARTA, A., PARTHA, R., AND ZORAN, S. 2008. A new multithreaded architecture direct execution platform for Esterel. In Model Driven High-Level Programming of Embedded Systems SLA++P. European Joint Conference on Theory and Practice of Software.
28. TARDIEU, O. AND EDWARDS, S.A. 2006. Scheduling-Independent threads and exceptions in SHIM. In Proceedings ofthe 6th ACM IEEE International Conference on Embedded Software (EMSOFT'06). ACM Press, New York, 142-151.
29. YOONG, L., ROOP, P., AND SALCIC, Z. 2006. Compiling Esterel for distributed execution. In Proceedings of Synchronous Languages, Applications and Programming.