Evaluation of automatic flow analysis for WCET calculation on industrial real-time system code

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2008, Pages 331-340

  Barkah, Dani ^a   Ermedahl, Andreas ^b   Gustafsson, Jan ^b   Lisper, Bjorn ^b   Sandberg, Christer ^b  

^a VOLVO AERO CORPORATION   (Sweden)

^b MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); CODES (SYMBOLS); PULSATILE FLOW; STATIC ANALYSIS;

AUTOMATED FLOW; AUTOMATIC FLOW; AUTOMATICALLY GENERATED; CASE STUDIES; ERROR-PRONE; EXECUTION TIMES; FLOW ANALYSIS; FLOW INFORMATIONS; UPPER BOUNDS; WCET CALCULATION; WORST-CASE EXECUTION TIME ANALYSIS;

REAL TIME SYSTEMS;

EID: 52049096128     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2008.37     Document Type: Conference Paper

References (44)

1. A. Aasa, S, Holmström, and C. Nilsson. An efficiency comparison of some representations of pureiy functional arrays. BIT, 28(3):489-503, Sept. 1988.
2. AbsInt. aiT tool homepage, 2006. www.absint.com/ait.
3. th IEEE International Performance, Computing, and Communications Conference (IPCCC2000). IEEE, February 2000.
4. th Euromicro Workshop of Real-Time Systems, pages 102-107, June 1996.
5. D. Barkah. Evaluating program flow analysis for WCET calculations at Volvo CE. Technical report, Malardalen University, Västerås, Sweden, Aug. 2007.
6. S. Bygde. Analysis of arithmetical congruences on low-level code. In Nordic Workshop on Programming Theory '07. pages 47-48, Oslo, Norway, October 2007.
7. th Euromicro Conference of Real-Time Systems, (ECETS'05), July 2005.
8. nd International Workshop on Real-Time Tools (RT-TOOLS'2002), 2002.
9. th International Workshop on Worst-Case Execution Time Analysis, (WCET'2005), pages 40-43, July 2005.
10. th ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, Jan. 1977.
11. Copy-on-write explanation. Wikipedia, the free encyclopedia, en.wikipedia.org/wiki/Copy-on-write.
12. th International Workshop on Worst-Case Execution Time Analysis, (WCET'2007), pages 57-62, Pisa, Italy, July 2007.
13. J. Engblom. Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Uppsala, University, Dept. of Information Technology, Uppsala, Sweden, Apr. 2002. ISBN 91-554-5228-0.
14. O. Eriksson. Evaluation of static time analysis for CC systems. Master's thesis, Mälardalen University, Sweden, Aug. 2005. 63 pages, www.mrtc.mdh.se/publications/0978.pdf.
15. A. Ermedahl. A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, Dept. of Information Technology, Uppsala University, Sweden, June 2003.
16. th International Workshop on Worst-Case Execution Time Analysis, (WCET'2005), pages 19-22, July 2005.
17. th International Workshop on Worst-Case Execution Time Analysis, (WCET'2007), Pisa, Italy, July 2007.
18. st International Workshop on Embedded Systems, (EMSOFT'2000), LNCS 2211. Oct 2001.
19. rd International Workshop on Worst-Case Execution Time Analysis, (WCET'2003), 2003.
20. C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein, S. Thesing, and R. Heckmann. New developments in WCET analysis. In Program Analysis and Compilation, Theory and Practice, volume 4444 of Lecture Notes in Comput. Sci., pages 12-52. Springer-Verlag, 2007.
21. J. Gustafsson. Analyzing Execution-Time of Object-Oriented, Programs Using Abstract Interpretation. PhD thesis, Dept. of Information Technology, Uppsala University, Sweden, May 2000.
22. th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), Feb. 2005.
23. th IEEE Real-T 'ime Systems Symposium (RTSS'06), Dec. 2006.
24. C. Healy, M. Sjödin, V. Rustagi, D. Whalley, and R. van Engelen. Supporting timing analysis by automatic bounding of loop iterations. Journal of Real-Time Systems, 18(2-3): 129-156, May 2000.
25. th IEEE Real-Time Technology and Applications Symposium (RTAS'99), June 1999.
26. N. Holsti, T. Långbacka, and S. Saarinen. Using a worst-case execution-time tool for real-time verification of the DEBIE software. In Proc. DASIA 2000 Conference (Data Systems in Aerospace 2000, ESA SP-457), Sept. 2000.
27. N. Holsti, T. Långbacka, and S. Saarinen. Worst-case execution-time analysis for digital signal processors. In Proc. EUSIPCO 2000 Conference (X European Signal Processing Conference), 2000.
28. Infineon. Infineon Systems homepage, 2006. www.infineon.com.
29. T. Lundqvist. A WCET Analysis Method for Pipelined Microprocessors with Cache Memories. PhD thesis, Chalmers University of Technology, Göteborg, Sweden, June 2002.
30. Mälardalen University. WCET project homepage, 2007. www.mrtc.mdh.se/projects/wcet.
31. nd International Symposium on Leveraging Applications of Formal Methods (ISOLA '06), Paphos, Cyprus, Nov. 2006.
32. RapiTime WCET tool homepage, 2006. www.rapitasystems. com.
33. rd International Workshop on Worst-Case Execution Time Analysis, (WCET'2003), 2003.
34. Rubus homepage, 2006. www.arcticus-systems.com/productsrubusos,php.
35. C. Sandberg, A. Ermedahl, J. Gustafsson, and B. Lisper. Faster WCET flow analysis by program slicing. In Proc. ACM SIGPLAN Conference on Languages, Compilers and, Tools for Embedded, Systems (LCTES'06), pages 103-112, June 2006.
36. st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Oct. 2004.
37. nd International Symposium on Leveraging Applications of Formal Methods (ISOLA '06), Paphos, Cyprus, Nov. 2006.
38. S. Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis, Saarland University, 2004.
39. S. Thesing, J. Souyris, R. Heckmann, F. Randimbivololona, M. Langenbach, R.. Wilhelm, and C. Ferdinand. An abstract interpretation-based timing validation of hard real-time avionics software. In Proc. of the IEEE Int. Conf. on Dependable Systems and Networks (DSN-2003), June 2003.
40. Tidorum. Bound-T tool homepage, 2006. www.tidorum.fi/bound-t.
41. Volvo CE (construction equipment) homepage, 2008. www.volvo.com/ constructionequipment,
42. M. Weiser. Program Slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
43. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution time problem - overview of methods and survey of tools. Accepted for publication in A CM Transactions on Programming Languages and Systems, 2008.
44. The Whole-Program Optimization project homepage, 2001. www.astec.uu.se/etapp3/.