Towards direct execution of Esterel programs on reactive processors

EMSOFT 2004 - Fourth ACM International Conference on Embedded Software

Volumn , Issue , 2004, Pages 240-248

  Roop, Partha S ^a   Salcic, Zoran ^a   Sajeewa Dayaratne, M W ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

ARE Bench Auckland Reactive Benchmark; Direct ESTEREL Execution; Reactive Processor Architectures

Indexed keywords

CONSTRAINT THEORY; EMBEDDED SYSTEMS; PROGRAM COMPILERS;

ESTEREL COMPILERS; REACTIVE PROCESSOR ARCHITECTURES; SYSTEM-LEVEL LANGUAGE;

PROGRAM PROCESSORS;

EID: 27644511043     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1017753.1017793     Document Type: Conference Paper

References (19)

1. Microchip.Ltd, (1998 - Last Updated) "PIC16F8X Datasheet" [Online]. Available http://www.microchip.com/download/lit/pline/picmicro/families/16f8x/30430c.pdf [Last Accessed 10/04/2003]
2. F. Boussinot and R. de Simone, "The ESTEREL language," Proceedings of the IEEE, vol. 79, pp. 1293-1304, 1991.
3. G. Berry and G. Gonthier, "The Esterel Synchronous Programming Language: Design, Semantics, Implementation," Science of Computer Programming, vol. 19, pp. 87-152, 1992.
4. M. Chiodo, P. Guisto, A. Jurecska, L. Lavagno, H. Hsieh, K. Suzuki, A. L. Sangiovanni- Vincentelli, and E. Sentovich, "Synthesis of Software Programs for Embedded Control Applications," presented at 32nd Design Automation Conference, San Francisco, CA, 1995.
5. F. Balarin and M. Chiodo, "Software synthesis for complex reactive embedded systems," presented at Computer Design, 1999. (ICCD '99) International Conference on, 1999.
6. Leupers, "Code generation for embedded processors," presented at System Synthesis, 2000. Proceedings. The 13th International Symposium on, 2000.
7. S.A. Edwards, (1/9/2003 - Last Updated) "CEC: The Colombia Esterel Compiler" [Online]. Available http://www1.cs.columbia.edu/sedwards/cec/ [Last Accessed 10/10/2003]
8. Esterel-Technologies (2003 - Last Updated) "Esterel Technologies Website" [Online]. Available http://www.esterel-technologies.com [Last Accessed 11/11/2003]
9. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni- Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The Polis Approach. New York: Kluwer Academic Publishers, 1997.
10. Z. Salcic, P. S. Roop, M. Biglari-Abhari, A. Bigdeli, "REFLIX: A Processor Core with Native Support for Control Dominated Embedded Applications", Elsevier Journal of Microprocessors and Microsystems, Vol. 28, pp. 13-25, 2004
11. S.A. Edwards, "An Esterel compiler for large control-dominated systems," Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol. 21, pp. 169-183, 2002.
12. S.A. Edwards, (2003 - Last Updated) "The Estbench Esterel Benchmark Suite" [Online]. Available http://www1.cs.columbia.edu/sedwards/software.html [Last Accessed 17/11/2003].
13. S. A. Edwards, "Compiling Esterel into Sequential Code", Design Automation Conference (DAC) 2000.
14. Ramesh S. and Bhaduri P. "Validation of pipelined processor designs using Esterel tools", Proceedings of the 11th International Conference on Computer Aided Verification, Springer Verlag, 1999, pp. 84 - 95.
15. Caspi P, Girault, A, Pilaud, D. "Automatic distribution of reactive systems for asynchronous networks of processors", IEEE Transactions on Software Engineering, Vol.25, Iss.3, May/Jun 1999 pages:416-427
16. Spasov, Microcontroller Technology: The 68HC11: Prentice Hall, 1999.
17. Schutti, M. Pfaff, and R. Hagelauer, "VHDL design of embedded processor cores: the industry- standard microcontroller 8051 and 68HC11," presented at ASIC Conference 1998. Proceedings. Eleventh Annual IEEE International, 1998.
18. (2003 - Last Updated) "NIOS Embedded Processor: 16-bit Programmers Reference Manual" [Online], Available http://www.altera.com [Last Accessed 17/11/2003]
19. (2004 - Last Updated) "The Colombia Esterel Compiler [Online] Available http://www1.cs.columbia.edu/sedwards/cec/ [Last Accessed 20/03/2004]