Worst Case Reaction Time Analysis of Concurrent Reactive Programs

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 4, 2008, Pages 65-79

  Boldt, Marian ^a   Traulsen, Claus ^a   von Hanxleden, Reinhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Esterel; Instantaneous Reachability; Synchronous Languages; Worst Case Execution Time; Worst Case Reaction Time

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE;

ESTEREL; INSTANTANEOUS REACHABILITY; SYNCHRONOUS LANGUAGES; WORST CASE EXECUTION TIME (WCET); WORST CASE REACTION TIME (WCRT);

COMPUTER SYSTEMS PROGRAMMING;

EID: 44349157730     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.05.011     Document Type: Article

References (23)

1. Berry G. Esterel on Hardware. Philosophical Transactions of the Royal Society of London 339 (1992) 87-104
2. Berry G. The Constructive Semantics of Pure Esterel. Draft Book (1999). ftp://ftp-sop.inria.fr/esterel/pub/papers/constructiveness3.ps
3. Berry, G., "The Esterel v5 Language Primer, Version v5_91," Centre de Mathématiques Appliquées Ecole des Mines and INRIA, 06565 Sophia-Antipolis (2000), ftp://ftp-sop.inria.fr/esterel/pub/papers/primer.pdf
4. Boldt, M., "Worst-Case Reaction Time Analysis for the KEP3," Study thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science (2007), http://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mabo-st.pdf
5. Burns, A. 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, p. 89
6. Estbench Esterel Benchmark Suite (2007). http://www1.cs.columbia.edu/~sedwards/software/estbench-1.0.tar.gz
7. Closse E., Poize M., Pulou J., Venier P., and Weil D. SAXO-RT: Interpreting Esterel semantic on a sequential execution structure. In: Maraninchi F., Girault A., and Rutten E. (Eds). Electronic Notes in Theoretical Computer Science (2002). http://www.elsevier.com/gej-ng/31/29/23/117/53/34/65.5.010.pdf
8. Edwards S.A. An Esterel compiler for large control-dominated systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 21 (2002)
9. Edwards S.A. Tutorial: Compiling concurrent languages for sequential processors. ACM Transactions on Design Automation of Electronic Systems 8 (2003) 141-187
10. Edwards S.A. CEC: The Columbia Esterel Compiler (2006). http://www1.cs.columbia.edu/~sedwards/cec/
11. Edwards, S.A., V. Kapadia and M. Halas, Compiling Esterel into static discrete-event code, in: International Workshop on Synchronous Languages, Applications, and Programming (SLAP'04), Barcelona, Spain, 2004
12. Harel, D. and A. Pnueli, On the development of reactive systems, Logics and models of concurrent systems (1985), pp. 477-498
13. Li, X., M. Boldt and R. von Hanxleden, Mapping Esterel onto a multi-threaded embedded processor, in: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'06), San Jose, CA, 2006
14. Li, X., J. Lukoschus, M. Boldt, M. Harder and R. von Hanxleden, An Esterel Processor with Full Preemption Support and its Worst Case Reaction Time Analysis, in: Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (2005), pp. 225-236
15. Li, X. and R. von Hanxleden, A concurrent reactive Esterel processor based on multi-threading, in: Proceedings of the 21st ACM Symposium on Applied Computing (SAC'06), Special Track Embedded Systems: Applications, Solutions, and Techniques, Dijon, France, 2006
16. Logothetis, G. and K. Schneider, Exact high level WCET analysis of synchronous programs by symbolic state space exploration, in: Design, Automation and Test in Europe (DATE) (2003), pp. 196-203
17. Logothetis, G., 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) (2003)
18. Malik, S., 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 (1997), pp. 147-152, http://doi.acm.org/10.1145/266021.266052
19. Potop-Butucaru D., and de Simone R. Optimization for faster execution of Esterel programs (2004), Kluwer Academic Publishers, Norwell, MA, USA 285-315
20. Puschner P., and Burns A. A review of worst-case execution-time analysis (editorial). Real-Time Systems 18 (2000) 115-128
21. Ringler, T., Static worst-case execution time analysis of synchronous programs, in: ADA-Europe-5. International Conference on Reliable Software Technologies, 2000
22. Roop, P.S., 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, 2004
23. Tardieu, O. and R. de Simone, Instantaneous termination in pure Esterel, in: Static Analysis Symposium, San Diego, California, 2003