An esterel processor with full preemption support and its worst reaction time analysis

CASES 2005: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems

Volumn , Issue , 2005, Pages 225-236

  Li, Xin ^a   Lukoschus, Jan ^a   Boldt, Marian ^a   Harder, Michael ^a   Von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Esterel; Reaction time analysis; Reactive processing; Synchronous languages; WCET

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER SOFTWARE; SEMANTICS;

ESTEREL; REACTIVE PROCESSING; SYNCHRONOUS LANGUAGES;

PROGRAM PROCESSORS;

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

References (18)

1. F. Balarin, P. Giusto, A. Jurecska, C. Passerone, E. M. Sentovich, B. Tabbara, M. Chiodo, H. Hsieh, L. Lavagno, A. Sangiovanni-Vincentelli, and K. Suzuki. Hardware-Software Co-Design of Embedded Systems, The POLIS Approach. Kluwer Academic Publishers, Apr. 1997.
2. G. Berry. Esterel on Hardware. Philosophical Transactions of the Royal Society of London, 339:87-104, 1992.
3. G. Berry. The Esterel v5 Language Primer. Draft Book, 1999.
4. G. Berry. The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner, 2000. Editors: G. Plotkin, C. Stirling and M. Tofte.
5. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
6. A. Burns and S. Edgar. Predicting computation time for advanced processor architectures. In Proceedings of the 12th Euromicro Conference on Real-Time Systems (EUROMICRO-RTS 2000), 2000.
7. CEC: The Columbia Esterel Compiler. http://www1. cs.columbia.edu/ ~sedwards/cec/.
8. Estbench Esterel Benchmark Suite, http://wwwl.cs.columbia.edu/~sedwards/ software/estbench-1.0.tar.gz.
9. M. W. S. Dayaratne, P. S. Roop, and Z. Salcic. Direct Execution of Esterel Using Reactive Microprocessors. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP), Apr. 2005.
10. S. A. Edwards. An Esterel compiler for large control-dominated systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 21(2), Feb. 2002.
11. X. Li and R. v. Hanxleden, KEP2 (Kiel Esterel Processor 2): The Esterel Processor. Technischer Bericht 0506, Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, Apr. 2005.
12. X. Li and R. v. Hanxleden. The Kiel Esterel Processor - a semi-custom, configurable reactive processor. In S. A. Edwards, N. Halbwachs, R. v. Hanxleden, and T. Stauner, editors, Synchronous Programming SYNCHRON'04, number 04491 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2005. http://drops. dagstuhl.de/opus/ volltexte/2005/159 [date of citation: 2005-07-18].
13. G. Logothetis and K. Schneider. Exact high level WCET analysis of synchronous programs by symbolic state space exploration. In Design, Automation and Test in Europe (DATE), pages 196-203, Munich, Germany, March 2003. IEEE Computer Society.
14. G. Logothetis, K. Schneider, and C. Metzler. Exact low-level runtime analysis of synchronous programs for formal verification of real-time systems. In Forum on Design Languages (FDL), Frankfurt, Germany, 2003. Kluwer.
15. S. Malik, M. Martonosi, and Y.-T. S. Li. Static timing analysis of embedded software, In DAC'97: Proceedings of the 34th annual conference on Design automation, pages 147-152. ACM Press, 1997.
16. S. Morioka. CQPIC: PIC micro computer free soft IP. http://www02.so-net. ne.jp/~morioka/cqpic.htm.
17. P. S. Roop, Z. Salcic, M. Biglari-Abhari, and A. Bigdeli. A New Reactive Processor with Architecture Support for Control Dominated Embedded Systems. In IEEE International Conference on VLSI Design, pages 189-194. IEEE CS Press, Jan. 2003.
18. P. S. Roop, Z. Salcic, and M. W. S. Dayaratne. Towards Direct Execution of Esterel Programs on Reactive Processors. In 4th ACM International Conference on Embedded Software (EMSOFT 04), Pisa, Italy, Sept. 2004.