Precise and efficient parametric path analysis

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2011, Pages 141-150

  Althaus, Ernst ^a   Altmeyer, Sebastian ^b   Naujoks, Rouven ^c  

^a JOHANNES GUTENBERG UNIVERSITY   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

^c MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

Performance; Verification

Indexed keywords

ANALYSIS TIME; COMMERCIAL TOOLS; EXECUTION TIME; HARD REAL-TIME; HARD REAL-TIME SYSTEMS; NEW APPROACHES; PARAMETRIC ANALYSIS; PATH ANALYSIS; PERFORMANCE; PERFORMANCE BOTTLENECKS; REGULAR STRUCTURE; RUNTIMES; SAFETY CRITICAL SYSTEMS; STATIC TIMING ANALYSIS; TIMING ANALYSIS; UPPER BOUND; WORST-CASE EXECUTION TIME;

EMBEDDED SYSTEMS; PROGRAM COMPILERS; REGRESSION ANALYSIS;

REAL TIME SYSTEMS;

EID: 79955664309     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1967677.1967697     Document Type: Conference Paper

References (15)

1. E. Althaus, S. Altmeyer, and R. Naujoks. A new combinatorial approach to parametric path analysis. Reports of SFB/TR 14 AVACS 58, SFB/TR 14 AVACS, to appear.
2. S. Altmeyer, C. Hümbert, B. Lisper, and R. Wilhelm. Parametric timing analyis for complex architectures. In Proceedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'08), pages 367-376. IEEE Computer Society, August 2008.
3. G. Bernat and A. Burns. An approach to symbolic worst-case execution time analysis. In 25th IFAC Workshop on Real-Time Programming. Palma (Spain)., May 2000.
4. S. Bygde, A. Ermedahl, and B. Lisper. An efficient algorithm for parametric wcet calculation. In Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'09), pages 13-21. IEEE Computer Society, August 2009.
5. R. Chapman, A. Burns, and A.Wellings. Combining static worst-case timing analysis and program proof. Real-Time Syst., 11(2):145-171, 1996. (Pubitemid 126716100)
6. J. Coffman, C. A. Healy, F. Mueller, and D. B. Whalley. Generalizing parametric timing analysis. In Proceedings of the 7th ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (LCTES '07), pages 152-154, 2007. (Pubitemid 47274942)
7. G. B. Dantzig. Linear Programming and Extensions. Princeton University Press, Princeton, NJ, 1963.
8. P. Feautrier. The parametric integer programming's home http:\www.piplib.org.
9. R. E. Gomory. An algorithm for integer solutions to linear programming. In R. L. Graves and P.Wolfe, editors, Recent Advances in Mathematical Programming, pages 269-302, New York, 1969. McGraw- Hill.
10. R. Heckmann and C. Ferdinand. Worst-case execution time prediction by static program analysis. In Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS'04), pages 26-30. IEEE Computer Society, 2004.
11. Y.-T. S. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. In Proceedings of the 32nd annual ACM/IEEE Design Automation Conference (DAC '95), pages 456- 461. ACM, 1995.
12. B. Lisper. Fully automatic, parametric worst-case execution time analysis. In Proceedings of the Third Internation Workshop on Worst- Case Execution Time Analysis (WCET 03), pages 77-80, July 2003.
13. P. Puschner and C. Koza. Calculating the maximum, execution time of real-time programs. Real-Time Syst., 1(2):159-176, 1989.
14. H. Theiling. ILP-based Interprocedural Path Analysis. In Proceedings of the Workshop on Embedded Software, Grenoble, France, October 2002.
15. E. Vivancos, C. Healy, F. Mueller, and D. Whalley. Parametric timing analysis. In Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (LCTES '01), pages 88-93. ACM Press, 2001. (Pubitemid 33719923)