메뉴 건너뛰기




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

Chronos: A timing analyzer for embedded software

Author keywords

Worst Case Execution Time (WCET) analysis

Indexed keywords

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

EID: 36048974180     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.01.014     Document Type: Article
Times cited : (197)

References (26)
  • 1
    • 36049004826 scopus 로고    scopus 로고
    • AbsInt, aiT: Worst case execution time analyzer. http://www.absint.com/ait/, 2005
  • 2
    • 36048981400 scopus 로고    scopus 로고
    • M. Berkelaar, lp_solve: (Mixed Integer) Linear programming problem solver. Available from: ftp://ftp.es.ele.tue.nl/pub/lp_solve
  • 3
    • 36049040525 scopus 로고    scopus 로고
    • 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
    • 85050550846 scopus 로고    scopus 로고
    • 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
    • 36049010540 scopus 로고    scopus 로고
    • CPLEX, The ILOG CPLEX Optimizer v7.5, commercial software. http://www.ilog.com, 2002
  • 6
    • 36049012927 scopus 로고    scopus 로고
    • 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
    • 36049008320 scopus 로고    scopus 로고
    • J. Gustafsson, et al., Swedish execution time tool (SWEET), 2006
  • 8
    • 0343341629 scopus 로고    scopus 로고
    • 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
    • 0036704707 scopus 로고    scopus 로고
    • C. Healy, D. Whalley, Automatic detection and exploitation of branch constraints for timing analysis, IEEE Transactions on Software Engineering 28 (8)
  • 10
    • 6944231166 scopus 로고    scopus 로고
    • 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
    • 10444244120 scopus 로고    scopus 로고
    • X. Li, T. Mitra, A. Roychoudhury, Modeling control speculation for timing analysis, Journal of Real-Time Systems 29 (1)
  • 12
    • 33747319225 scopus 로고    scopus 로고
    • X. Li, A. Roychoudhury, T. Mitra, Modeling out-of-order processors for WCET analysis, Journal of Real-Time Systems 34 (3)
  • 13
    • 36048988602 scopus 로고    scopus 로고
    • Y.-T.S. Li, Cinderella 3.0 WCET analyzer. http://www.princeton.edu/~yauli/cinderella-3.0/, 1996
  • 15
    • 36048939569 scopus 로고    scopus 로고
    • T. Ltd., Bound-t execution time analyzer. http://www.bound-t.com, 2005
  • 16
    • 0033337990 scopus 로고    scopus 로고
    • T. Lundqvist, P. Stenström, Timing anomalies in dynamically scheduled microprocessors, in: IEEE Real-Time Systems Symposium, 1999
  • 17
    • 72249092684 scopus 로고    scopus 로고
    • Worst case execution time and energy analysis
    • Srikant Y., and Shankar P. (Eds), CRC Press
    • 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
    • (2007) The Compiler Design Handbook
    • Mitra, T.1    Roychoudhury, A.2
  • 18
    • 0036953784 scopus 로고    scopus 로고
    • 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
    • 36049033585 scopus 로고    scopus 로고
    • I. Puaut, Heptane static WCET analyzer. http://www.irisa.fr/aces/work/heptane-demo/heptane.html, 2003
  • 20
    • 36048971561 scopus 로고    scopus 로고
    • P. Puschner, C. Koza, Calculating the maximum execution time of real-time programs, Journal of Real-time Systems 1 (2)
  • 21
    • 36049051184 scopus 로고    scopus 로고
    • M. research group, WCET benchmark programs. http://www.mrtc.mdh.se/projects/wcet/benchmarks.html
  • 22
    • 36048936201 scopus 로고    scopus 로고
    • A. Shaw, Reasoning about time in higher level language software, IEEE Transactions on Software Engineering 1 (2)
  • 23
    • 36049008967 scopus 로고    scopus 로고
    • 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
    • 36048941921 scopus 로고    scopus 로고
    • J. Staschulat, Symta/p: Symbolic timing analysis for processes. http://www.ida.ing.tu-bs.de/research/projects/symta/home.e.shtml, 2005
  • 25
    • 36048934191 scopus 로고    scopus 로고
    • R. Wilhelm, The worst-case execution time problem-overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems (in press)
  • 26
    • 84944210284 scopus 로고    scopus 로고
    • Why AI + ILP is good for WCET, but MC is not, nor ILP alone
    • Verification, Model Checking and Abstract Interpretation (VMCAI)
    • 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)
    • (2004) LNCS , vol.2937
    • Wilhelm, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.