An efficient algorithm for parametric WCET calculation

Proceedings - 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009

Volumn , Issue , 2009, Pages 13-21

  Bygde, Stefan ^a   Ermedahl, Andreas ^a   Lisper, Björn ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENT ALGORITHM; UPPER BOUND; WCET CALCULATION; WORST-CASE EXECUTION TIME;

ALGORITHMS; COMPUTER SCIENCE; EMBEDDED SYSTEMS;

REAL TIME SYSTEMS;

EID: 72349096284     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2009.9     Document Type: Conference Paper

References (25)

1. th Euromicro Conference of Real-Time Systems, (ECRTS'05), Jul. 2005.
2. st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Oct. 2004.
3. nd International Workshop on Real-Time Tools, 2002.
4. I. Crnkovic, "Component-based software engineering for embedded systems," in International Conference on Software engineering, ICSE'05. ACM, 5 2005.
5. G. T. Heineman and W. T. Councill, Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Professional, June 2001.
6. H. Hansson, M. Akerholm, I. Crnkovic, and M. Torngren, "Saveccm - a component model for safety-critical real-time systems," in EUROMICRO '04: Proceedings of the 30th EUROMICRO Conference. Washington, DC, USA: IEEE Computer Society, 2004, pp. 627-635.
7. "Arcticus Systems homepage," 2009, www.arcticus-systems.com.
8. rd International Workshop on Worst-Case Execution Time Analysis (WCET'2003), J. Gustafsson, Ed., Porto, Jul. 2003, pp. 77-80.
9. 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," ACM Transactions on Embedded Computing Systems (TECS), vol. 7, no. 3, pp. 1-53, 2008.
10. Y.-T. S. Li and S. Malik, "Performance analysis of embedded software using implicit path enumeration," in Proc. ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (LCT-RTS'95), La Jolla, CA, Jun. 1995.
11. P. Feautrier, "Parametric integer programming," Operationnelle/Operations Research, vol. 22, no. 3, pp. 243-268, 1988. [Online]. Available: citeseer.ist.psu.edu/feautrier88parametric.html
12. th ACM Symposium on Principles of Programming Languages, Los Angeles, Jan. 1977, pp. 238-252.
13. A. Miné, "The octagon abstract domain," Higher Order Symbol. Comput., vol. 19, no. 1, pp. 31-100, 2006.
14. P. Cousot and N. Halbwachs, "Automatic discovery of linear restraints among variables of a program," in Proc. 5th ACM Symposium on Principles of Programming Languages, 1978, pp. 84-97.
15. P. Granger, "Static Analysis of Arithmetical Congruences," International Journal of Computer Mathematics, pp. 165-199, 1989.
16. W. Pugh, "Counting solutions to Presburger formulas: How and why," in SIGPLAN Conference on Programming Language Design and Implementation, 1994, pp. 121-134. [Online]. Available: citeseer.ist.psu. edu/pugh94counting.html
17. th International Workshop on Worst-Case Execution Time Analysis (WCET'2008), R. Kirner, Ed., Prague, Czech Republic, Jul. 2008, pp. 9-17.
18. "Piplib website," 2009, http://www.piplib.org/.
19. "Mälardalen WCET benchmarks homepage," 2009, http://www.mrtc.mdh.se/projects/wcet/benchmarks.html.
20. A. Ermedahl and J. Gustafsson, "Deriving Annotations for Tight Calculation of Execution Time," in Proc. Euro-Par'97 Parallel Processing, LNCS 1300. Springer Verlag, Aug 1997, pp. 1298-1307.
21. th Euromicro Conference of Real-Time Systems, (ECRTS'02), Vienna, Jun. 2002, pp. 50-59.
22. E. Vivancos, C. Healy, F. Mueller, and D. Whalley, "Parametric timing analysis," in Proc. ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'01), J. Fenwick and C. Norris,. Eds., Snowbird, Utah, Jun. 2001, pp. 88-93.
23. J. Coffman, C. Healy, F. Mueller, and D. Whalley, "Generalizing parametric timing analysis," in LCTES '07: Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools. New York, NY, USA: ACM, 2007, pp. 152-154.
24. S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm, "Parametric timing analysis for complex architectures," in Proc. 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 08), Kaohsiung, Taiwan, Aug. 2008.
25. S. Gulwani, K. K. Mehra, and T. Chilimbi, "Speed: precise and efficient static estimation of program computational complexity," in POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM, 2009, pp. 127-139.