aiT: Worst-case execution time prediction: By static program analysis

IFIP Advances in Information and Communication Technology

Volumn 156, Issue , 2004, Pages 377-383

  Ferdin, Christian ^a   Heckmann, Reinhold ^a  

^a AbsInt Angewandte Informatik GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79960486687     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (6)

1. Cousot, Patrick and Cousot, Radhia (1977). 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.
2. Ferdinand, Christian (1997). Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University.
3. Ferdinand, Christian, Heckmann, Reinhold, Langenbach, Marc, Martin, Florian, Schmidt, Michael, Theiling, Henrik, Thesing, Stephan, and Wilhelm, Reinhard (2001). Reliable and precise WCET determination for a real-life processor. In Proceedings of EMSOFT 2001, First Workshop on Embedded Software, volume 2211 of Lecture Notes in Computer Science, pages 469-485. Springer-Verlag.
4. Langenbach, Marc, Thesing, Stephan, and Heckmann, Reinhold (2002). Pipeline modeling for timing analysis. In Proceedings of the 9th International Static Analysis Symposium SAS 2002, volume 2477 of Lecture Notes in Computer Science, pages 294-309. Springer-Verlag.
5. Schneider, Jem and Ferdinand, Christian (1999). Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation. In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, volume 34, pages 35-44.
6. Theiling, Henrik and Ferdinand, Christian (1998). 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.