Chronos: A timing analyzer for embedded software

Science of Computer Programming

Volumn 69, Issue 1-3, 2007, Pages 56-67

  Li, Xianfeng ^a   Liang, Yun ^b   Mitra, Tulika ^b   Roychoudhury, Abhik ^b  

^a PEKING UNIVERSITY   (China)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Worst Case Execution Time (WCET) analysis

Indexed keywords

COMPUTER SIMULATION; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

EMBEDDED SOFTWARE; OPEN-SOURCE DISTRIBUTION; WORST CASE EXECUTION TIME (WCET) ANALYSIS;

SOFTWARE ARCHITECTURE;

EID: 36048974180     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.01.014     Document Type: Article

References (26)

1. AbsInt, aiT: Worst case execution time analyzer. http://www.absint.com/ait/, 2005
2. M. Berkelaar, lp_solve: (Mixed Integer) Linear programming problem solver. Available from: ftp://ftp.es.ele.tue.nl/pub/lp_solve
3. D. Burger, T. Austin, The SimpleScalar Tool Set, Version 2.0, Technical Report CS-TR-1997-1342, University of Wisconsin, Madison. http://www.simplescalar.com/docs/users_guide_v2.pdf, Jun. 1997
4. P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: ACM Symposium on Principles of Programming Languages, 1977
5. CPLEX, The ILOG CPLEX Optimizer v7.5, commercial software. http://www.ilog.com, 2002
6. J. Gustafsson, The WCET Tool Challenge 2006, in: B.S. Tiziana Margaris, Anna Philippou (Eds.), 2nd International Symposium on Leveraging Applications of Formal Methods, ISOLA'06, 2007
7. J. Gustafsson, et al., Swedish execution time tool (SWEET), 2006
8. C. Healy, M. Sjodin, V. Rustagi, D. Whalley, R. Engelen, Supporting timing analysis by automatic bounding of loop iterations, Real-Time Systems 18 (2-3)
9. C. Healy, D. Whalley, Automatic detection and exploitation of branch constraints for timing analysis, IEEE Transactions on Software Engineering 28 (8)
10. R. Heckmann, M. Langenbach, S. Thesing, R. Wilhelm, The influence of processor architecture on the design and the results of WCET tools, Proceedings of the IEEE 91 (7)
11. X. Li, T. Mitra, A. Roychoudhury, Modeling control speculation for timing analysis, Journal of Real-Time Systems 29 (1)
12. X. Li, A. Roychoudhury, T. Mitra, Modeling out-of-order processors for WCET analysis, Journal of Real-Time Systems 34 (3)
13. Y.-T.S. Li, Cinderella 3.0 WCET analyzer. http://www.princeton.edu/~yauli/cinderella-3.0/, 1996
14. Li Y.-T.S., and Malik S. Performance Analysis of Real-time Embedded Software (1999), Kluwer Academic Publishers
15. T. Ltd., Bound-t execution time analyzer. http://www.bound-t.com, 2005
16. T. Lundqvist, P. Stenström, Timing anomalies in dynamically scheduled microprocessors, in: IEEE Real-Time Systems Symposium, 1999
17. Mitra T., and Roychoudhury A. Worst case execution time and energy analysis. In: Srikant Y., and Shankar P. (Eds). The Compiler Design Handbook (2007), CRC Press
18. T. Mitra, A. Roychoudhury, X. Li, Timing analysis of embedded software for speculative processors, in: ACM SIGDA International Symposium on System Synthesis, ISSS, 2002
19. I. Puaut, Heptane static WCET analyzer. http://www.irisa.fr/aces/work/heptane-demo/heptane.html, 2003
20. P. Puschner, C. Koza, Calculating the maximum execution time of real-time programs, Journal of Real-time Systems 1 (2)
21. M. research group, WCET benchmark programs. http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
22. A. Shaw, Reasoning about time in higher level language software, IEEE Transactions on Software Engineering 1 (2)
23. J. Souyris, E. Pavec, G. Himbert, V. Jegu, G. Borios, R. Heckmann, Computing the worst case execution time of an avionics program by abstract interpretation. http://www.absint.com/aiT_airbus.pdf
24. J. Staschulat, Symta/p: Symbolic timing analysis for processes. http://www.ida.ing.tu-bs.de/research/projects/symta/home.e.shtml, 2005
25. R. Wilhelm, The worst-case execution time problem-overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (in press)
26. Wilhelm R. Why AI + ILP is good for WCET, but MC is not, nor ILP alone. Verification, Model Checking and Abstract Interpretation (VMCAI). LNCS vol. 2937 (2004)