Context-sensitive timing analysis of Esterel programs

Proceedings - Design Automation Conference

Volumn , Issue , 2009, Pages 870-873

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

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Esterel; Synchronous programming; Worst case Execution Time (WCET) analysis

Indexed keywords

CLOCKS; CODES (SYMBOLS); COMPUTER AIDED DESIGN; COST BENEFIT ANALYSIS; COST EFFECTIVENESS; COST ESTIMATING; ESTERS; TIMING CIRCUITS;

COST-EFFECTIVE IMPLEMENTATIONS; COST-SENSITIVE APPLICATIONS; EFFICIENT IMPLEMENTATION; ESTEREL; ESTIMATION TECHNIQUES; SYNCHRONOUS LANGUAGES; SYNCHRONOUS PROGRAMMING; WORST-CASE EXECUTION TIME ANALYSIS;

C (PROGRAMMING LANGUAGE);

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

References (15)

1. AbsInT GmbH, http://www.absint.com/.
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. A. Benveniste et al. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, 2003.
7. R. Heckmann et al. Combining a high-level design tool for safety-critical systems with a tool for WCET analysis on executables. In 4th European Congress on Embedded and Real Time Software (ERTS), 2008.
8. V. Bertin et al. TAXYS = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. 2001.
9. X. Li et al. Chronos: A timing analyzer for embedded software. Science of Computer Programming, 69(1-3), 2007. http://www.comp.nus.edu. sg/∼rpembed/chronos.
10. L. Ju, B.K. Huynh, A. Roychoudhury, and S. Chakraborty. Performance debugging of Esterel specifications. In International Conference on Hardware Software Codesign and System Synthesis (CODES-ISSS), 2008.
11. 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.
12. M.J.K. Nielsen. TURBOchannel. In 36th IEEE Computer Society International Conference, COMPCON, 1991.
13. D. Potop-Butucaru, S.A. Edwards, and G. Berry. Compiling ESTEREL. Springer, 2007.
14. T. Ringler. Static worst-case execution time analysis of synchronous programs. In 5th Ada-Europe International Conference, LNCS 1845, 2000.
15. R. K. Shyamasundar and J. V. Aghav. Realizing real-time systems from synchronous language specifications. In RTSS Work-in-Progress Session, 2000.