Why AI + ILP is good for WCET, but MC is not, nor ILP alone

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2937, Issue , 2004, Pages 309-322

  Wilhelm, Reinhard ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ACCIDENTS; EXPLOSIONS; INTEGER PROGRAMMING; PROGRAM PROCESSORS;

ABSTRACT INTERPRETATIONS; CHARACTERISTIC PROPERTIES; FIX-POINT ITERATIONS; INTEGER LINEAR PROGRAMMING; PROCESSOR ARCHITECTURES; REAL TIME PROGRAMS; STATE-SPACE EXPLOSION; WORST-CASE EXECUTION TIME;

MODEL CHECKING;

EID: 84944210284     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24622-0_25     Document Type: Conference Paper

References (25)

1. M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm. Cache Behavior Prediction by Abstract Interpretation. In Proceedings of SAS’96, Static Analysis Symposium, volume 1145 of LNCS, pages 52–66. Springer-Verlag, September 1996.
2. D. Basin, S. Friedrich, M. Gawkowski, and J. Posegga. Bytecode model checking: An experimental analysis. In 9th International SPIN Workshop on Model Checking of Software, volume 2318 of LNCS, pages 42–59. Springer-Verlag, 2002.
3. P. Cousot. Automatic verification by abstract interpretation, invited talk. International Symposium in Honor of Zohar Manna, Taormina, Sicily, Italy, Tuesday, July 1st, 2003.
4. Andreas Ermedahl. A Modular Tool Architecture for Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, 2003.
5. C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R. Wilhelm. Reliable and precise WCET determination for a real-life processor. In EMSOFT, volume 2211 of LNCS, pages 469–485, 2001.
6. C. Ferdinand, F. Martin, and R. Wilhelm. Cache Behavior Prediction by Abstract Interpretation. Science of Computer Programming, 35:163–189, 1999.
7. Christian Ferdinand. Cache Behavior Prediction for Real-Time Systems. PhD Thesis, Universit¨at des Saarlandes, September 1997.
8. Christopher A. Healy, David B. Whalley, and Marion G. Harmon. Integrating the Timing Analysis of Pipelining and Instruction Caching. In Proceedings of the IEEE Real-Time Systems Symposium, pages 288–297, December 1995.
9. Reinhold Heckmann, Marc Langenbach, Stephan Thesing, and Reinhard Wilhelm. The influence of processor architecture on the design and the results of WCET tools. IEEE Proceedings on Real-Time Systems, 91(7):1038–1054, 2003.
10. M. Langenbach, St. Thesing, and R. Heckmann. Pipeline modelling for timing analysis. In Static Analysis Symposium, LNCS. Springer-Verlag, 2002.
11. Yau-Tsun Steven Li and Sharad Malik. Performance Analysis of Embedded Software Using Implicit Path Enumeration. In Proceedings of the 32nd ACM/IEEE Design Automation Conference, pages 456–461, June 1995.
12. Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe. Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. In Proceedings of the IEEE Real-Time Systems Symposium, pages 298–307, December 1995.
13. Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe. Performance Estimation of Embedded Software with Instruction Cache Modeling. In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, pages 380–387, November 1995.
14. Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe. Cache Modeling for Real- Time Software: Beyond Direct Mapped Instruction Caches. In Proceedings of the IEEE Real-Time Systems Symposium, December 1996.
15. F. Martin, M. Alt, R. Wilhelm, and C. Ferdinand. Analysis of Loops. In Proceedings of the International Conference on Compiler Construction (CC’98), volume 1383 of LNCS, pages 80–94. Springer-Verlag, 1998.
16. Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
17. Chang Yun Park and Alan C. Shaw. Experiments with a Program Timing Tool Based on Source-Level Timing Schema. IEEE Computer, 24(5):48–57, May 1991.
18. P. Puschner and Ch. Koza. Calculating the Maximum Execution Time of Real- Time Programs. Real-Time Systems, 1:159–176, 1989.
19. Alfred Rosskopf. Vergleich der Performance von zwei Plattformen für Ada- Applikationen: PowerPC/ObjectAda gegenüber MC68020/XDAda. Talk at Ada Deutschland, March 2001.
20. J. Schneider and C. Ferdinand. Pipeline Behaviour Prediction for Superscalar Processors by Abstract Interpretation. In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Atlanta, June 1999.
21. H. Theiling and C. Ferdinand. Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. In Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 144–153, Madrid, Spain, December 1998.
22. H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise WCET prediction by separated cache and path analyses. Real-Time Systems, 18(2/3):157–179, May 2000.
23. Henrik Theiling. Control Flow Graphs for Real-Time System Analysis. PhD thesis, Universität des Saarlandes, 2002.
24. 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 systems. In Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), pages 625–632. IEEE Computer Society, June 2003.
25. Stephan Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis, Universit¨at des Saarlandes. forthcoming.