New developments in WCET analysis

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

Volumn 4444 LNCS, Issue , 2007, Pages 12-52

  Ferdinand, Christian ^a   Martin, Florian ^a   Cullmann, Christoph ^a   Schlickling, Marc ^a,b   Stein, Ingmar ^a   Thesing, Stephan ^b   Heckmann, Reinhold ^a  

^a AbsInt Angewandte Informatik GmbH   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; DATA FLOW ANALYSIS; MATHEMATICAL MODELS; STATIC ANALYSIS;

FORMAL PROCESSOR DESCRIPTION; GENERIC SLICER; LOOP ITERATIONS; PIPELINE MODEL;

PROGRAM PROCESSORS;

EID: 39149095978     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71322-7_2     Document Type: Conference Paper

References (27)

1. Stankovic, J.A.: Real-Time and Embedded Systems. ACM 50th Anniversary Report on Real-Time Computing Research. (1996) http://www-ccs.cs.umass.edu/sdcr/ rt.ps
2. Wilhelm, R.: Determining bounds on execution times. In Zurawski, R., ed.: Handbook on Embedded Systems. CRC Press (2005) 14-1 - 14-23
3. Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proceedings of the 4th ACM Symposium on Principles of Programming Languages, Los Angeles, California (1977)
4. Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P.: The worst-case execution time problem - overview of methods and survey of tools. Under revision for ACM Transactions on Embedded Computing Systems (2007)
5. Theiling, H.: Extracting safe and precise control flow from binaries. In: Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea (2000)
6. Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD Thesis, Universität des Saarlandes (1997)
7. Heckmann, R., Langenbach, M., Thesing, S., Wilhelm, R.: The influence of processor architecture on the design and the results of WCET tools. Proceedings of the IEEE 91(7) (2003) 1038-1054 Special Issue on Real-Time Systems.
8. Theiling, H., Ferdinand, C.: Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis. In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain (1998) 144-153
9. AbsInt Angewandte Informatik GmbH: aiSee Home Page, http://www.aisee.com. (2006)
10. Sicks, M.: Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches. Diploma Thesis, Universität d. Saarlandes (1997)
11. Cullmann, C.: Statische Berechnung sicherer Schleifengrenzen auf Maschinencode. Diploma Thesis, Universität d. Saarlandes (2006)
12. Pugh, W.: The Omega Test: A Fast and Practical Integer Programming Algorithm for Dependence Analysis. In: Proceedings of the 4th International Conference on Supercomputing. (1991)
13. Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. In: Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation. Volume 23., Atlanta, GA (1988) 35-46
14. Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering SE-10(4) (1984) 352-357
15. Weiser, M.: Program Slices: Formal, Psychological, and Practical Investigations of an Automatic Program Abstraction Method. PhD thesis, The University of Michigan (1979)
16. Weiser, M.: Programmers Use Slicing When Debugging. Communications of the ACM 25(7) (1982) 446-452
17. Ottenstein, K.J., Ottenstein, L.: The program dependence graph in a software development environment. ACM SIGPLAN Notices 19(5) (1984) 177-184
18. Schlickling, M.: Generisches Slicing auf Maschinencode. Diploma Thesis, Universität des Saarlandes (2005)
19. Ferdinand, C., Kästner, D., Langenbach, M., Martin, F., Schmidt, M., Schneider, J., Theiling, H., Thesing, S., Wilhelm, R.: Run-Time Guarantees for Real-Time Systems -The USES Approach. In: Proceedings of Informatik '99 - Arbeitstagung Programmiersprachen. (1999)
20. Ferdinand, C., Kästner, D., Langenbach, M., Martin, F., Schmidt, M., Schneider, J., Theiling, H., Thesing, S., Wilhelm, R.: Run-Time Guarantees for Real-Time Systems - The USES Approach. Proceedings of the ATPS (1999)
21. Theiling, H., Martin, F., Schneider, J., Schmidt, M.: Specification of the Standard for a File Format used for Exchanging Results of Different Parts of a Run-Time Analysis (ERD). Technischer Bericht, Universität des Saarlandes, AbsInt Angewandte Informatik GmbH (2003)
22. Sandberg, C., Ermedahl, A., Gustafsson, J., Lisper, B.: Faster WCET flow analysis by program slicing. In: ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006), Ottawa, Canada, ACM (2006)
23. Thesing, S.: Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis, Saarland University (2004)
24. Thesing, S.: Modeling a System Controller for Timing Analysis. In: Proceedings of the 6th ACM Conference on Embedded Software, EMSOFT'06. (2006) to appear.
25. Institute of Electrical and Electronic Engineers New York: Draft IEEE Standard P1076 2000/D3 VHDL Language Reference Manual. (2000)
26. Ashenden, P.J.: The Designer's Guide to VHDL. 2nd edn. Morgan Kaufmann Publishers, Academic Press (2002)
27. Callahan, D., Cooper, K.D., Kennedy, K., Torczon, L.: Interprocedural Constant Propagation. ACM SIGPLAN Notices 21(7) (1986) 152-161 Proceedings of the ACM SIGPLAN '86 Symposium on Compiler Construction, Palo Alto, USA.