Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

  • Christian Ferdinand
  • Reinhold Heckmann
  • Reinhard Wilhelm
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4147)


Determining the worst-case execution times (WCETs) of tasks in safety-critical hard real-time systems is a difficult problem. A combination of automatic analysis techniques with a few user annotations yields precise WCET estimates.


Basic Block Pipeline Analysis Abstract Interpretation User Annotation Program Point 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Wilhelm, R.: Determining bounds on execution times. In: Zurawski, R. (ed.) Handbook on Embedded Systems, pp. 14-1– 14-23. CRC Press, Boca Raton (2005)Google Scholar
  2. 2.
    AbsInt Angewandte Informatik GmbH: aiSee Home Page,
  3. 3.
    Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a reallife processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 469–485. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University (1997)Google Scholar
  5. 5.
    Langenbach, M., Thesing, S., Heckmann, R.: Pipeline modeling for timing analysis. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, pp. 294–309. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    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, pp. 144–153 (1998)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Theiling, H.: Generating decision trees for decoding binaries. In: Proceedings of ACM SIGPLAN LCTES/OM 2001, pp. 112–120. ACM Press, New York (2001)Google Scholar
  10. 10.
    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, 1038–1054 (2003); Special Issue on Real-Time SystemsCrossRefGoogle Scholar
  11. 11.
    Schneider, J., Ferdinand, C.: Pipeline behavior prediction for superscalar processors by abstract interpretation. In: Proceedings of ACM SIGPLAN LCTES 1999, pp. 35–44 (1999)Google Scholar
  12. 12.
    Theiling, H.: ILP-based interprocedural path analysis. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 349–363. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  13. 13.
    Martin, F., Alt, M., Wilhelm, R., Ferdinand, C.: Analysis of Loops. In: Koskimies, K. (ed.) CC 1998. LNCS, vol. 1383, pp. 80–94. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  14. 14.
    Janz, W.: Das OSEK Echtzeitbetriebssystem, Stackverwaltung und statische Stackbedarfsanalyse. In: Embedded World, Nuremberg, Germany (2003)Google Scholar
  15. 15.
    Stankovic, J.A.: Real-Time and Embedded Systems. In: ACM 50th Anniversary Report on Real-Time Computing Research (1996),

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Christian Ferdinand
    • 1
  • Reinhold Heckmann
    • 1
  • Reinhard Wilhelm
    • 2
  1. 1.AbsInt Angewandte Informatik GmbH, Email: info@absint.comSaarbrückenGermany
  2. 2.Universität des SaarlandesSaarbrückenGermany

Personalised recommendations