Verifying Timing Behavior by Abstract Interpretation of Executable Code

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


Many tasks in safety-critical embedded systems have hard real-time characteristics. AbsInt’s worst-case execution time analyzer aiT can estimate precise and safe upper bounds for the WCETs of program tasks, thus providing the basic input for verifying the real-time behavior of embedded applications.


  1. 1.
    Stankovic, J.A.: Real-Time and Embedded Systems. In: ACM 50th Anniversary Report on Real-Time Computing Research (1996),
  2. 2.
    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
  3. 3.
    Ferdinand, C.: Cache Behavior Prediction for Real-Time Systems. PhD thesis, Saarland University (1997)Google Scholar
  4. 4.
    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
  5. 5.
    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
  6. 6.
    AbsInt Angewandte Informatik GmbH: aiSee Home Page,

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Christian Ferdinand
    • 1
  • Reinhold Heckmann
    • 1
  1. 1.AbsInt Angewandte Informatik GmbHSaarbrückenGermany

Personalised recommendations