Timing analysis of Esterel programs on general-purpose multiprocessors

Proceedings - Design Automation Conference

Volumn , Issue , 2010, Pages 48-51

  Ju, Lei ^a   Huynh, Bach Khoa ^a   Roychoudhury, Abhik ^a   Chakraborty, Samarjit ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Esterel; Multiprocessor; Synchronous language; Timing analysis

Indexed keywords

C CODES; CODE GENERATION; COST-SENSITIVE; ESTEREL; INFEASIBLE PATHS; MULTI-PROCESSOR PLATFORMS; MULTIPROCESSOR; PROGRAM FRAGMENTS; SEQUENTIAL PROGRAMS; SYNCHRONOUS LANGUAGES; TIMING ANALYSIS; TIMING PROPERTIES; WORST-CASE EXECUTION TIME ANALYSIS;

AUTOMOBILE ELECTRONIC EQUIPMENT; COMPUTER AIDED DESIGN; LINGUISTICS; MULTIPROCESSING SYSTEMS; NANOTECHNOLOGY; PROGRAM PROCESSORS; QUERY LANGUAGES; SPECIFICATIONS;

TIME MEASUREMENT;

EID: 77956220284     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1837274.1837288     Document Type: Conference Paper

References (15)

1. V. Bertin et al. TAXYS = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. In CDC, 2001.
2. M. Boldt, C. Traulsen, and R. von Hanxleden. Worst case reaction time analysis of concurrent reactive programs. Electronic Notes in Theoretical Computer Science (ENTCS), 203(4):65-79, 2008.
3. F. Boussinot and R. de Simone. The Esterel language. Proceedings of the IEEE, 9(79):1270-1282, 1991.
4. S.A. Edwards. The Estbench Esterel benchmark suite. http://www1.cs. columbia.edu/sedwards/software.html, 2003.
5. S.A. Edwards and J. Zeng. Code generation in the Columbia Esterel compiler. EURASIP Journal on Embedded Systems, 2007.
6. R. Heckmann et al. Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In ERTS, 2008.
7. A. Girault. A survey of automatic distribution method for synchronous programs. In SLAP, 2005.
8. L. Ju, B.K. Huynh, S. Chakraborty, and A. Roychoudhury. Context-sensitive timing analysis of Esterel programs. In DAC, 2009.
9. L. Ju, B.K. Huynh, A. Roychoudhury, and S. Chakraborty. Performance debugging of Esterel specifications. In CODES-ISSS, 2008.
10. G. Logothetis, K. Schneider, and C. Metzler. Generating formal models for real-time verification by exact low-level runtime analysis of synchronous programs. In RTSS, 2003.
11. M. Mendler, R. von Hanxleden, and C. Traulsen. WCRT algebra and interfaces for Esterel-style synchronous processing. In DATE, 2009.
12. D. Potop-Butucaru, S.A. Edwards, and G. Berry. Compiling ESTEREL. Springer, 2007.
13. R. K. Shyamasundar and J. V. Aghav. Realizing real-time systems from synchronous language specifications. In RTSS Work-in-Progress Session, 2000.
14. H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise WCET prediction by separated cache and path analyses. Real-Time Systems, 18(2):157-179, 2000.
15. L. H. Yoong, P. Roop, Z. Salcic, and F. Gruian. Compiling Esterel for distributed execution. In SLAP, 2006.